是否应该在赋值时调用构造函数？

Question

VS2015中以下代码的输出是“构造函数”。

由于缺少赋值运算符，它不应该无法编译吗？

struct A { };

struct B {
    B(){}
    B(const A& a) {
        cout << "constructor" << endl;
    }

    //B& operator=(const A& a) {
    //  cout << "assignment operator" << endl;
    //  return *this;
    //}
};

int main() {
    A a;
    B b;
    b = a;

    return 0;
}

Answer 1

是的，当有转换时，就像在您的测试用例中一样。

你有效地打电话了

b = B(a);

因为B的赋值运算符B& operator=(B const&)是隐式声明的，所以在重载解析期间会找到它。 因为您的分配只是一次转换而不是匹配（并且这恰好是允许发生的转换次数），所以它将a转换为B ，然后将新的临时B分配给b 。

Answer 2

让我们考虑一个类似的例子。

double a;
int b=5;

a=b;

你可以分配给double的唯一的东西是另一个double 。 但是， int可以转换为double 。

同样在这里， A可以转换为B ，因为存在这样的构造函数。 这就是发生的事情。

Answer 3

你的代码有从A到B隐式转换， b = a编译为b = B(a); 。 如果要将其检测为错误，可以使用explicit说明符 ：

struct B {
    B(){}
    explicit B(const A& a) {
        std::cout << "constructor" << std::endl;
    }
};

然后你应该得到错误，例如ideone.com生成的错误 ：

prog.cpp: In function 'int main()':
prog.cpp:20:7: error: no match for 'operator=' (operand types are 'B' and 'A')
     b = a;
       ^
prog.cpp:5:8: note: candidate: B& B::operator=(const B&)
 struct B {
        ^
prog.cpp:5:8: note:   no known conversion for argument 1 from 'A' to 'const B&'
prog.cpp:5:8: note: candidate: B& B::operator=(B&&)
prog.cpp:5:8: note:   no known conversion for argument 1 from 'A' to 'B&&'

之后，永远不会隐式调用构造函数，如果要调用它，则必须明确地编写它： b = B(a);