C++ 11: ref standard per l'azione di `auto` sui tipi const e di riferimento

Question

Supponiamo che io sono un tipo T:

typedef ... T; 

e poi devo queste funzioni:

T f11(); 
T& f12(); 
T&& f13(); 
const T f21(); 
const T& f22(); 
const T&& f23(); 

e poi li chiamano in questo modo:

auto x11 = f11(); 
auto x12 = f12(); 
auto x13 = f13(); 
auto x21 = f21(); 
auto x22 = f22(); 
auto x23 = f23(); 

Da quali sezioni/clausole della norma C++ 11 si può dedurre le dichiarazioni non-auto equivalenti di x11..x23 ?

Answer 1

E 'in §7.1.6.4 auto specificatore. Nei tuoi esempi di tipi di ritorno di funzione, si applicano le regole della deduzione degli argomenti del modello.

Paraquoting l'esempio rilevante dalla norma:

const auto &i = expr;

Il tipo di i è il tipo dedotta del parametro X nella chiamata f(expr) delle seguenti modello di funzione inventato:

template <class AUTO> void f(const AUTO& X);

Quindi io n tuoi esempi, i tipi di tutte le variabili x11 a x23 sono dedotte come T.