Dize değişmezleri için şablon bağımsız deyimi indirimi

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 
} 

Bu, son g ++ derleyicide 115 yazdırır. Görünüşe göre, T bir dizi (bir işaretçi yerine) olduğu sonucuna varılır. Bu davranış standart tarafından garanti ediliyor mu? Biraz şaşırdım çünkü aşağıdaki kod bir işaretçinin boyutunu yazdırıyor ve ben de auto şablon argümanı indirimi gibi davranıyor diye düşündüm.

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 şablon argümanı indirimi gibi tam davranır. Tam olarak T! Bununla

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 
} 

:

karşılaştırın

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 
} 

---

olarak değil, ama bu köşe vakaların biri değildir.