なぜconstオブジェクトのメンバ変数がconstでないのです

Question

ちょうどこれに似た質問があります。

#include <iostream> 
using namespace std; 

struct A { 
    A() : a{1} {}; 
    int a; 
}; 

template <typename Which> 
struct WhichType; 

int main() { 
    const A a; 
    const A& a_ref = a; 
    const A* a_ptr = &a; 
    WhichType<decltype(a.a)> which_obj; // template evaluates to int 
    WhichType<decltype(a_ref.a)> which_ref; // template evaluates to int 
    WhichType<decltype(a_ptr->a)> which_ptr; // template evaluates to int 

    return 0; 
} 

なぜテンプレートはconst intの代わりintにはならないのですか？

Answer 1

decltypeは、余分な括弧で囲まれていないオペランドの「宣言型」を提供します。

式の実際のタイプ、つまりconst intを取得するには、decltype((a.a))などと書く必要があります。

decltypeは、名前以外の左辺値式の参照型を常に返します。

Answer 2

識別子（またはメンバ）の名前が渡されると、宣言の型が返されます。

異なる式が渡された場合、それはあなたが望むものに近いものを返しますが、参照修飾されたものです。

WhichType<std::remove_reference_t<decltype((a_ptr->a))>> which_ptr; // template evaluates to const int! 

live example か、L/Rのvaluenessたい場合：

WhichType<decltype((a_ptr->a))> which_ptr2; // template evaluates to const int& 
WhichType<decltype(((const A){}.a))> which_ptr3; // template evaluates to const int 

をあなたはそれここに "本物の" 右辺値参照にする&&を追加することができます。

WhichType<decltype(((A){}.a))&&> which_ptr4; // template evaluates to int&&! 

live example。