我应该返回const对象吗？

在Effective C++项目03中，尽可能使用const。

class Bigint
{
  int _data[MAXLEN];
  //...
public:
  int& operator[](const int index) { return _data[index]; }
  const int operator[](const int index) const { return _data[index]; }
  //...
};

const int operator[]确实与有所不同int& operator[]。

但是关于：

int foo() { }

和

const int foo() { }

好像他们是一样的。

我的问题是，为什么我们使用const int operator[](const int index) const而不是int operator[](const int index) const？

非类类型的返回类型的顶级cv限定符将被忽略。这意味着即使您编写：

int const foo();

返回类型为int。如果返回类型是引用，则当然const不再是顶级，并且它们之间的区别是：

int& operator[]( int index );

和

int const& operator[]( int index ) const;

是重要的。（也请注意，在函数声明中，像上面一样，所有顶级cv限定词也将被忽略。）

区别也与类类型的返回值有关：如果返回T const，则调用者无法在返回的值上调用非const函数，例如：

class Test
{
public:
    void f();
    void g() const;
};

Test ff();
Test const gg();

ff().f();             //  legal
ff().g();             //  legal
gg().f();             //  **illegal**
gg().g();             //  legal

您应该清楚地区分适用于返回值，参数的const用法和函数本身。

返回值

• 如果函数按value返回，则const无关紧要，因为将返回对象的副本。但是，在涉及移动语义的C ++ 11中，这很重要。
• 对于基本类型也没有关系，因为它们总是被复制。

考虑一下const std::string SomeMethod() const。它不允许使用该(std::string&&)函数，因为它期望使用非常量右值。换句话说，返回的字符串将始终被复制。

• 如果函数通过引用返回，则const保护返回的对象免于被修改。

参量

• 如果按值传递参数，则const会阻止在function中按函数修改给定值。来自参数的原始数据无论如何都无法修改，因为您只有副本。
• 请注意，由于总是创建副本，因此const仅对function body有意义，因此，仅在函数定义中检查它，而不在Declaration（interface）中检查它。
• 如果通过引用传递参数，则适用与返回值相同的规则

功能本身

• 如果函数const以结尾结尾，则它只能运行其他const函数，并且不能修改或不允许修改类数据。因此，如果通过引用返回，则返回的引用必须为const。只能在const本身的对象或对对象的引用上调用const函数。可变字段也可以更改。
• 编译器创建的行为更改了this对的引用T const*。该函数可以总是const_cast this，但当然不应该这样做，并且被认为是不安全的。
• 在类方法上仅使用此说明符当然是明智的；以const结尾的全局函数将引发编译错误。

结论

如果您的方法永远不会修改类变量，则将其标记为const并确保满足所有需要的条件。它将允许编写更简洁的代码，从而保持const-correct。但是，const无所不用其极地摆在任何地方肯定不是走的路。

有没有什么价值的加入const资格的非参考/非指针右值，并没有一点在其添加到内置插件。

对于用户定义的类型，const限定条件将阻止调用者在返回的对象上调用非const成员函数。例如，给定

const std::string foo();
      std::string bar();

然后

foo().resize(42);

将被禁止，而

bar().resize(4711);

将被允许​​。

对于int诸如这样的内置函数，这根本没有任何意义，因为无论如何都无法修改此类右值。

（我记得C ++有效讨论作出的返回类型operator=()一个const参考，不过，这是值得考虑的问题。）

编辑：

看来斯科特确实给出了建议。如果是这样，则由于上述原因，即使对于C ++ 98和C ++ 03，我也认为它值得怀疑。对于C ++ 11，我认为这是完全错误的，因为Scott自己似乎已经发现了。在有效C ++的勘误表中，第3版。，他写道（或引用其他抱怨的人）：

文本暗示所有按值返回均应为const，但是非const按值返回是好的设计的情况并不难发现，例如，std :: vector的返回类型，其中调用方将使用带有空向量的swap “获取”返回值内容而不复制它们。

然后：

声明按值函数返回值const将防止它们绑定到C ++ 0x中的右值引用。由于右值引用旨在帮助提高C ++代码的效率，因此在指定函数签名时，必须考虑const返回值的交互作用和右值引用的初始化。

