C++中的常成员函数

2024年6月29日，周日下午

---

例如，以下是一个常成员函数的示例：

class MyClass {
public:
    int getValue() const {
        return value;
    }
private:
    int value;
};

常成员函数是C++中一种特殊的成员函数，它具有以下特点：

1. 不可修改对象状态：常成员函数承诺不修改调用它的对象的状态，包括其成员变量。在常成员函数的函数体内部，任何尝试修改成员变量的操作都是非法的，并且会导致编译错误。
2. 常对象和常成员函数：只有常成员函数可以被常对象调用。如果一个对象被声明为 const，那么它只能调用类的常成员函数，不能调用非常成员函数。
3. this指针类型：在常成员函数内部，this 指针的类型是 const 类类型指针，这意味着 this 指针指向的对象是常量，不能通过 this 指针修改对象的状态。
4. 调用限制：常成员函数不能调用非常成员函数，也不能调用其他非 const 成员函数。这是因为非常成员函数可能会修改对象的状态，这与常成员函数的承诺相违背。
5. 使用场景：常成员函数通常用于提供对对象状态的只读访问，比如获取对象的成员变量的值，或者执行一些不改变对象状态的逻辑操作。
6. 声明和实现：在声明常成员函数时，需要在函数签名后面加上 const 关键字。在函数实现时，通常不需要再次添加 const，因为编译器会根据函数声明自动处理。

总而言之，最关键的点在于“常成员函数承诺不修改调用它的对象的状态，包括其成员变量。”。

在这个例子中，getValue 是一个常成员函数，它返回 value 成员的值，但不会修改 value 的值。如果 MyClass 的一个对象被声明为 const，那么它可以调用 getValue 函数，但不能调用其他非常成员函数。