如何阻止编译器删除我的函数

Question

当我在重载的operator= 末尾添加return 语句时，编译器会抛出错误。它说：

'File::File(const File&)' 被隐式删除，因为默认定义格式不正确

但是，当我删除 return 语句（和类型说明符）时，没问题。

class File : public Document {
private:
    fstream mainFile;
    string drive, folder, fileName, fullPath;
protected:

public:
    File(string d, string f, string fn, string txt = "NULL") : Document(txt) {
        drive = d;
        folder = f;
        fileName = fn;
        if(fileName.find(".txt") == -1) {
            fileName.append(".txt");
        }
        fullPath = drive + ":/" + folder + "/" + fileName;
        mainFile.open(fullPath.c_str());
        mainFile << txt;
    }
    File() : Document() {
        drive = folder = fileName = "NULL";
        fullPath = drive + ":/" + folder + "/" + fileName;
    }

    File operator = (File & a) {
        this->getDrive() = a.getDrive();
        this->getFolder() = a.getFolder();
        this->getFileName() = a.getFileName();
        this->getText() = a.getText();
        this->fileName = a.fileName;
        return a;
    }

};

Answer 1

File operator = (File & a) {

此运算符按值返回其结果。也就是说，通过副本。

问题是File 包含一个std::fstream 成员，它本身有一个已删除的复制构造函数。它不能被复制。 std::fstream 表示可能打开的文件。 “复制”一个打开的文件的概念是完全没有意义的，所以文件流对象不能被复制，因为File本身不能被复制，因为它包含一个不可复制的类成员，这就是编译错误。试图复制一个不可复制的类。

省略 return 语句会导致未定义的行为，即声明为返回 File 的函数不返回任何内容。

这完全是因为您在实现赋值运算符时存在几个基本问​​题。赋值运算符应该：

• 取一个const参数。

• 返回一个引用到它自己的实例，并且

• 返回*this。

为了实现具有预期语义的赋值运算符，应将其声明为

File &operator=(const File &a)

并通过返回完成其工作

    return *this;

Answer 2

您的复制操作员的签名应该是：

File & operator=(File const &);

编译器抱怨return a;，因为运算符声明它返回一个对象，而不是引用——所以a 需要被复制。但是mainFile 是一个std::fstream，它不提供自己的复制构造函数，因此编译器无法为您生成复制构造函数。您自己没有提供复制构造函数，因此 File 对象是不可复制的。这就是返回 a 时出现错误的原因。

正确的实现是：

File & operator=(File const & a) {
    this->getDrive() = a.getDrive();
    this->getFolder() = a.getFolder();
    this->getFileName() = a.getFileName();
    this->getText() = a.getText();
    this->fileName = a.fileName;
    return *this;
}

请注意，我们还通过 const 引用获取参数；这允许从 const 的 File 对象进行复制分配（否则，您不能）。此外，赋值运算符通常应该返回对赋值目标的引用（这是*this，而不是a）。