Odliczanie argumentów szablonowych dla literałów łańcuchowych

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 
} 

To drukuje 115 na najnowszym kompilatorze g ++. Najwyraźniej, T jest wydedukowana jako tablica (zamiast wskaźnika). Czy to zachowanie gwarantuje standard? Byłem trochę zaskoczony, ponieważ poniższy kod wypisuje rozmiar wskaźnika i myślałem, że auto zachowuje się dokładnie tak samo jak odliczanie argumentów w szablonie?

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 zachowuje się dokładnie jak odliczenia szablon argumentów. Dokładnie jak T!

Porównaj to:

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 
} 

z tym:

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 
} 

---

Niezupełnie, ale to nie jest jeden z przypadków narożnych.