为什么使用函数而不是成员的引用？

Question

我只是测试查看一些代码并注意到类似于:

template<typename T>
class example{
    public:
        example(T t): m_value{t}{}

        const T &value = m_value;

    private:
        T m_value;
};

我以前没见过这个.几乎我以前使用的每个API或库都定义了一个返回成员变量的函数,而不是对它的常量引用:

template<typename T>
class example{
    public:
        example(T t): m_value{t}{}

        const T &value() const{
            return m_value;
        }

    private:
        T m_value;
};

为什么第一种方式不常见？有什么缺点？

Answer 1

返回适当引用的(内联)函数更好的原因有几个:

1. 引用将需要每个对象中的内存(通常与指针的数量相同)

2. 引用通常具有与指针相同的对齐,因此导致周围对象可能需要更高的对齐,从而浪费更多的内存

3. 初始化引用需要(少量)时间

4. 具有引用类型的成员字段将禁用默认副本并移动赋值运算符,因为引用不可重定位

5. 具有引用类型的成员字段将导致自动生成的默认副本和移动构造函数不正确,因为它们现在将包含对其他对象的成员的引用

6. 函数可以执行其他检查,例如在调试版本中验证不变量

请注意,由于内联,该函数通常不会产生任何超出可能稍大的二进制文件的额外成本.