c++ - 复制初始化的奇怪行为，不调用复制构造函数!

Question

我正在阅读直接初始化和复制初始化之间的区别 (§8.5/12):

T x(a);  //direct-initialization
T y = a; //copy-initialization

我从阅读 copy-initialization 中了解到的内容是它需要 accessible & non-explicit copy-constructor ，否则程序无法编译。我通过编写以下代码验证了它:

struct A
{
   int i;
       A(int i) : i(i) { std::cout << " A(int i)" << std::endl; }
   private:
       A(const A &a)  {  std::cout << " A(const A &)" << std::endl; }
};

int main() {
        A a = 10; //error - copy-ctor is private!
}

GCC 给出一个错误(ideone)说:

prog.cpp:8: error: ‘A::A(const A&)’ is private

到目前为止一切都很好，reaffirming what Herb Sutter says ,

Copy initialization means the object is initialized using the copy constructor, after first calling a user-defined conversion if necessary, and is equivalent to the form "T t = u;":

---

之后，我通过注释 private 关键字使复制构造器可访问。现在，我自然希望打印以下内容:

A(const A&)

但令我惊讶的是，它打印了这个 ( ideone ):

A(int i)

为什么？

好的，我知道首先使用 10 创建了一个 A 类型的临时对象，它是 int 类型>A(int i)，根据需要在此处应用转换规则 (§8.5/14)，然后它应该调用 copy-ctor 来初始化 a。但它没有。为什么？

如果允许实现消除调用复制构造函数的需要 (§8.5/14)，那么为什么在声明复制构造函数 private 时它不接受代码？毕竟，它不是在调用它。这就像一个被宠坏的 child ，他首先生气地要一个特定玩具，当你给他一个，特定的玩具时，他会在你背后把它扔掉。 :|

这种行为会不会很危险？我的意思是，我可能会在复制构造器中做一些其他有用的事情，但如果它不调用它，那么它不会改变程序的行为吗？

Answer 1

你是在问编译器为什么要进行访问检查？ C++03 中的 12.8/14:

A program is ill-formed if the copy constructor or the copy assignment operator for an object is implicitly used and the special member function is not accessible

当实现“省略复制构造”(12.8/15 允许)时，我不认为这意味着复制构造函数不再“隐式使用”，它只是没有被执行。

或者您是在问为什么标准会这样说？如果复制省略是这个关于访问检查的规则的一个异常(exception)，那么您的程序在成功执行省略的实现中将是良构的，但在没有成功执行省略的实现中将是良构的。

我很确定作者会认为这是一件坏事。当然，以这种方式编写可移植代码更容易——如果您编写的代码试图复制不可复制的对象，即使在您的实现中恰好省略了复制，编译器也会告诉您。我怀疑在检查访问权限之前确定优化是否成功(或将访问权限检查推迟到尝试优化之后)也会给实现者带来不便，尽管我不知道这是否有必要考虑。

Could this behavior be dangerous? I mean, I might do some other useful thing in the copy-ctor, but if it doesn't call it, then does it not alter the behavior of the program?

当然这可能是危险的——当且仅当对象被实际复制时，复制构造函数中的副作用才会发生，你应该相应地设计它们:标准说复制可以被省略，所以不要把代码放在复制构造函数，除非您愿意在 12.8/15 中定义的条件下将其省略:

MyObject(const MyObject &other) {
    std::cout << "copy " << (void*)(&other) << " to " << (void*)this << "\n"; // OK
    std::cout << "object returned from function\n"; // dangerous: if the copy is
      // elided then an object will be returned but you won't see the message.
}