C ++可变参数模板参数的数量

伯纳德

有一个可变参数模板简单，我可以专注它，所以它只能接受TStringConstant这是string_constant一些charS：

template <typename TStringConstant, typename TValue>
class entry;

template <char... key, typename TValue>
class entry<string_constant<key...>, TValue>{}

如果我想创建一个模板类，该模板类接受可变的TStringConstants个不同的chars，是否有办法做到这一点？也许带有模板模板参数？

因此，以下所有内容均有效：

entry_list<string_constant<'c','b','a'>, string_constant<'d','e','f','g'>>();
entry_list<string_constant<'c','b','a'>, string_constant<'d','e','f','g'>, string_constant<'d','e','z','z'>>();
entry_list<string_constant<'a','b','c'>>();

如果它会entry_list<something_else<'c','b','a'>>像entry<something_else<'c','b','a'>, bool>无法编译一样拒绝，则奖励。

博洛夫

您可以使用static_assert。我不知道如何以一种Sfinae友好的方式来实现它，但是我想您对此并不在意。

因此，它去了：

template <class... Args> struct entry {
    static_assert(are_string_constant<Args...>::value, "invalid template args for entry");
};

auto test()
{
  entry<string_constant<'c', 'd'>> e1; // OK
  entry<string_constant<'c', 'd'>, string_constant<'a', 'b', 'c', 'd'>> e2; // OK

  // entry<int,
  //       string_constant<'c', 'd'>,
  //       string_constant<'a', 'b', 'c', 'd'>> e3; // static_assert kicks in

  // entry<definitely_not_string_constant<'c', 'd'>,
  //       string_constant<'a', 'b', 'c', 'd'>> e4; // static_assert kicks in


}

的构建are_string_constant非常简单：

template <char... Args> struct string_constant {};
template <char... Args> struct definitely_not_string_constant {};

// --- is_string_constant -----

template <class T> struct is_string_constant : std::false_type {};

template <char... Args>
struct is_string_constant<string_constant<Args...>> : std::true_type {};

// --- are_string_constant -----    

template <class... Args> struct are_string_constant;

template <class A0, class... Args>
struct are_string_constant<A0, Args...>
     : std::integral_constant<bool, (is_string_constant<A0>::value &&
                                     are_string_constant<Args...>::value)>::type
{};

template <class T> struct are_string_constant<T> : is_string_constant<T>::type {};

在c ++ 17中，使用fold表达式更容易实现（因为您不需要are_string_constant）：

template <class... Args>
struct entry {
    static_assert((... && is_string_constant<Args>::value),
                  "invalid template args for entry");
};

本文收集自互联网，转载请注明来源。

如有侵权，请联系 [email protected] 删除。