7

我想知道 C++0x 是否提供任何内置功能来检查可变参数模板的参数包是否包含特定类型。今天，如果您使用 boost::mpl::vector 作为可变参数模板的替代品，boost:::mpl::contains 可以用来完成此任务。但是，它具有严重的编译时间开销。我想，C++0x 对 std::is_same 有编译器级别的支持。所以我在想编译器是否也支持像下面这样的泛化。

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

3 回答 3

14

幸运的是，C++ 标准已经发展。使用 C++1z aka C++17，您终于可以轻松地迭代参数包。因此，答案的代码（几乎）就像问题中所建议的那样简单：

template<typename What, typename ... Args>
struct is_present {
    static constexpr bool value {(std::is_same_v<What, Args> || ...)};
};

奇怪的外观(std::is_same_v<What, Args> || ...)由编译器在内部扩展为(std::is_same_v<What, Args[0]> || std::is_same_v<What, Args[1]> || ...)，这正是您想要的。它甚至可以正确地产生false一个空的Args参数包。

甚至可以在函数或方法中内联进行整个检查 - 不再需要辅助结构：

template<typename T, typename ... List>
void foo(T t, List ... lst)
{
    if constexpr((std::is_same_v<T, List> || ...)) {
        std::cout << "T is in List" << std::endl;
    } else {
        std::cout << "T is not in List" << std::endl;
    }
}

注意：这取自另一个问题，该问题被标记为该问题的副本。由于这是该主题的“规范”问题，因此我在此处添加了重要信息。

于 2019-01-24T12:35:34.357 回答
7

不，您必须对可变参数模板使用（部分）特化来进行编译时计算，如下所示：

#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 {};

可变参数模板只有一个其他内在操作，即 sizeof 运算符的特殊形式，它计算参数列表的长度，例如：

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

你从哪里得到 boost mpl 的“它有严重的编译时间开销”？我希望你不只是在这里做假设。Boost mpl 使用惰性模板实例化等技术来尝试减少编译时间，而不是像幼稚的模板元编程那样爆炸。

于 2010-01-23T00:15:44.070 回答
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 > {};
于 2010-01-23T09:48:23.880 回答