Ý nghĩa của `struct decay <T, R (A ..., ...)>`

Question

template <typename T, typename R, typename ...A> 
struct decay<T, R(A..., ...)> { using type = R(*)(A..., ...); }; 

Ý nghĩa chính xác của điều đó là gì? Tôi cần một số trợ giúp ~

Answer 1

int foo(int); 
int bar(int, ...); 

đây là hai chức năng khác nhau. foo thuộc loại int(int). bar thuộc loại int(int,...).

... là kiểu chữ V, không được nhầm lẫn với đối số mẫu biến thiên cũng sử dụng ....

template <typename T, typename R, typename ...A> 
struct decay<T, R(A..., ...)> { using type = R(*)(A..., ...); }; 

này một phần của một thực hiện một phiên bản tối ưu hóa của std::decay trong boost::hana. Các phần typename T và T là các chuỗi màu đỏ, một phần của tối ưu hóa đó.

Đây là chuyên môn phù hợp với R(A..., ...), trong đó A... và R được suy ra từ chữ ký hàm.

Nếu bạn thông qua double(int, char, ...) như là đối số thứ 2 để hana::details::decay này, R sẽ double và A... sẽ int, char. Và ... sẽ "khớp với các biến thể kiểu C".

Mục đích của chuyên môn cụ thể này là để ánh xạ các chữ ký chức năng kết thúc bằng varargs kiểu C cho con trỏ đến cùng một chữ ký. Vì vậy, nó ánh xạ double(int, char, ...) đến double(*)(int, char, ...).

Biến thể kiểu C không giống với đối số biến thể mẫu. Họ ăn thịt nó.

Answer 2

Chuyên môn hóa này là một trong những chuyên môn ban hành phân rã của loại hàm thành loại con trỏ-to-chức năng tương ứng, phản ánh cách hàm phân rã phân rã thành hàm giá trị con trỏ.

Chuyên môn cụ thể này được sử dụng cho các hàm đối số biến (những người có danh sách tham số kết thúc bằng dấu ba chấm để nó chấp nhận đối số không khớp với bất kỳ tham số nào).