const 成员函数不允许什么？

Question

class A{
private:
    int a;
public:
    A() {a = 4;}
    const int& random1() const {return a; }
    //int&     random2() const {return a; }
    const int* random3() const {return &a;}
    //int*     random4() const {return &a;}
};

int main(){
    A objA;
    cout<<objA.random1()<<"\n";
    cout<<*objA.random3()<<"\n";
}

如上所述，不允许使用 random2() 和 random4()。不知何故，我一直都知道这一点，但直到今天，我在编写自己的代码时才遇到它。

除了这两种情况之外，还有哪些情况在 const 成员函数中是不允许的？

对 C++ 标准文本的任何引用也会有所帮助。谢谢！

Answer 1

首先要明白const T*是一个指向某些不能改变的T的指针。要记住的第二件事是所有成员实际上都是通过 this-> 访问的。

所以（§9.3.1）：

非静态成员函数可以声明为 const、volatile 或 const volatile。这些 cv 限定符影响 this 指针的类型 (9.3.2)。

它的作用（§9.3.2）：

在非静态 (9.3) 成员函数体中，关键字 this 是一个非左值表达式，其值是调用该函数的对象的地址。类X的成员函数中this的类型是X*。如果成员函数声明为 const，则 this 的类型为 const X*；如果成员函数声明为 volatile，则 this 的类型为 volatile X*；如果成员函数声明为 const volatile，则 this 的类型为 const不稳定的 X*。

函数上的 const 使 this 指针成为 const T*。

这就是这些示例失败的原因：在 int& 变体中，a 的访问方式为 this->a, this 是 const T*，因此 a 是 const int。并且const int不能隐式转换为int&。与其他功能相同。

换句话说，当一个函数是 const 时，它会在类中的所有内容上添加一个 const，并且您不能隐式地抛弃该 const 。

Answer 2

Const 成员函数不能调用非常量成员函数，即使它们不更改任何成员数据。有时您需要提供同一函数的 const 和非 const 版本，因为 this 指针隐式传递给成员函数并在重载决策中发挥作用。