Loại chức năng trong mẫu không biên dịch

Question

Tôi đã chơi với các tham số mẫu variadic bằng gcc 4.6.1. Các mã sau biên dịch như mong đợi:

template<typename RetType, typename... ArgTypes> 
class Event; 

template<typename RetType, typename... ArgTypes> 
class Event<RetType(ArgTypes...)> 
{ 
public: 
    typedef function<RetType(ArgTypes...)> CallbackType; 

    void emit(ArgTypes...args) 
    { 
     for (CallbackType callback : callbacks) 
     { 
      callback(args...); 
     } 
    } 

private: 
    vector<CallbackType> callbacks; 
}; 

Nhưng để ngạc nhiên của tôi phiên bản sau "bình thường" mà chỉ có một "Loại Đối số" không biên dịch:

template<typename RetType, typename ArgType> 
class Event; 

template<typename RetType, typename ArgType> 
class Event<RetType(ArgType)> // <- error: wrong number of template arguments (1, should be 2) 
{}; 

g ++ 4.6.1 cho lỗi như trong bình luận.

Bất kỳ ai biết tại sao nó gây ra lỗi và cách làm cho nó hoạt động? Ngoài ra, tôi có đúng trong suy nghĩ mã trên là một hình thức "mẫu chuyên môn hóa một phần"?

Answer 1

template<typename RetType, typename ArgType> 
class Event; 

hy vọng 2 đối số mẫu, RetType và ArgType, bạn chỉ cung cấp cho nó một RetType(ArgType).

template<typename RetType, typename... ArgType> 
class Event; 

hy vọng 1 hoặc nhiều đối số mẫu, RetType và tùy chọnArgType s.

Answer 2

Tôi nghĩ rằng lỗi là do thực tế là nếu mẫu không phải là variadic, thì cpomiler mong đợi biểu mẫu chuẩn, đó là lớp Event<templateArg1, templateArg2>, rõ ràng không phải là những gì bạn đang cung cấp.

Giới thiệu về chuyên môn mẫu: Tôi không đồng ý, nếu tôi không sai những gì bạn đang làm có để chuyển tiếp khai báo lớp Event, sau đó khai báo hiệu quả chỉ 2 dòng sau.

Answer 3

Nếu bạn muốn chắc phiên bản của riêng bạn std::function cho vui, nó sẽ giống như thế này:

template<class Signature> 
class Event; 

template<class R, class... Args> 
class Event<R(Args...)>{ 
    // ... 
}; 

Tại sao phiên bản đầu tiên của bạn hoạt động đã được giải thích bởi @ronag, một gói thông số (... trong mẫu tham số) có nghĩa là không hoặc hơn. Mã tôi đã cung cấp ở trên vẫn là chữ ký chính xác nếu bạn muốn một lớp std::/boost::function giống như (int(int, double, char) là một loại chức năng, đó là lý do tại sao nó có thể phù hợp với một tuyên bố kiểu đơn như class Signature).