具有常量成员的默认构造函数

Question

我有一个 C++ 类，比如“客户”，我希望有一个成员作为 ID，

private:
const string x; // Customer's ID

现在普通的构造函数看起来像这样：

Customer::Customer(const string& ID): x(ID){}

现在，我想构建一个默认构造函数，而不初始化 x。可能吗？因为如果我将它初始化为某个随机值，比如说“无标题”，那么我就不能再更改它了，因为它是一个 const。

所以我应该根本不构建一个默认构造函数，还是有可能构建一个不初始化 x 的构造函数，你可以稍后再做？

Answer 1

现在，我想构建一个默认构造函数，而不初始化 x。有可能吗？

不，这不可能。

因为如果我将它初始化为某个随机值，比如“无标题”，那么我将无法再更改它，因为它是一个常量。

这正是const 的目的。

所以我应该根本不构建默认构造函数，还是有可能构建一个不初始化 x 的构造函数，您可以稍后再做？

好吧，如果 x 真的应该是 const （我怀疑它实际上是需要的），你不应该提供默认构造函数，除非你可以设法从一些 constexpr 唯一地初始化 x。

Answer 2

从技术上讲，您可以稍后对其进行修改（但这可能不是一个好主意）。在您考虑了很长时间之后，请查看以下代码：

const string s = "";
*const_cast<string*>(&s) = "new string";

要在您的代码中使用它，您可以像这样创建一个无参数构造函数：

Customer() : x("") { }

然后在你的代码中修改它：

*const_cast<string*>(&x) = "new string"

虽然这在实践中可能不是一个好主意。您应该查看this post 以了解有关此危险的更多信息

另一种替代方法是创建一个很酷的结构：

template<class T>
class OneTimeAssign{
        T data;
        bool alreadyAssigned;
    public:
        OneTimeAssign() : data(), alreadyAssigned(false){ }
        void operator=(T&& newData){
            if (alreadyAssigned) throw "Error";
            data = newData;
            alreadyAssigned = true;
        }
        operator const T&() const{
            return data;
        }
        const T* const operator->(){
            return &data;
        }
};

然后你可以像这样使用它：

OneTimeAssign<std::string> Mine;
Mine = "First assign";
//Mine = "Second assign"; //Runtime Error
std::cout << (std::string)Mine << std::endl;
system("pause");