decltypeはr値を宣言できますか？

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で非常に明確です。実際、与えられた例の1つは、constポインタaを介して参照する式を示しています。 decltype(a->x)はdoubleであり、decltype((a->x))はdouble const &である。

だからバグです。コンパイラはiがconstだと考えているので、++にはできません。