Perché decltype rimuove const dai tipi restituiti per i tipi predefiniti?

Question

Come regola generale, decltype conserva 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 

Ma per i tipi di const di ritorno che restituiscono tipi fondamentali, decltype sembra gettare const via:

const int makeCI();   // factory 

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

Perché decltype scarto costanza in questo caso ? Intendo la domanda in due modi:

1. Quale parte dello standard specifica questo comportamento?
2. Qual è la motivazione per specificare il comportamento in questo modo?

Grazie.

Answer 1

Il comportamento osservato è corretto: decltype(makeCI()) è int, non int const.

L'espressione di chiamata di funzione makeCI() è un'espressione di valore. Per C++ 11 §3.10 [basic.lval]/4:

I valori di classe possono avere tipi qualificati per CV; i valori prerequisiti non di classe hanno sempre tipi cv-non qualificati.

Il termine "qualifica CV" si riferisce alla qualifica costante e costante. int non è un tipo di classe, quindi il tipo di espressione rvalore makeCI() è int e non è const-qualificato.

(Nelle bozze recenti dello standard di linguaggio C++, ad esempio N3690, questo testo è stato rimosso e sostituito da nuovo testo in §5 [expr]/6, che indica "Se un valore iniziale ha inizialmente il tipo" cv T , "dove T è un cv non qualificato, non di tipo array, il tipo di espressione è regolato su T prima di qualsiasi ulteriore analisi." Vedi CWG defect 1261 per i dettagli.)