您可能会错过迈耶斯的建议。本质的区别在于const该方法的修饰符。

这是一个非const方法（const末尾为no ），这意味着可以修改类的状态。

int& operator[](const int index)

这是一个const方法（最后通知const）

const int operator[](const int index) const

关于参数的类型和返回值，int和之间有细微的差别const int，但这与建议的要点无关。您应该注意的是，非const重载将返回int&，这意味着您可以为其分配值，例如num[i]=0，而const重载将返回不可修改的值（无论返回类型是int还是const int）。

我个人认为，如果对象通过值传递，则const修饰符是多余的。此语法更短，并且达到相同的效果

int& operator[](int index);
int operator[](int index) const;

将值返回为const的主要原因是，您不能说类似的东西foo() = 5;。实际上，这不是基本类型的问题，因为您不能分配给基本类型的右值，但是它是用户定义类型（例如(a + b) = c;，带有重载operator+）的问题。

我总是发现这种脆弱的理由。您无法阻止想要编写尴尬代码的人，而我认为这种特殊类型的强制性并没有真正的好处。

使用C ++ 11，此惯用语实际上造成了很多危害：将值返回为const会阻止移动优化，因此应尽可能避免。基本上，我现在将其视为反模式。

这是与C ++ 11相关的切线相关文章。

当写那本书时，建议没有什么用，但是确实起到了防止用户写作的作用，例如，foo() = 42;期望用户改变它的持久性。

在的情况下operator[]，如果您也没有提供const返回非const引用的非重载，则可能会有些混乱，尽管您可以通过返回const引用或代理对象而不是值来避免这种混淆。

如今，这是个坏建议，因为它会阻止您将结果绑定到（非const）右值引用。

（如评论中所指出的，返回诸如的原始类型时，这个问题是没有意义的int，因为该语言阻止您分配给rvalue这种类型的；我说的是更普遍的情况，其中包括返回用户定义的类型。 ）

对于基本类型（如int），结果的恒定性无关紧要。对于班级，它可能会改变行为。例如，您可能无法在函数的结果上调用非const方法：

class Bigint {
    const C foo() const { ... }
     ...
}

Bigint b;
b.foo().bar();

如果bar()是的const成员函数，则禁止使用上述方法C。通常，选择任何有意义的方法。

看一下：

const int operator[](const int index) const

在const声明的末尾上。它描述了可以在常量上调用此方法。

另一方面，当你只写

int& operator[](const int index)

它只能在非const实例上调用，并且还提供：

big_int[0] = 10;

句法。

重载之一是返回对数组中一项的引用，然后可以对其进行更改。

int& operator[](const int index) { return _data[index]; }

另一个重载将返回一个值供您使用。

const int operator[](const int index) const { return _data[index]; }

由于您以相同的方式调用这些重载，因此使用它时永远不会更改该值。

int foo = myBigInt[1]; // Doesn't change values inside the object.
myBigInt[1] = 2; // Assigns a new value at index `

在数组索引运算符（operator[]）的示例中，确实有所不同。

用

int& operator[](const int index) { /* ... */ }

您可以使用索引直接更改数组中的条目，例如，像这样使用它：

mybigint[3] = 5;

第二个const int operator[](const int)运算符仅用于获取值。

但是，作为函数的返回值，对于简单的类型，例如int，没关系。确实重要的是，如果要返回更复杂的类型，请说a std::vector，并且不希望函数的调用者修改向量。

在const返回类型不是那么重要的位置。由于int临时变量不可修改，因此使用时没有明显的区别intvs与const int。如果您使用可以修改的更复杂的对象，则会看到不同。

关于这两个版本的技术性，有一些很好的答案。对于原始值，这没有什么区别。

但是，我一直认为const是程序员而不是编译器在那儿。当您编写时const，您明确地说“这不应该改变”。面对现实吧，const无论如何通常都可以被割礼吧？

当您返回时const，您是在告诉使用该函数的程序员该值不应更改。而且，如果他要更改它，则可能是他做错了，因为他/她不必这样做。

编辑：我也认为“const尽可能使用”是不好的建议。您应该在有意义的地方使用它。