Ben <pre><code>template<typename... Types> struct TypeList {}; </code></pre> <p></p> Şimdi başka sınıfta ben üretebilir tipi listesinin çeşit

Question

varsayalım yabancı parametre paketten alınan bağımsız değişken türleri ile bir işlev bildirilmesi böyle çeşitli şekillerde bir TypeList.

template<class T> struct MyClass { 
    using MyList = TypeList<T, typename Something<T>::type, SomethingElse>; 
    // ... 
}; 

Bu tür listeden çıkarılan argüman türleriyle bir yöntemi nasıl bildirebilirim? Ben MyList = TypeList<int, float, const char*> set Örneğin, ben

void my_method(int, float, const char*) 

ilan edilmesi için bir yöntem diliyorum.

Answer 1

yöntemden uygulayan bir temel sınıf türetmek olabilir: Eğer yapacaksın

template <typename> struct MethodProvider; 

template <typename ...Args> 
struct MethodProvider<TypeList<Args...>> 
{ 
    void my_method(Args ...args); 
}; 

template <typename T> 
struct MyClassAux 
{ 
    using MyList = TypeList<T, typename Something<T>::type, SomethingElse>; 
}; 

template <typename T> 
struct MyClass 
    : private MyClassAux<T> 
    , private MethodProvider<typename MyClassAux<T>::MyList> 
{ 
    using typename MyClassAux<T>::MyList; 
    using MethodProvider<typename MyClassAux<T>::MyList>::my_method; 

    // ... 
}; 

Answer 2

Sen my_method

#include <iostream> 
#include <string> 
#include <vector> 
#include <type_traits> 

template<typename... Types> struct TypeList {}; 

template<class T> struct MyClass { 
    using MyList = TypeList<int, T>; 

    template<typename ...Args> 
    void my_method(Args ...args) { 
     static_assert(std::is_same<MyList, TypeList<Args...>>::value, "invalid arguments"); 
     auto dummy = {(std::cout << args << "\n", 0)...}; 
     (void)(dummy); // avoid variable warning 
    } 
}; 

int main() 
{ 
    MyClass<float> c; 
    c.my_method(1, 2.3f); 
// c.my_method(1, ""); // unmatched arguments won't compile 
// c.my_method(1); 
} 

Online Demo