檢查C++ 0x參數包是否包含類型

Question

我想知道C++ 0x是否提供任何內置功能來檢查可變參數模板的參數包是否包含特定類型。今天，boost ::: mpl :: contains可以用來完成這一點，如果你使用boost :: mpl :: vector來替代適當的可變參數模板。但是，它有嚴重的編譯時間開銷。我想，C++ 0x對std :: is_same有編譯器級別的支持。所以我在想，如果像下面這樣的泛化也支持在這個編譯器。

template <typename... Args, typename What> 
struct is_present 
{ 
    enum { value = (What in Args...)? 1 : 0 }; 
}; 

Answer 1

不，你必須使用帶有可變參數模板（部分）專門做編譯時的計算是這樣的：

#include <type_traits> 

template < typename Tp, typename... List > 
struct contains : std::true_type {}; 

template < typename Tp, typename Head, typename... Rest > 
struct contains<Tp, Head, Rest...> 
: std::conditional< std::is_same<Tp, Head>::value, 
    std::true_type, 
    contains<Tp, Rest...> 
>::type {}; 

template < typename Tp > 
struct contains<Tp> : std::false_type {}; 

沒有爲可變參數模板只有另外一個內在的操作，那就是

template < typename... Types > 
struct typelist_len 
{ 
    const static size_t value = sizeof...(Types); 
}; 

你在哪裏得到「它有嚴重的編譯時間開銷」有：其計算參數列表例如長度sizeof操作符的特殊形式提升mpl從？我希望你不只是在這裏做出假設。 Boost mpl使用懶惰模板實例化等技術來嘗試減少編譯時間，而不是像天真模板元編程那樣爆炸。

Answer 2

如果您想避免手動類型遞歸，std::common_type在我看來是STL中唯一的實用程序，它是一個可變參數模板，因此它是唯一一個可能封裝遞歸的實用程序。

溶液1

std::common_type發現在一組類型的至少派生的類型。如果我們用類型來識別數字，特別是具有較少派生類型的高數字，它會找到一組中最大的數字。然後，我們必須將等同關係類型映射到一個推導級別。

using namespace std; 

struct base_one { enum { value = 1 }; }; 
struct derived_zero : base_one { enum { value = 0 }; }; 

template< typename A, typename B > 
struct type_equal { 
typedef derived_zero type; 
}; 

template< typename A > 
struct type_equal< A, A > { 
typedef base_one type; 
}; 

template< typename Key, typename ... Types > 
struct pack_any { 
enum { value = 
    common_type< typename type_equal< Key, Types >::type ... >::type::value }; 
}; 

解決方案2

我們可以破解common_type多一點。標準說

如果在 專業化 至少一個模板參數是用戶定義類型的程序可以專門此特徵。

並且準確地描述了它裏面的內容：遞歸部分專業化案例，應用二元運算符的案例和終端案例。實質上，它是一個通用的fold函數，您可以添加任何二進制操作。這裏我使用了另外，因爲它比OR更具信息性。請注意，is_same返回integral_constant。

template< typename Addend > 
struct type_sum { // need to define a dummy type to turn common_type into a sum 
    typedef Addend type; 
}; 

namespace std { // allowed to specialize this particular template 
template< typename LHS, typename RHS > 
struct common_type< type_sum<LHS>, type_sum<RHS> > { 
    typedef type_sum< integral_constant< int, 
    LHS::type::value + RHS::type::value > > type; // <= addition here 
}; 
} 

template< typename Key, typename ... Types > 
struct pack_count : integral_constant< int, 
common_type< type_sum< is_same< Key, Types > > ... >::type::type::value > {};