c++ - 函数名称后不久的 const 类型限定符

Question

在 C++ 中，有时我会看到如下声明：

return_type function_name(  datatype parameter1, datatype parameter2  ) const
{ /*................*/}

在这种情况下，这个 const 类型限定符究竟做了什么？

Answer 1

成员函数声明末尾的 const 限定符表明该函数可以在本身为 const 的对象上调用。const 成员函数承诺不会改变任何非可变数据成员的状态。

当然，const 成员函数也可以在非 const 对象上调用（并且仍然做出相同的承诺）。

成员函数也可以在 const 上重载。例如：

class A {
  public:
    A(int val) : mValue(val) {}

    int value() const { return mValue; }
    void value(int newVal) { mValue = newVal; }

  private:
    int mValue;
};

A obj1(1);
const A obj2(2);

obj1.value(3);  // okay
obj2.value(3);  // Forbidden--can't call non-const function on const object
obj1.value(obj2.value());  // Calls non-const on obj1 after calling const on obj2

Answer 2

$9.3.1/3 个州-

“非静态成员函数可以声明为 const、volatile 或 const volatile。这些 cvqualifiers 影响 this 指针 (9.3.2) 的类型。它们还影响成员函数的函数类型 (8.3.5)；成员函数声明的 const 是一个 const 成员函数，一个声明为 volatile 的成员函数是一个 volatile 成员函数，一个声明为 const volatile 的成员函数是一个 const volatile 成员函数。”

所以这里是总结：

a) const 限定符只能用于类非静态成员函数

b) 函数的 cv 限定参与重载

struct X{
   int x;
   void f() const{
      cout << typeid(this).name();
      // this->x = 2;  // error
   }
   void f(){
      cout << typeid(this).name();
      this->x = 2;    // ok
   }
};

int main(){
   X x;
   x.f();         // Calls non const version as const qualification is required
                  // to match parameter to argument for the const version

   X const xc;
   xc.f();        // Calls const version as this is an exact match (identity 
                  // conversion)
}

Answer 3

这意味着它不会修改对象，因此您可以使用 const 对象调用该方法。

IE

class MyClass {
public:
   int ConvertToInteger() const;

};

意味着如果你有

const MyClass myClass;

你可以打电话

int cValue = myClass.ConvertToInteger();

没有编译错误，因为方法声明表明它不会更改对象的数据。