c++ - decltype 可以声明一个右值吗？

Question

// Compiled by Visual Studio 2012

struct A
{
    bool operator ==(const A& other) const
    {
        for (decltype(this->n) i = 0; i < n; ++i) // OK
        {}

        return true;
    }

protected:
    size_t n;
};

struct B : public A
{
    bool operator ==(const B& other) const
    {
        for (decltype(this->n) i = 0; i < n; ++i) // error C2105: '++' needs l-value
        {}

        return true;
    }
};

这是 VC++ 2012 的错误吗？

Answer 1

这似乎是一个 VS2012 编译器错误。规范在第 7.1.6.2 节第 4 段中对此非常清楚。确实，给出的示例之一显示了通过 const-pointer 引用的表达式a。decltype(a->x)产量double，同时decltype((a->x))产量double const &。

所以这是一个错误；编译器认为i是const，因此不能++。