initializer_list và kiểu mẫu trích

Question

Hãy xem xét các chức năng:

template<typename T> 
void printme(T&& t) { 
    for (auto i : t) 
    std::cout << i; 
} 

hay bất kỳ chức năng khác mà hy vọng một tham số với một bắt đầu()/end() - cho phép loại.

Tại sao điều sau đây là bất hợp pháp?

printme({'a', 'b', 'c'});

Khi tất cả đều là chính đáng:

printme(std::vector<char>({'a', 'b', 'c'})); 
printme(std::string("abc")); 
printme(std::array<char, 3> {'a', 'b', 'c'}); 

Chúng tôi thậm chí có thể viết này:

const auto il = {'a', 'b', 'c'}; 
printme(il); 

hoặc

printme<std::initializer_list<char>>({'a', 'b', 'c'}); 

Answer 1

Dòng đầu tiên của bạn printme({'a', 'b', 'c'}) là bất hợp pháp vì đối số mẫu T không thể suy ra được. Nếu bạn chỉ định rõ ràng đối số mẫu, nó sẽ hoạt động, ví dụ: printme<vector<char>>({'a', 'b', 'c'}) hoặc printme<initializer_list<char>>({'a', 'b', 'c'}).

Các đối tượng khác bạn liệt kê là hợp pháp vì đối số có loại được xác định rõ, vì vậy đối số mẫu T có thể được suy luận tốt.

Đoạn mã của bạn với auto cũng hoạt động vì il được coi là loại std::initializer_list<char> và do đó đối số mẫu cho printme() có thể được suy luận.

---

duy nhất "funny" một phần ở đây là auto sẽ chọn loại std::initializer_list<char> nhưng đối số mẫu sẽ không. Điều này là do § 14.8.2.5/5 của tiêu chuẩn C++ 11 tuyên bố rõ ràng rằng đây là ngữ cảnh không được suy luận cho một đối số mẫu:

Tham số chức năng mà đối số liên quan là danh sách khởi tạo (8.5.4) nhưng tham số không có std :: initializer_list hoặc tham chiếu đến có thể cv-đủ điều kiện std :: initializer_list loại.[Ví dụ:

template<class T> void g(T); 
g({1,2,3}); // error: no argument deduced for T 

- end dụ]

Tuy nhiên với auto, § 7.1.6.4/6 đã hỗ trợ rõ ràng cho std::initializer_list<>

nếu initializer là một braced-init-list (8.5.4), với std::initializer_list<U>.

Answer 2

này đặc biệt được bảo hiểm theo § 14.8.2.5/5

Một số chức năng mà lập luận liên quan là một danh sách initializer nhưng tham số không có std::initializer_list hoặc tài liệu tham khảo để có thể cv-trình độ std::initializer_list loại. [Ví dụ:

template<class T> void g(T); 
g({1,2,3}); // error: no argument deduced for T 

-end dụ]

Để làm cho nó làm việc, bạn có thể chỉ định kiểu mẫu đối số một cách rõ ràng.

printme<std::initializer_list<int>>({1,2,3,4}); 

Answer 3

Bạn cũng có thể quá tải hàm để lấy một đối số kiểu initializer_list một cách rõ ràng.

template<typename T> 
void printme(std::initializer_list<T> t) { 
    for (auto i : t) 
    std::cout << i; 
}