c++ 中 const 和没有 const 方法？

Question

我有一个程序，它的许多类都有一些带有关键字 const 的运算符和方法，如下所示：

operator const char* () const;
operator char* ();
void Save(const char *name) const;
void Load(const char *name);

首先：方法声明末尾的 const 是什么意思？，它与放在开头​​一样吗？

第二：为什么需要 const 版本和非 const 版本的operator()？

提前致谢。

Answer 1

如果您正在寻找有关 C++ 的优秀资源（包括正确使用 const 的提示），请尝试“Effective C++”。

一个关于此的有用网站： JRiddel.org

在 C++ 中，当您声明方法时 const 将其放在方法签名之后，您断言“此方法不会更改正在调用的对象中的任何非可变实例变量。”

返回值之前的 const（例如：operator const char*..." 中的 const）声明它仅返回指向 const 的变量指针char*。（您不能更改 char* 的内容，但可以重新分配指针。）如果您编写了“const char* const ...< /code>" 它将是一个指向常量字符的常量指针。（const 位于星号之后）。

多个版本很有用，因此编译器可以理解这一点：

const char* my_const_var = <object_name>();
char* my_var = <object_name>();

Chris

Answer 2

您应该参考《HIGH·INTEGRITY C++ 编码标准手册》来了解何时建议对类成员使用 const 修饰符：

高完整性 CPP 规则3.1.8：将任何不修改对象的外部可见状态的类成员函数声明为“const”。 (QACPP 4211, 4214)

理由：虽然语言强制按位 const 正确性，但 const 正确性应该被认为是逻辑的，而不是按位的。如果客户端无法确定对象是否因调用该函数而发生更改，则应将成员函数声明为 const。 'mutable' 关键字可用于声明可以在 const 函数中修改的成员数据，仅应在成员数据不影响对象的外部可见状态的情况下使用。

class C 
{ 
public: 
     const C& foo() { return * this; }    // should be declared const 
     const int& getData() { return m_i; } // should be declared const 
     int bar() const { return m_mi; }     // ok to declare const 
private: 
int m_i; 
mutable int m_mi; 
};

参考有效 C++ 第 21 项；工业强度 C++ 7.13；

Answer 3

1. 开头的Const适用于返回值。最后的 Cons 应用于方法本身。当您将方法声明为“const”时，您是在说您无意修改该方法中类的任何成员变量。编译器甚至会做一些基本检查以确保该方法不会修改成员变量。返回值中的 const 可防止调用者修改返回的值。当您返回由类管理的数据的指针或引用时，这可能很有用。这样做通常是为了避免返回复杂数据的副本，这在运行时可能会很昂贵。

2. 您有两个不同运算符的原因是“const”版本返回一个 const 指针，该指针指向可能是类内部数据的内容。如果类的实例是 const，那么您很可能希望返回的数据也应该是 const。 “非常量”版本仅提供一个方法，当调用者具有该类的非常量实例时，该方法返回可修改的返回值。

Answer 4

将 const 放在方法声明的末尾表示对象本身或 this 是 const 而不是返回类型。

由于复杂的原因，C++ 允许在 const 上重载方法。这里没有足够的空间来详细介绍。但这里有几个简短的。

• 有时，让一个方法在从 const 类型调用时表现不同是有价值的，或者说是必要的。最直接的示例是当您想要从 const 方法返回 const 值并从普通方法返回非常量值时。
• 无论 this 是否为 const 都会极大地改变内部方法的绑定。以至于它本质上会变成两个不同的方法体。因此，将其分为两种不同的方法是有意义的。

Answer 5

除了其他答案之外，还有一点要注意：您的示例中没有 operator() 。

operator const char* () const;
operator char* ();

是转换运算符，这意味着该类的对象可以隐式转换为C风格的字符串，如

void f(const MyClass& x, MyClass& y) {
  const char* x_str = x;
  char* y_str = y;
}

operator()的声明和使用，这意味着您可以使用该类类型的对象sort就像一个函数，看起来像：

class MyClass {
public:
  const char* operator() (int x, int y) const;
  // ...
};

void g(const MyClass& obj) {
  const char* result = obj(3, 4);
}

Answer 6

成员函数的常量性。这意味着该函数不能（*）修改您的任何成员变量。这就像在这个函数调用的所有成员变量前面放置一个 const 。这对于您所在班级的客户来说是一个很好的保证，并且还可能有助于编译器优化。

(*) - 另请参阅关键字 mutable。

Answer 7

最后的“const”告诉编译器此方法不会更改任何成员变量 - 在 const 实例上调用此方法是安全的。因此，可以在 const 实例上调用 Save，因为它不会更改该实例。另一方面，加载将更改实例，因此不能在 const 实例上使用。

const 版本的operator() 传回一个const 指针，保证传回的缓冲区不会改变。据推测，这是指向该类的实例变量的指针。对于非常量实例，另一个operator()传回非常量指针。它必须是指向某些内存的指针，即使写入该内存也不会更改实例的内容。

另外，有时查找一下“mutable”关键字。理解这一点将有助于您理解常量正确性的概念。

Answer 8

首先：方法声明末尾的const是什么意思？和放在开头一样吗？

不可以。末尾的 const 意味着可以在声明为 const 的对象上调用该方法。开头的 const 表示返回值是 const。

第二：为什么需要 const 版本和非 const 版本的operator()？

非 const 版本返回一个非 const 的 char*。通过修改此 char*，您实际上可以修改该对象（假设 char* 是该对象的成员）。

由于 const 对象不允许这样做，因此 const 对象会重载 operator()，从而返回 const char*，所以不能通过它修改该对象。