通过临时对象分配给const ref变量的用户定义转换

Question

下面的代码是我面临的实际问题的简化版本。

假设我没有修改类A（因为它是外部库）的权限，并且它已经在我现有的代码库中广泛使用。

const公司

在这种情况下，如何防止或使其合法化，以便调用者获得正确的A值？

class A 
{
public:
    A() {  }
    A(int _r, int _g, int _b)
        : r(_r), g(_g), b(_b)
    {
    }

    ~A(){ }

    int GetR() const {  return r; }
    int GetG() const { return g; }
    int GetB() const { return b; }

private:
    int r = 0;
    int g = 0;
    int b = 0;
};

class Foo
{
public:
    Foo() : Foo(A()) {}
    Foo(int _r, int _g, int _b) : a(A(_r, _g, _b)) {}
    explicit Foo(const A& _a) : a(_a) {}

    Foo& operator=(const A& a)
    {
        *this = Foo(a);
        return *this;
    }

    operator A() const { return a; }
    operator const A&() const {  return a; }

private:
    A a;
};

int main()
{
    const A& a = Foo(200, 100, 300); 
    std::cout << a.GetR() << a.GetG() << a.GetB() << endl; // I may not get 200 100 300 here as Foo is already out of scope 

    return 0;
}

动机

我为什么要实现上面的类的一些背景。类Foo的实际目的是包含2个不同的对象，它们实际上具有相同的目的，只是内部存储数据的方式不同。例如，让我们说A类和B类，它分别以int和浮动（规范化）存储颜色的RGB值。如上所述，我无权修改类A，它已经在我的代码库中广泛使用。

我的代码库中有很多函数都包含const A




Answer 1

您可以应用ref限定的成员函数（从C 11开始），即使用左值引用标记转换运算符，以防止在临时对象（rvalues）上调用它。

class Foo
{
public:
    ... ...

    operator A() const { return a; }
    operator const A&() const & {  return a; }
    operator const A&() && = delete;

    ... ...
};

然后呢

const A& a = Foo(200, 100, 300);                 // invalid; invokes deleted operator
const A& a = static_cast<A>(Foo(200, 100, 300)); // fine; invokes operator A()