指向右值对象成员变量的指针

Question

这是一个非常快速的问题。我有以下代码：

struct integer {
    int x;
    int& ref() {
        return x;
    }
};

//main...
int* l = &integer{4}.ref();
std::cout << *l;

我的问题是：&integer{4}.ref() 不是右值，因为它是一个临时对象吗？我怎样才能有一个指向它的指针？它是未定义的行为吗？

Answer 1

虽然integer{4} 是一个右值，但您调用ref() 会返回一个始终是左值的int&。这允许代码编译，但您有未定义的行为，因为您取消引用指向不再存在的对象的指针。

要解决这个问题，您可以为ref 提供一个 ref-qualifer，它只允许在左值上调用它。看起来像

struct integer {
    int x;
    int& ref() & {
        return x;
    }
};

如果你尝试使用会导致编译器错误

integer{4}.ref()

因为integer{4} 不是ref 现在需要的左值。