用 const 成员替换一个类型的变量

Question

假设我有一个 class 和一些常量成员：

class MyClass {
public:
   MyClass(int a) : a(a) {
   }
   MyClass() : MyClass(0) {
   }
   ~MyClass() {
   }
   const int a;
};

现在我想在某处存储一个 MyClass 的实例，例如作为全局变量或作为另一个对象的属性。

MyClass var;

以后想给var赋值：

var = MyClass(5);

显然，这是行不通的，因为调用了赋值运算符，默认不存在，因为MyClass有一个const属性。到目前为止一切顺利。

我的问题是，怎么给var赋值呢？毕竟var本身并没有声明为常量。

到目前为止我的想法

我知道如果我对var:

使用一个指针就不存在这个问题

MyClass *var;
var = new MyClass(5);

但是，出于方便的原因，我不想使用指针。

一个可能的解决方案是用新的位置覆盖内存：

template<class T, class... Args>
T &emplaceVar(T &myVar, Args&&... args) {
   myVar.~T(); // free internal memory
   return *new (&myVar) T(args...);
}

emplaceVar(var, 5);

这将解决问题，但我不确定这是否会导致内存泄漏或由于我缺乏 c++ 经验而没有想到的任何其他问题。此外，我还以为一定有更简单的方法。有吗？

Answer 1

const 由于您发现的原因，成员通常存在问题。

更简单的替代方法是创建成员 private 并注意不要提供从 class 外部修改它的方法：

class MyClass {
public:
   MyClass(int a) : a(a) {
   }
   MyClass() : MyClass(0) {
   }
   ~MyClass() {
   }
private:
   int a;
};

我还没有添加 getter，因为您说通过 myObject.a 访问是一项硬性要求。启用它需要一些样板，但它比修改不能修改的东西要简单得多：

class MyClass {
public:
   struct property {
       const int& value;
       operator int(){ return value;}
       property(const property&) = delete;
   };

   MyClass(int a = 0) : value(a) {}
private:
   int value;
public:
    property a{value};
};

int main(){
    MyClass myObject{5};
    int x = myObject.a;
    //myObject.a = 42; // error
    //auto y = myObject.a; // unexpected type :/
}

Live Demo

缺点是与auto的配合不好。如果您可以通过任何方式接受 myObject.a() 我建议使用它并保持简单。

Answer 2

how can I assign a value to var anyway?

您可以使用用户定义的赋值运算符来做到这一点：

class MyClass {
public:
   MyClass &operator=(const MyClass &o)
   {
         // Implement your assignment here

         return *this;
   }

   // ...
};

您的赋值运算符可以做任何 operator= 重载可以做的事情。它唯一不能做的就是将任何东西分配给它的 const class 成员。那是因为它是常数。

如果 class 没有用户定义的赋值运算符，则默认赋值运算符从分配自对象的同一成员分配分配给对象的每个成员。然而，默认赋值运算符从任何具有 const 成员的 class 中删除，因为那当然不再可能了。

在您的用户定义运算符中，您可以做任何事情来从另一个对象分配这些对象之一。它唯一不能做的是任何其他 class 方法不能做的事情：修改 const class 成员。

您提到了手动调用析构函数和放置新的。这是可能的，前提是满足所有必要的要求并小心避免未定义的行为。但是，从技术上讲，这不是赋值，而是手动销毁和构造另一个对象。

用 const 成员替换一个类型的变量

Replace a variable of a type with const members

c++

constants

variable-assignment

assignment-operator

emplace

到目前为止我的想法