c++类不变量是什么

在C++中，类不变量（也称为常量属性）是指那些一旦在构造函数中初始化后就不能改变其值的成员变量。它们通常用于表示静态信息，如日期、版本号等，因为它们不应在对象的生命期内更改。

有两种常见的初始化方式：

1. **在构造函数体内部赋值**[^1]:

   class D {
       int a, b;
       string c;
   public:
       // 这里a, b和c在构造时会被初始化
       D(int a, int b, string c) : a(a), b(b), c(c) {
           // 注意这里不能直接修改a, b或c的值
           // 因为它们已经在初始化列表中设置过了
           cout << "a is: " << a << endl;
           cout << "b is: " << b << endl;
           cout << "c is: " << c << endl;
       }
   };

2. **使用初始化列表**:

   class D {
       int a = 1, b = 2; // 使用默认初始值
       string c = "sss"; // 常量字符串

   public:
       // 初始化列表会优先执行，不允许后续更改这些变量
       D() {}
   };

不变量的目的是保证程序的安全性与一致性，防止意外修改。如果确实需要修改某个不变量，可能需要重新考虑设计，或者使用不同类型的成员来区分可变性和不可变性。