suy ra loại phần tử tuple trong C++ 11

Question

Tôi có mã sau đây.

template <typename... Types> 
void print_tuple(const std::tuple<Types&&...>& value) 
{ 
    std::cout << std::get<0>(value) << "," << std::get<1>(value) << std::endl; 
} 
print_tuple(std::forward_as_tuple("test",1)); 

mà trình biên dịch phàn nàn về

error: invalid initialization of reference of type ‘const std::tuple<const char (&&)[5], int&&>&’ from expression of type ‘std::tuple<const char (&)[5], int&&>’ 
    print_tuple(std::forward_as_tuple("test",1)); 

tại sao biên dịch suy ra kiểu của phần tử đầu tiên trong tuple là const char (& &) [5]?

Answer 1

Nói chung, để khấu trừ thành công, đối số cần phải có cùng một dạng chung như tham số. Có một số ngoại lệ trong đó T && có thể được suy ra từ U & (bằng cách chọn T = U &), nhưng không có trường hợp ngoại lệ nào được chỉ định cho trường hợp này.

14.8.2.5 Suy luận đối số mẫu từ một loại [temp.deduct.type]

8 Mẫu kiểu lập luận T, một mẫu template luận TT hoặc một đối số mẫu không loại i có thể suy luận nếu P và A có một trong các hình thức sau:

[...]

T&
T&&

[...]

Nó không phải chính xác rõ ràng, nhưng điều này đòi hỏi P (tham số) và A (đối số) để cả hai đều có hình thức tương tự. Cả hai cần phải có dạng T& hoặc cả hai dạng T&&.Các trường hợp ngoại lệ, các trường hợp T && có thể được rút ra từ U &, được thực hiện bằng cách thay đổi T && để đồng bằng T trước khớp diễn ra, trong trường hợp hạn chế:

10 Tương tự, nếu P có một hình thức có chứa (T), sau đó mỗi loại thông số Pi của danh sách loại tương ứng của P được so sánh với loại thông số tương ứng Ai của thông số tương ứng tương ứng của A. Nếu P và A là các loại chức năng có nguồn gốc từ khấu trừ khi lấy địa chỉ của mẫu chức năng (14.8.2.2) hoặc khi khấu trừ đối số mẫu từ khai báo hàm (14.8.2.6) và Pi và Ai là thông số của cấp cao nhất tham số kiểu-list của P và A, tương ứng, Pi được điều chỉnh nếu nó là một tài liệu tham khảo rvalue đến một tham số mẫu cv-không đủ tiêu chuẩn và Ai là một tài liệu tham khảo giá trị trái, trong trường hợp này loại Pi được thay đổi để trở thành mẫu loại thông số (ví dụ: T&& được thay đổi thành chỉ đơn giản là T). [...]

và

14.8.2.1 Suy luận đối số mẫu từ một cuộc gọi chức năng [temp.deduct.call]

3 [...] Nếu P là một tham chiếu rvalue cho một tham số mẫu cv-unqualified và đối số là một giá trị, loại "tham chiếu lvalue đến A" được sử dụng thay cho A để khấu trừ loại. [...]

nhưng không có ngoại lệ tương tự nào áp dụng cho trường hợp của bạn.

Đó là nguyên tắc này tương tự mà làm cho

template <typename T> struct S { }; 
template <typename T> void f(S<const T>) { } 
int main() { f(S<void()>()); } 

không hợp lệ: const T không thể được rút ra từ void(), mặc dù T = void() sẽ cung cấp chính xác những kết quả đó, và gọi f<void()> sẽ thành công.

câu trả lời đã xóa Wintermute cho thấy rằng bạn có thể sử dụng

template <typename... Types>  // vv-- change here 
void print_tuple(const std::tuple<Types...>& value) 

thay vì: điều này cho phép Types được suy luận như tài liệu tham khảo giá trị trái, như tài liệu tham khảo rvalue, hoặc như phi tài liệu tham khảo, tùy thuộc vào loại value.

Answer 2

Bạn có định sử dụng && trong std::tuple<Types&&...> làm tham chiếu chung không? Đây không phải là tài liệu tham khảo phổ quát; nó là tham chiếu rvalue và chỉ có thể liên kết với rvalues. Bạn có thể làm như thế này để kiểm tra những loại tài liệu tham khảo đó là:

template<typename T> 
class TD; 

Sau đó, xác định mẫu hàm của bạn:

template <typename... Types> 
void print_tuple(const std::tuple<Types&&...>& value) 
{ 
    TD<decltype(value)> a; 
    std::cout << std::get<0>(value) << "," << std::get<1>(value) << std::endl; 
} 

Sau đó, bạn sẽ thấy những lỗi biên dịch như:

implicit instantiation of undefined template 'TD<const std::__1::tuple<std::__1::basic_string<char> &&, int &&> &>' 

Bạn có thể thấy rằng ngay cả đối với loại int, nó suy ra là tham chiếu rvalue. Tham chiếu Rvalue không thể liên kết với các giá trị. Bạn có thể thử đó bằng cách gọi:

int i = 1; 
print_tuple(std::forward_as_tuple(i,1)); // error. 

Vì vậy, nó là đúng rằng const char(&&)[5] là suy luận, và một chuỗi chữ không thể được chuyển đổi sang const char(&&)[5]. Nếu bạn gọi print_tuple như:

print_tuple(std::forward_as_tuple(string("test"),1)); 

Nó sẽ hoạt động. Bây giờ loại là tuple<string&&, int&&>.