为什么要返回对小类成员的 const 引用？

Question

我觉得这个问题肯定是在某个地方，但要么我找不到正确的搜索词，要么不知何故错过了。

假设我有一个像这样保护其成员的类......

class MyClass {
   int m_value;
public:
   MyClass(int v) : m_value(v) {}
   int value() const { return m_value; }
}

我在整个 SO 中都看到了示例代码，它返回一个对成员变量的 const 引用，就像这样......

class MyClass {
   int m_value;
public:
   MyClass(int v) : m_value(v) {}
   const int& value() const { return m_value; }
// ^^^^^^^^^^
}

我了解一般返回 const 的值，以及返回复合对象的引用的值，但是对于小于体系结构指针大小的对象的值是多少？它似乎既效率低又不安全，没有我能想到的优势。

---

我想在我的示例中可以对构造函数进行类似的讨论，但这个问题集中在此处的返回值上。

This is the SO answer 促使我提出这个问题。

Answer 1

为什么要返回对小类成员的 const 引用？

取决于您是否希望调用者能够绑定对 m_value 的引用。

MyClass myObj;
int const& keep_an_eye_on_you = myObj.value();
cout << "Was: " << keep_an_eye_on_you << endl;
myObj.doSomething(); // say this changes the value held in m_value
cout << "Now: " << keep_an_eye_on_you << endl;

如果 m_value 实际上是不可变的，那么它就没有关系（除了其他人表达的性能问题）。

如果 m_value 可以随时间变化，那么调用者的绑定将反映当前状态，如上例所示。

Answer 2

将const & 返回到int 之类的类型可能完全没有意义，并且可能会降低性能。将const int& 作为函数参数类型传递也可以这样说，但这更容易接受，因为它确实会在调用站点阻止不需要的类型转换。

这只是程序员自己养成的一个坏习惯。

Answer 3

如果您只谈论int，那么是的，这可能毫无意义。但是当您知道返回或参数类型可以稍后更改并且您使用别名时，输入const & 会很有用，所以稍后您所要做的就是更改您的别名值，它可以超过 8 个字节。像这样

class MyClass {
   using TInnerType = int;
   TInnerType m_value;
public:
   MyClass(const TInnerType& v) : m_value(v) {}
   const TInnerType& value() const { return m_value; }
// ^^^^^^^^^^
}