Question

希望这不是重复。如果是这样，请在评论中指出我，我将再次删除该问题。

我有一个数据对象，其数据仅在捆绑中有效 - 即，在不使其他成员失效的情况下更改一个成员的值是没有意义的。
此数据对象描述了一些图像信息：

struct ImageInfo
{
    ImageInfo(const double &ppix, ...)
        : PpiX(ppix),
        ...
    { }

    const double PpiX;
    const double PpiY;
    const int SizeX;
    const int SizeY;
};

在我的图片对象中，我有一个类型为ImageInfo的非const 成员：

class MyImageObject
{
    ...
private:
    ImageInfo mMyInfo;
}

我希望能够在运行时更改mMyInfo，但只能这样才能使用新的ImageInfo（...）实例。

在MyImageObject::Load()函数中，我想从文件信息中读取这些数据，然后使用正确的数据集创建一个ImageInfo实例：

double ppix = ImageFile.GetPpiX();
...
mMyInfo = ImageInfo(ppix, ...);

但我无法编写有效的赋值运算符（当然可以使用复制构造函数）。我的解决方案将mMyInfo留空，因为我没有引用this：

ImageInfo operator=(const ImageInfo &other)
{
    // no reference to *this
    return ImageInfo(other);
}

出于好奇，我想知道这样一个类的赋值运算符是什么样的。

我正在使用普通的C ++。

修改
可能的解决方案（目标是保持数据的可传输性，但是连贯一致）：

将私人会员与Get...()个功能一起使用 - ＆gt;很简单，但我想避开括号。
存储指向ImageInfo的指针：ImageInfo *mpMyInfo;（我想避开堆。）
使用序列化并存储序列化的ImageInfo，然后从序列化数据创建本地实例。

Answer 1

我认为你不能拥有非静态的const成员变量。如果您需要随实例更改的const变量，您可以执行以下操作：

struct ImageInfo
{
private:
    double myPpiX;
    double myPpiY;
    int mySizeX;
    int mySizeY

public:
    ImageInfo(const double &ppix, ...)
        : myPpiX(ppix),
          PpiX(myPpiX),
        ...
    { }

    ImageInfo( const ImageInfo &other)
    : myPpiX( other.myPpiX),
      PpiX(myPpiX)
     ...
    { }

    const double &PpiX;
    const double &PpiY;
    const int &SizeX;
    const int &SizeY;

    // EDIT: explicit assignment operator was missing
    ImageInfo& operator=(const ImageInfo &other)
    {
        myPpiX  = other.myPpiX;
        myPpiY  = other.myPpiX;
        mySizeX = other.mySizeX;
        mySizeX = other.mySizeX;
        return *this;
    }
};

值存储在可以在构造中设置的私有变量中，并且它们的值由const引用访问。只要ImageInfo实例，您也不依赖于传递给构造函数的引用。

Answer 2

由于它们是可以修改的数据字段，因此它们不是const。

如果要将对它们的构造后访问限制为const，则需要将它们包装在访问器中，如下所示：

struct ImageInfo
{
  ImageInfo(const double &ppix, /*...*/)
    : PpiX_(ppix),
    /*...*/
  { }
  double const& PpiX() const {return PpiX_; };
  double const& PpiY() const {return PipY_; };
  int const& SizeX() const {return SizeX_; };
  int const& SizeY() const {return SizeY_; };
private:
  double PpiX_;
  double PpiY_;
  int SizeX_;
  int SizeY_;
};

这允许移动/复制分配和构造，同时阻止在所述构造之外的非const访问。

避免()很棘手，但可以使用伪引用完成，如下所示：

struct pseudo_const_reference_to_Ppix {
  ImageInfo const* self;
  operator double() const { return self->Ppix; }
  void reseat( ImageInfo const* o ) { self = o; }
};

加上一大堆样板，使左右各个const运算符超载，以使上述pseudo_const_reference_*与double一样有效。

可以编写通用版本（如果您愿意承受类型擦除开销，可以使用仿函数或std::function。）

然后你在赋值和复制/移动构造时维护这些伪const引用。

我认为()是更好的选择。

请注意，每个伪引用的指针（或更多）的开销基本上是不可避免的：成员变量无法访问从中调用它们的this，即使访问站点在那里有它平淡无奇。

Answer 3

如果某些内容是常量，则无法更改。完全停止。

所以你必须在某处调整设计，要么没有那些ImageInfo成员const，没有ImageInfo作为成员，要么最好：不做任务。

通常，const成员在构造函数中设置。你可以创建一个加载函数来创建一个包含其所有内容的MyImageObject对象，这样就可以避免完成一半并在第二阶段加载状态。

另一种方法是间接使用mMyInfo，比如使用unique_ptr，然后可以用另一个实例替换它。没有一个很好的理由我不会这样做。

Answer 4

不可变的价值对象很棒。但是保存值对象的变量（MyImageObject中的mMyInfo）应该是（非常量）指针。在其他语言（例如Java）中，这是自动的情况，但在C ++中则不需要*运算符。此外，不需要为值对象覆盖/实现=运算符。要更改图像对象中的图像数据，请将新构造的ImageInfo对象分配给myImageInfo指针。这样，值对象的所有内部变量都不会改变。

如何使用const成员分配数据对象？

4 个答案: