Mẫu lớp có tên trùng lặp?

Question

Có thể định nghĩa hai lớp mẫu khác nhau (theo số đối số mẫu) có cùng tên không?

Dưới đây là những gì tôi đang cố gắng để làm:

namespace MyNamespace 
{ 

template<class TRet> 
class FunctionObject 
{ 
    typedef typename TRet ReturnType; 
    virtual ReturnType const operator()() const = 0; 
}; 


template<class TRet, class TArg0> 
class FunctionObject 
{ 
    typedef typename TRet ReturnType; 
    typedef typename TArg0 FirstArgumentType; 
    virtual ReturnType const operator()(FirstArgumentType const &arg) const = 0; 
}; 

} 

tôi nhận được một lỗi nhắc đến quá nhiều đối số mẫu vào cuối đóng khung của định nghĩa FunctionObject struct thứ hai.

Tôi biết điều này có thể được thực hiện trong C#, nhưng không chắc chắn về C++. Ai đó có thể làm sáng tỏ một chút ở đây không?

Answer 1

Tôi nghĩ rằng chuyên môn hóa từng phần sẽ làm các trick:

namespace MyNamespace { 

    template<class TRet, class TArg0> 
    class FunctionObject 
    { 
     typedef typename TRet ReturnType; 
     typedef typename TArg0 FirstArgumentType; 
     virtual ReturnType const operator()(FirstArgumentType const &arg) const = 0; 
    }; 

    template<class TRet> 
    class FunctionObject<TRet,void> 
    { 
     typedef typename TRet ReturnType; 
     virtual ReturnType const operator()() const = 0; 
    }; 

} 

Bạn cũng có thể bắt đầu với một mẫu tiểu học với nhiều hơn một tham số.

Tôi nghĩ C++ 11 mẫu variadic của nó cho phép điều này tiện lợi hơn, nhưng tôi đã không có thời gian để chơi với điều này, vì vậy tôi nên để điều đó cho người khác thể hiện.

Answer 2

Tôi tin rằng một cái gì đó như thế này cũng sẽ làm việc, nhưng có lớp học riêng biệt có thể không là những gì bạn đang tìm kiếm:

namespace MyNamespace 
    { 

     class AbstractFunctionObject 
     { 
     //shared functionality here 
     }; 

     template<class TRet> 
     class ConcreteFunctionObjectA : AbstractFunctionObject 
     { 
     typedef typename TRet ReturnType; 
     virtual ReturnType const operator()() const = 0; 
     }; 


     template<class TRet, class TArg0> 
     class ConcreteFunctionObjectB : AbstractFunctionObject 
     { 
     typedef typename TRet ReturnType; 
     typedef typename TArg0 FirstArgumentType; 
     virtual ReturnType const operator()(FirstArgumentType const &arg) const = 0; 
     }; 

    } 

Answer 3

Tôi nghĩ bạn có thể làm cho nó làm việc với một lớp mẫu, cung cấp loại mặc định luận cho tham số mẫu thứ hai như:

struct null_type {}; 

template<class TRet, class TArg0 = null_type> 
class FunctionObject 
{ 
    typedef typename TRet ReturnType; 
    typedef typename TArg0 FirstArgumentType; 

    //both functions here 
    virtual ReturnType const operator()() const = 0; 

    virtual ReturnType const operator()(FirstArgumentType const &arg) const = 0; 
}; 

Answer 4

để hiển thị SBI đã gợi ý variadic mẫu giải pháp:

namespace MyNamespace { 

    template<typename...> FunctionObject; 

    template<class TRet, class TArg0> 
    class FunctionObject<TRet,TArg0> 
    { 
     typedef typename TRet ReturnType; 
     typedef typename TArg0 FirstArgumentType; 
     virtual ReturnType const operator()(FirstArgumentType const &arg) const = 0; 
    }; 

    template<class TRet> 
    class FunctionObject<TRet> 
    { 
     typedef typename TRet ReturnType; 
     virtual ReturnType const operator()() const = 0; 
    }; 

} 

Bây giờ bạn có thể thêm chuyên môn theo bất kỳ thứ tự nào bạn muốn, mà không sửa đổi các mẫu khác (trừ khi số lượng/loại tham số mẫu xung đột).