Question

我已经在VS2013和Dev-C ++上运行了这段代码，但是当副本赋值没有返回任何内容时，编译器不会引发任何错误，请帮我解释一下。

#include <iostream>
using namespace std;
class sample
{
public:
    sample()
    {
        cout << "X::X()" << endl;
    }
    sample(sample const &)
    {
        cout << "X::X( X const & )" << endl;
    }
    sample& operator=(sample const &)
    {
        cout << "X::operator=(X const &)" << endl;
    }
};
sample f()
{
    sample tmp;
    return tmp;
}
int main()
{
    int a;
    sample x = f();
    cin >> a;
    return 0;
}

如果我改为：

sample x;
x = f();

VS2013编译器会引发如下错误：错误1错误C4716：'sample :: operator ='：必须返回值c：\ users \ xxx \ desktop \ test \ test \ main.cpp 33 1测试

Answer 1

严格地说，编译器不需要诊断此错误，因为充分扭曲的功能可能使这非常困难甚至不可能。但是，一个像样的编译器应该能够在这样的简单情况下发出警告;例如，如果您指定-Wreturn-type或-Wall，则会使用GCC。

根据你的说法，它听起来像Visual Studio，无论你使用什么设置，只有在调用函数时才会诊断它。您的第一段代码执行复制初始化（调用复制构造函数），但没有赋值，因此不会调用赋值运算符。

当复制赋值函数没有返回任何内容时，为什么编译器不会引发错误？

1 个答案: