Trích đối số mẫu cho các chuỗi ký tự

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 
} 

Điều này in 115 trên trình biên dịch g ++ gần đây. Vì vậy, rõ ràng, T được suy luận là một mảng (thay vì một con trỏ). Hành vi đó có được đảm bảo theo tiêu chuẩn không? Tôi hơi ngạc nhiên, bởi vì đoạn mã sau in kích thước của một con trỏ, và tôi nghĩ rằng auto hoạt động chính xác như khấu trừ đối số mẫu?

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 cư xử chính xác như khấu trừ mẫu tranh cãi. Chính xác như T!

Hãy so sánh này:

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 
} 

Với điều này:

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 
} 

---

Không hẳn, nhưng đây không phải là một trong những trường hợp góc.