Detrazione argomento template per stringhe letterali

Question

template<typename T> 
void print_size(const T& x) 
{ 
    std::cout << sizeof(x) << '\n'; 
} 

int main() 
{ 
    print_size("If you timidly approach C++ as just a better C or as an object-oriented language, you are going to miss the point."); 
    // prints 115 
} 

Questa stampa 115 su un recente compilatore g ++. Quindi apparentemente, T viene dedotto per essere una matrice (invece di un puntatore). Questo comportamento è garantito dallo standard? Sono rimasto un po 'sorpreso, perché il codice seguente mostra le dimensioni di un puntatore e ho pensato che lo auto si comportasse esattamente come la deduzione degli argomenti del modello?

int main() 
{ 
    auto x = "If you timidly approach C++ as just a better C or as an object-oriented language, you are going to miss the point."; 
    print_size(x); 
    // prints 4 
} 

Answer 1

auto si comporta esattamente come deduzione modello di argomentazione. Esattamente come T!

confrontare questo:

template<typename T> 
void print_size(T x) 
{ 
    std::cout << sizeof(x) << '\n'; 
} 

int main() 
{ 
    print_size("If you timidly approach C++ as just a better C or as an object-oriented language, you are going to miss the point."); 
    // prints 4 
    auto x = "If you timidly approach C++ as just a better C or as an object-oriented language, you are going to miss the point."; 
    print_size(x); 
    // prints 4 
} 

Con questo:

template<typename T> 
void print_size(const T& x) 
{ 
    std::cout << sizeof(x) << '\n'; 
} 

int main() 
{ 
    print_size("If you timidly approach C++ as just a better C or as an object-oriented language, you are going to miss the point."); 
    // prints 115 
    const auto& x = "If you timidly approach C++ as just a better C or as an object-oriented language, you are going to miss the point."; 
    print_size(x); 
    // prints 115 
} 

---

Non abbastanza, ma questo non è uno dei casi d'angolo.