C++ 11比較參數包

Question

我想繞過參數包，需要一點幫助。

看看下面這個人爲的例子，有沒有辦法將Args與T進行比較，並且只有在匹配時才允許bar()編譯？例如，如果我創建Task<void(int, char, float)>我想bar(float, char, float)不編譯，但bar(int, char, float)編譯得很好。這是否可行？

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

template<typename T> 
struct Task; 

template<typename R, typename...Args> 
struct Task<R(Args...)> 
{ 
    template<typename... T> 
    std::enable_if<is_same<T, Args> 
    void bar(T... args) 
    { 
     //do something here 
    }   
}; 

int main() 
{ 
    Task<int(int)> task; 
    int a = 0; 
    float b = 1.0; 
    bool c = false; 

    //compiles 
    task.bar(a); 

    //none of these should compile 
    task.bar(b); 
    task.bar(c); 
    task.bar(a, b); 
    task.bar(a, b, c); 
} 

Answer 1

首先，語法應爲：

template<typename R, typename...Args> 
struct Task<R(Args...)> 
{ 
    template<typename... T> 
    std::enable_if<is_same<tuple<T...>, tuple<Args...> >::value > bar(T... args) 
    { 
     //do something here 
    }   
}; 

哪個編譯罰款，因爲SFINAE的：當試圖實例bar(bool)例如，第一個實例失敗，布爾型，但一個實例存在執行時轉換參數的類型爲int。

爲了獲得預期的效果，你需要的硬型檢查實例化模板後發生：

#include <type_traits> 
#include <tuple> 

template<typename T> 
struct Task; 

template<typename R, typename... Args> 
struct Task<R(Args...)> 
{ 
    template<typename... OtherArgs> 
    void bar(OtherArgs... otherArgs) 
    { 
     static_assert(
      std::is_same<std::tuple<Args...>, std::tuple<OtherArgs...> >::value, 
      "Use same args types !" 
     ); 
     // Do something 
    } 
}; 

int main() 
{ 
    Task<int(int)> task; 
    // Compiles fine 
    task.bar(1); 
    // Fails to compile 
    task.bar('u'); 
    task.bar(0ul); 
    return 0; 
}