“const”是什么意思？在函数声明的末尾？

Question

我有一本书，上面写着这样的话：

class Foo 
{
public:
    int Bar(int random_arg) const
    {
        // code
    }
};

这是什么意思？

Answer 1

“const 函数”（在函数声明后用关键字 const 表示）会使此类函数更改类的数据成员时出现编译器错误。但是，在函数内部读取类变量是可以的，但在该函数内部写入会产生编译器错误。

思考此类“const 函数”的另一种方式是将类函数视为采用隐式 this 指针的普通函数。因此，方法 int Foo::Bar(int random_arg) （末尾没有 const）会产生类似 int Foo_Bar(Foo* this, int random_arg) 的函数，以及诸如 Foo f; 之类的调用f.Bar(4) 在内部将对应于类似 Foo f; 的内容。 Foo_Bar(&f, 4).现在在末尾添加 const (int Foo::Bar(int random_arg) const) 就可以理解为带有 const this 指针的声明： int Foo_Bar(const Foo* this, int random_arg）。由于在这种情况下 this 的类型是 const，因此无法修改数据成员。

可以放宽不允许函数写入类的任何变量的“const 函数”限制。为了允许某些变量即使在函数被标记为“const 函数”时也可写，这些类变量用关键字 mutable 进行标记。因此，如果一个类变量被标记为可变的，并且“const 函数”写入该变量，那么代码将干净地编译并且该变量可以更改。 (C++11)

与往常一样，处理 const 关键字时，更改 C++ 语句中 const 关键字的位置具有完全不同的含义。上述 const 的用法仅适用于将 const 添加到函数声明末尾括号后的情况。

const 是 C++ 中过度使用的限定符：与指针结合使用时，语法和排序通常并不简单。有关 const 正确性和 const 关键字的一些读物：

Const 正确性

C++ 'const' 声明：为什么 &怎样做

Answer 2

考虑两个类类型变量：

class Boo { ... };

Boo b0;       // mutable object
const Boo b1; // non-mutable object

现在您可以在 b0 上调用 Boo 的任何成员函数，但只能调用 constb1 上的 code> 限定成员函数。

Answer 3

Bar 保证不会更改正在调用它的对象。例如，请参阅 C++ 常见问题解答中的有关 const 正确性的部分 。

Answer 4

类似于这个问题。

本质上，这意味着方法 Bar 不会修改非 Foo 的可变成员变量。

Answer 5

我总是发现从概念上更容易想到你正在将 this 指针设置为常量（这几乎就是它的作用）。

Answer 6

函数无法通过您提供的指针/引用更改其参数。

每次我需要考虑它时，我都会转到此页面：

http:// /www.parashift.com/c++-faq-lite/const- Correctness.html

我相信 Meyers 的“更有效的 C++”中也有一个很好的章节。