c++ - 如何禁止分配给临时对象和从其他类型隐式转换？

Question

我为普通对象和临时对象重载了两次 = 运算符。 不幸的是 g++ (Debian 4.7.2-5) 4.7.2 允许太多的临时对象。 例如，他不应该允许分配给临时对象。 他还允许将其他类型变量分配给对象。

#include <cstdlib>
#include <utility>
#include <iostream>
using namespace std;
class Simple {
    int number;
public:
    int getNumber() const {
        return number;
    }
    Simple(const Simple& that) : number(that.number) {}
    Simple(Simple&& that) : number(move(that.getNumber())) {}
    Simple(int a) {number = a;}
    Simple& operator=(const Simple &base) {
        if (&base != this) {
            this->number = std::move(base.getNumber());
        }
        return *this;
    }
    Simple& operator=(Simple&& base) {
        if (&base != this) {
            this->number = std::move(base.getNumber());
        }
        return *this;
    }
};
Simple reverse(const Simple& base) {
    Simple result(base.getNumber());
    return result;
}
int main(int argc, char** argv) {
    Simple one(4);
    Simple two(5);
    one = two.getNumber();//This should be compile error.
    reverse(two) = one;This should be compile error.
    return 0;
}

如何更改此代码以禁止分配给临时对象 以及来自其他类型的隐式转换？

附加信息: 我怎样才能使这条指令可实现:

Simple& operator=(Simple const &) && = delete;

我尝试在运算符声明的末尾添加 && = delete，但编译器引发了编译错误。我尝试在类范围之外实现此运算符，但没有效果。

Answer 1

第一个问题是您是否真的想维护代码以抑制这些情况。通常，对于类类型，允许将临时(右值)赋值，因为它正在调用任何其他成员函数。在 C++11 及更高版本的右值引用中，您可以在重载决策期间区分右值和左值，这可用于阻止对右值的赋值。要阻止 int 的赋值，您可以禁止所有隐式转换(我建议无论如何都不要进行隐式转换)或阻止特定的赋值运算符:

class Simple { 
// ...
    // Disallow implicit conversions from int
    explicit Simple(int);

    // Inhibit assignment to rvalues
    Simple& operator=(Simple const &) && = delete;

    // Alternatively, require that it is called on an lvalue
    Simple& operator=(Simple const &s) &;
    Simple& operator=(Simple &&) &;

    // ... or block assigment from 'int'
    Simple& operator=(int) = delete;
};

尽管老实说，我只会禁止隐式转换，而将其余的留给类的用户。