Dlaczego decltype usuwa const z typów zwracanych dla typów wbudowanych?

Question

Zgodnie z ogólną zasadą, decltype zachowuje constness:

const int ci = 0; 
decltype(ci) x;   // x is const int 
x = 5;     // error--x is const 

class Gadget{}: 

const Gadget makeCG();   // factory 

decltype(makeCG()) y1, y2;  // y1 and y2 are const Gadgets 
y1 = y2;      // error--y1 is const 

Ale dla typów const zwrotnych, które zwracają podstawowe typy, decltype zdaje się rzucać const dala:

const int makeCI();   // factory 

decltype(makeCI()) z;   // z is NOT const 
z = 5;       // okay 

Dlaczego decltype odrzuconych constness w tym przypadku ? Mam na myśli pytanie na dwa sposoby:

1. Jaka część standardu określa to zachowanie?
2. Jaka jest motywacja do określania zachowania w ten sposób?

Dzięki.

Answer 1

Zachowanie, które obserwujesz, jest poprawne: decltype(makeCI()) to int, a nie int const.

Wyrażenie funkcji wywołania makeCI() jest wyrażeniem prvalue. Zgodnie z C++ 11 §3.10 [basic.lval]/4:

Prv klasy mogą mieć kwalifikacje cv; prvalues ​​pozaklasowe zawsze mają typy niekwalifikujące się do cv.

Termin "kwalifikacja cv" odnosi się do kwalifikacji const i volatile. int nie jest typem klasy, więc typ wyrażenia rvalue makeCI() jest int i nie jest const-kwalifikowany.

(W ostatnich wersjach standardu języka C++, np. N3690, tekst ten został usunięty i zastąpiony nowym tekstem w §5 [wyrażenie]/6, który stwierdza: "Jeśli wartość prinalue ma początkowo typ" cv T , "gdzie T jest nieklajnalnym niekwalifiktowanym, nieklazycznym, nie macierzowym typem, typ ekspresji jest dostosowywany do T przed jakąkolwiek dalszą analizą." Szczegóły patrz CWG defect 1261).