显式复制构造函数的行为

Question

我有以下代码：

#include <iostream>

struct A {
  A(int x=1, int y=1) : x(x), y(y) { }
  A(const A& other) : x(other.x), y(other.y) { }

  operator bool() const { return !x && !y; }

  friend std::ostream& operator<<(std::ostream& os, const A& a) {
    os << a.x << "," << a.y << "\n";
    return os;
  }

  int x;
  int y;
};

int main(int argc, char const *argv[]) {
  A const A10x10(10, 10);
  A a;
  std::cout << a;
  A aa = A10x10;
  std::cout << aa;
  return 0;
}

以上打印：

1,1
10,10

当我将复制构造函数更改为显式（即explicit A(const A& other);）时，我得到：

1,1
0,1

我在（显式）复制构造函数中放置了一个打印语句，实际上它没有被调用。为什么会这样？ explicit 有什么不同？

我使用的是 C++17，用 Clang10 编译。

Answer 1

这个：

A aa = A10x10;

执行复制初始化。复制初始化通过将对象转换为正在初始化的对象的类型来工作。但是，复制初始化是通过隐式转换来实现的。而隐式转换不能调用explicit构造函数。

即使是复制构造函数。

现在，您可能会认为您会收到编译错误。但你没有。为什么？因为A 可以通过用户定义的转换隐式转换为bool。而bool 可以通过标准转换为int。而A 实际上可以从int 类型的单个值构造。虽然隐式转换只允许进行一次用户定义的转换，但它确实允许进行一次用户定义的转换，然后进行标准转换。

所以这就是发生的事情。这就是为什么当复制构造函数为explicit 时aa 中的第一个值为0。

一般来说，总是制作operator boolexplicit。 从不创建复制构造函数explicit。