可以使用两种版本的函数重载：常量成员函数和不带 const 的函数

Question

我刚刚遇到了各种重载方法，例如传递的参数类型、不同数量的参数、返回类型等。我只是想知道我可以使用以下两个版本重载函数吗？

//function which can modify member
String& MyClass::doSomething();

//constant member function
String& MyClass::doSomething() const;

请让我知道其背后的原因。

Answer 1

是的，你可以。

如果你有

MyClass m;
m.doSomething();

非常量版本将会被调用。当你有

const MyClass m;
m.doSomething();

const 版本时将会被调用。

Answer 2

理解这一点的简单方法是将调用该方法的对象视为第 0 个参数：

例如：将

 String& MyClass::doSomething();
 MyClass mc;
 mc.doSomething();

其视为一种奇特的、编译器支持的方法：

 String& MyClass_doSomething(MyClass *this);
 MyClass mc;
 MyClass_doSomething(&mc);

现在，基于常量的重载只是一种特殊情况按参数类型重载：

 String& MyClass::doSomething();
 String& MyClass::doSomething() const;

可以认为是这样的：

 String& MyClass_doSomething(MyClass *this);
 String& MyClass_doSomething(const MyClass *this);

至于它的用处，最简单的例子是各种 上的 begin 和 end 方法std:: 容器。如果向量/字符串/无论什么都不是const，并且您调用begin()，您将得到一个迭代器< /code> 可用于修改原始容器的内容。显然，对于标记为 const 的容器不允许这样做，因此，由于 const/非 const 重载，在 const 向量上调用 begin() 返回一个 const_iterator 可用于读取向量的内容，但不能修改它。

例如，

string nc = "Hello world";
for (string::iterator iString = nc.begin(); iString != nc.end(); ++iString)
{
    cout << *iString;; // legal to read
    *iString = toupper(*iString); // legal to write

}

const string c = "Hello world again";
for (string::const_iterator iString = c.begin(); iString != c.end(); ++iString)
{
    cout << *iString;; // legal to read
    // *iString = toupper(*iString);  // Writing is illegal
}

对于返回类型的重载，在C++中是做不到的。但是，您可以相当不错地模拟它。

Answer 3

是的，你可以这样做。
（@Job，这不是返回类型上的重载，这是被调用类实例的“const-state”上的重载）

如果实例是const，则将调用第二个变体，如果不是，则第一个变体是叫。
实际用途是，如果在 const 实例上调用该方法，您可能还想返回“const String&” （例如，如果您返回对该类成员的引用），如下所示：

//function which can modify member
String& MyClass::doSomething();

//constant member function
const String& MyClass::doSomething() const;

Answer 4

这就是迭代器的使用方式。您有一个 const 迭代器和一个非常量迭代器。

Answer 5

这不仅是可能的，而且是一种常用的习语。

例如，如果调用函数的 const 版本，则可以返回对结果的只读版本的引用。但如果调用非 const 版本，则会构造并返回接收者可以修改的副本。通过实现 const 版本，当我们知道不需要它时，我们就可以避免执行构造。