Ý nghĩa của mã thông báo “……” là gì? tức là toán tử dấu chấm lửng kép trên gói tham số

Trong khi duyệt qua việc triển khai tiêu đề C ++ 11 mới hiện tại của gcc, tôi tình cờ gặp mã thông báo "......". Bạn có thể kiểm tra xem đoạn mã sau có biên dịch tốt không [qua ideone.com].

template <typename T>
struct X
{ /* ... */ };

template <typename T, typename ... U>
struct X<T(U......)> // this line is the important one
{ /* ... */ };

Vậy, ý nghĩa của mã thông báo này là gì?

chỉnh sửa: Có vẻ như SO đã cắt "......" trong tiêu đề câu hỏi thành "...", ý tôi thực sự là "......". :)

Mọi trường hợp của sự kỳ lạ đó được ghép nối với một trường hợp của một dấu chấm lửng đơn thông thường.

  template<typename _Res, typename... _ArgTypes>
    struct _Weak_result_type_impl<_Res(_ArgTypes...)>
    { typedef _Res result_type; };

  template<typename _Res, typename... _ArgTypes>
    struct _Weak_result_type_impl<_Res(_ArgTypes......)>
    { typedef _Res result_type; };

  template<typename _Res, typename... _ArgTypes>
    struct _Weak_result_type_impl<_Res(_ArgTypes...) const>
    { typedef _Res result_type; };

  template<typename _Res, typename... _ArgTypes>
    struct _Weak_result_type_impl<_Res(_ArgTypes......) const>
    { typedef _Res result_type; };

Tôi đoán rằng dấu chấm lửng kép có ý nghĩa tương tự với _ArgTypes..., ..., tức là một mở rộng mẫu đa dạng theo sau là danh sách các varargs kiểu C.

Đây là một bài kiểm tra hỗ trợ lý thuyết đó… Tôi nghĩ chúng ta có một người chiến thắng mới cho toán tử giả tồi nhất từ ​​trước đến nay.

Chỉnh sửa: Điều này có vẻ là phù hợp. §8.3.5 / 3 mô tả một cách để tạo danh sách tham số là

tham số-khai báo-danh sách _{lựa chọn} ... _{lựa chọn}

Vì vậy, dấu ba chấm kép được hình thành bởi một danh sách khai báo tham số kết thúc bằng một gói tham số, theo sau là một dấu chấm lửng khác.

Dấu phẩy hoàn toàn là tùy chọn; §8.3.5 / 4 không nói

Nếu đúng về mặt cú pháp và “...” không phải là một phần của bộ khai báo trừu tượng, thì “, ...” đồng nghĩa với “...”.

Đây là bên trong một bộ khai báo trừu tượng, [sửa] nhưng Johannes nói rõ rằng họ đang đề cập đến một bộ khai báo trừu tượng trong một khai báo tham số. Tôi tự hỏi tại sao họ không nói "một phần của khai báo tham số" và tại sao câu đó không chỉ là một ghi chú thông tin…

Hơn nữa, va_begin()trong <cstdarg>yêu cầu một tham số trước danh sách varargs, vì vậy nguyên mẫu f(...)được C ++ cho phép cụ thể là vô dụng. Tham chiếu chéo với C99, nó là bất hợp pháp ở đồng bằng C. Vì vậy, điều này là kỳ lạ nhất.

Chú thích sử dụng

Theo yêu cầu, đây là minh họa về dấu chấm lửng kép:

#include <cstdio>
#include <string>

template< typename T >
T const &printf_helper( T const &x )
    { return x; }

char const *printf_helper( std::string const &x )
    { return x.c_str(); }

template< typename ... Req, typename ... Given >
int wrap_printf( int (*fn)( Req... ... ), Given ... args ) {
    return fn( printf_helper( args ) ... );
}

int main() {
    wrap_printf( &std::printf, "Hello %s\n", std::string( "world!" ) );
    wrap_printf( &std::fprintf, stderr, std::string( "Error %d" ), 5 );
}

trên vs2015 phân tách dấu phẩy là điều cần thiết trong phiên bản mẫu:

    template <typename T, typename ... U>
    struct X<T(U...,...)> {};// this line is the important one

một ví dụ thuyết minh là:

    X<int(int...)> my_va_func;

trân trọng, FM.