构造函数与“=”运算符执行相同的操作吗？

Question

1. 当我们没有定义任何=运算符时，编译器如何知道使用构造函数？
2. 构造函数不是只在定义变量时调用吗？

#include <string>

class Person
{
public:
    std::string name;
    Person(const char* fullName) : name(fullName) {}
};

int main()
{
    Person p1("Jibel Sadeghi"); // This is ok because we declared the constructor with a const char*
    /* When we didn't overload the '=' operator for 'const char*',
       how the next lines don't have any errors? */
    p1 = "Ben Sadeghi";
}

Answer 1

构造函数不是只在定义变量时调用吗？

不。创建对象（类的实例）时使用构造函数。

该对象可以保存在变量中，或数组的元素中，或动态分配的，或（如果您在这里有）临时对象中。

当我们没有定义任何 = 运算符时，编译器如何知道使用构造函数？

你的类有默认的复制赋值运算符，带有签名

Person& Person::operator=(const Person& assign_from);

和默认的移动赋值运算符，带有签名

Person& Person::operator=(Person&& move_assign_from);

当编译器尝试编译时

p1 = "Ben Sadeghi";

它看到它需要Person::operator=()，查看所有候选（有默认的两个，因为您没有提供任何），并且对于每个候选，它尝试将实际参数转换为形式参数的类型。

对于复制赋值，形式参数的类型为 type const Person&，实际参数的类型为 type const char[12]，并且有一个隐式构造函数能够执行转换。所以Person::Person(const char*)可以调用，后面跟着Person& Person::operator=(const Person&).

对于移动赋值，形式参数的类型为 type Person&&，实际参数的类型为 type const char[12]，并且有一个隐式构造函数能够执行转换。所以Person::Person(const char*)可以调用，后面跟着Person& Person::operator=(Person&&).

该Person&&参数比 更适合临时人const Person&，因此最终选择了Person::Person(const char*) 后面的序列Person& Person::operator=(Person&&)。