显式复制构造函数行为和实际用途

我相信C++ 03的相关部分是 §12.3.1 二:

显式构造函数像非显式构造函数一样构造对象,但仅在直接初始化语法( 8.5 5.2.9 , 5.4 )是明确使用的。默认构造函数可以是显式构造函数;此类构造函数将用于执行默认初始化或值初始化( 8.5条 ).

和 § 8.5 12点:

在参数传递、函数返回、引发异常时发生的初始化( 15.1 ),处理异常( 15.3 ),并用大括号括起初始值设定项列表( 8.5.1

    T x = a;

在新表达式中发生的初始化( 5.3.4 ),静态转换表达式( 5.2.9条 ),函数表示法类型转换( 5.2.3 ),以及基和成员初始值设定项( 12.6.2 )称为直接初始化,相当于

    T x(a);

打电话 passByValue(a)

定义 passByValue retByValue 当然还有一个复制对象的返回语句。

在C++ 11之前,使用复制构造函数显式的一个实际用途是,它实际上是使类不可复制的一部分。

危险在于,尽管您声明了复制构造函数private并且没有实现它,但是如果您在friend中或在类本身中意外地复制了一个构造函数,编译器将不会接收它,您只会得到一个很难找到的链接错误。

同样地,使它显式也减少了这样做的可能性,因为编译器很可能会获取您无意中的副本并指向您正在执行的实际行。

在C++ 11(和14)中,在使用时不需要这样做。 =delete 语法,因为即使在类本身或朋友内部进行复制,也会出现编译器错误。

如果要添加 passByValue(a); 给你的 main() 函数,编译器 应该抱怨。

显式复制构造函数是为了防止这种情况的发生,即防止函数调用中资源的隐式复制等(本质上它强制用户通过引用传递而不是通过值传递)。