是否可以在 C++ 中仅构造特定类型的 const 对象？

Question

我想实现具有以下属性的类：

class A { ... };

const A a;  // ok - should work.
A b;        // compilation error - shouldn't work!

另外，如果一个对象的constness 依赖于构造函数签名会更好：

const A c(1);  // ok - should work.
A d("a");      // ok - should work.
A e(2);        // compilation error - shouldn't work!

如果需要，允许使用 C++11。

---

更新 #1

由于我不知道答案，所以不需要严格遵循上面的代码 - 欢迎任何提供类似语义的 C++ 模式。

Answer 1

您可以使用一个额外的构造函数参数来实现这一点，该参数是对 self 的引用，例如：

class X {
public:
    X(X const& self) {
        assert(this == &self);
    }

private:
    X(X&);
};

然后像这样调用它：

X const x(x); // works
X y(y); // fails to compile
X z(x); // fails at run-time

Answer 2

1.您可以创建只有 const 方法和私有成员的类。

2.您可以创建“普通”类，但将其构造函数声明为私有。那么你将需要一个具有以下方法（或类似方法）的朋友类

class ConstClassProvider{
public:
    static const A* getA(/* you can have params here*/)
    {
        return new A();
    }
}

所以

A a1;//error
const A a2;//error
A *a3 = ConstClassProvider::getA(); //error
const A *a4 = ConstClassProvider::getA(); //ok!

Answer 3

这可能就是你要找的：

class AData {
public:
    AData() : intValue( 0 ), stringValue( 0 ) {}
    void SetInt( int arg ) { intValue = arg; }
    void SetString( const char* arg ) { stringValue = arg; }

private:
    int intValue;
    const char* stringValue;
};

class A {
public:
    A();
    void Init( int intValue ) const;
    void Init( const char* stringValue );

private:
    AData* p;
};

A::A() : p( new AData )
{
}

void A::Init( int intValue ) const
{
    p->SetInt( intValue );
}

void A::Init( const char* stringValue )
{
    p->SetString( stringValue );
}

Answer 4

你需要创建一个不可变的类。换句话说，使用封装来防止您的类的用户设置任何字段。

基本上：

class Immutable{
private:
  const int intField;
  const std::string textField;
public:
  Immutable(const std::string& ref, int copy) : intField{copy}, testField{ref} {}
  int getIntField(){return intField;}
  const std::string& getTextField(){ return textField; }
}

那就不要通过 setter 暴露你的内部结构。