c++ - 为什么是 "dumb to override the & operator and return *this*"？

Question

当然，我想不出有什么理由让我想要覆盖一元&运算符，但在https://stackoverflow.com/a/4542813/368896中张贴者指出，关于某些类 X:

...unless X does something really dumb, like overloading the unary & to return this

(注意:我假设此评论指的是 & 运算符返回 this 的事实，而不是覆盖 & 运算符的事实本身。)

当我想到那个评论时，我突然想到“返回这个”正是 & 运算符所做的 - 即使在多重继承的情况下也是如此。 p>

鉴于人们可能永远不想覆盖一元&运算符，尽管如此，让它返回this(如果你确实决定覆盖它)？

Answer 1

it occurred to me that "returning this" is exactly what the & operator does

你说得对，尽管 C++ 也禁止获取临时对象的地址。

在 the question you reference 的上下文中，这是关于确定一个对象是否是临时的:

如果您实现自己的返回 this 的 operator &，您将通过告诉编译器 &(expression) 是永远有效。考虑:

struct foo
{
};

struct bar
{
    bar* operator&()
    {
        return this;
    }
};

template <typename T>
void test(const T*)
{
    // no temporaries, can't take address of temporary...right?
}

int main()
{
    foo x;
    test(&x); // okay, x is an lvalue

    /*
    test(&(foo())); // not okay, cannot take address of temporary
    */

    bar y;
    test(&y); // still okay, y is an lvalue

    test(&(bar())); // huh?! not taking address of temporary, calling operator&
}