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

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;

你可以分配给a的唯一的东西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);