c++ - 从引用复制构建

Question

考虑这段代码

class Foo {
private:
    Bar bar; //note: no reference

public:
   Foo(Bar& b) : bar(b) { }
};

Bar 会被复制构造吗？

Answer 1

这取决于 Bar 的公共(public)构造函数的签名(显式或隐式定义)。

首先，C++ 标准允许引用的隐式转换，只要基础类型的唯一区别是目标类型至少与源类型一样cv 限定，使用此表中定义的部分排序(C++11，§3.9.3/4):

no cv-qualifier < const
no cv-qualifier < volatile
no cv-qualifier < const volatile
const          < const volatile
volatile    < const volatile

因此，考虑到这一点以及§12.8/2:

A non-template constructor for class X is a copy constructor if its first parameter is of type X&, const X&, volatile X& or const volatile X&, and either there are no other parameters or else all other parameters have default arguments.

如果 Bar 有一个带有以下任何签名的构造函数:

Bar(Bar&);
Bar(Bar const&);
Bar(Bar volatile&);
Bar(Bar const volatile&);

那么是的，b 将被复制构造为 Foo::bar。

---

编辑: 这是不正确的，我正在考虑 operator= 以及移动赋值运算符资格的详细信息。 p>

请注意，可以有一个不是复制构造函数的合格构造函数:

Bar(Bar);

这可以工作(读:编译)，但从技术上讲它不是一个复制构造函数。