我什么时候应该在 C++ 构造函数参数中使用 const？

Question

我对干净的代码/编码风格有疑问，疑问是，我什么时候应该在 C++ 构造函数参数中使用关键字const 。 例如，考虑以下类：

class A {
    public:
    B& b;
    explicit A (const B& b_): b(b_) {}
    };

在这段代码中，我想初始化来自类A的引用b ，同时我想表示作为参数传递给类A构造函数的引用不会用于更改对象b_的值. 但是，显示的代码不会编译，编译器会显示以下消息：

"error: binding reference of type ‘B&’ to ‘const B’ discards qualifiers"

我知道我可以在b类属性中使用关键字const ，但是，它会使属性保持不变，我不想对属性强加此约束。 所以，我想知道在这种情况下我该怎么办。

Answer 1

我想表达的是，作为参数传递给 A 类构造函数的引用不会用于更改对象 b_ 的值。

但事实并非如此。 可以修改传递给A的构造函数的引用。 不一定直接通过A的构造函数，而是通过A的任何其他修改对象的成员函数。

如果函数通过const&接受参数，则该函数的调用者有权期望该对象不会被该函数或依赖于该函数执行的任何进程修改。 例如在构造函数中初始化引用成员，在该构造函数执行后可以访问该引用成员。

你应该做的不是对用户撒谎。 的依赖性结果A的构造是，传递给它的参数可以被修改。 所以它应该是一个非const引用。

同样重要的是，创建A的行为从根本上取决于给定对象在构造函数退出后继续存在。 由于const&参数可以绑定到临时参数，因此有人很容易像这样调用您的构造函数A a(B{}) ; 此语句之后的a引用了一个已被销毁的对象。 如果您的函数采用非const引用，这将是一个编译错误。