Question

C ++ 17为非类型模板参数提供了auto关键字。有没有办法将它与模板模板参数结合起来，然后可以将模板变量用作参数？

template <template <typename> auto X> // <-- This seems to be illegal
struct Foo
{
};

背景：
我想为type_vector类实现copy_if。由于我想要使用的所有条件都可用作模板变量，因此实现它的一种方法是：

template <typename Container, 
          template <typename> auto Condition> // If this were allowed
struct copy_if;

template <typename... Ts,
          template <typename> auto Condition>
struct copy_if<type_vector<Ts...>, Condition>
{
  using type = decltype(
      (type_vector<>{} + ... + 
          std::conditional_t<Condition<Ts>, 
                             type_vector<Ts>,
                             type_vector<>>{}));
};

当然，我可以将所有变量包装到具有值的模板结构中，但我宁愿避免这种情况。

Answer 1

也许额外的谓词参数（自c ++ 17以来可用的constexpr lambda）确定参数是否符合变量模板就足够了？

#include <algorithm>
#include <iostream>
#include <string>
#include <type_traits>

template <class T>
constexpr bool condition = true;

template <>
constexpr bool condition<int> = false;


template <class T>
struct tag { 
   using type = T;
};

template <class... Ts>
struct type_vector {
    template <class... Ts2>
    type_vector<Ts..., Ts2...> operator+(type_vector<Ts2...>);
};

template <class... Ts,
          class Predicate>
auto copy_if(type_vector<Ts...>, Predicate p)
{
  return decltype(
      (type_vector<>{} + ... + 
          std::conditional_t<p(tag<Ts>{}), 
                             type_vector<Ts>,
                             type_vector<>>{})){};
};

int main() {
    auto predicate = [](auto x){ return condition<typename decltype(x)::type>;};
    std::cout << typeid(decltype(copy_if(type_vector<int, float, double>{}, predicate))).name() << std::endl;
}

c ++ filt输出：

type_vector<float, double>

[live demo]

修改

使用人工标签调度参数类型时可能会觉得很麻烦。如果你想避免它，还有另一种方法。这个实际上避免调用lambda的operator()模板，它只是实例化它来评估结果类型（应该等同于std::true_type或std::false_type）：

#include <algorithm> #include <iostream> #include <string> #include <type_traits> template <class T> constexpr bool condition = true; template <> constexpr bool condition<int> = false; template <class... Ts> struct type_vector { template <class... Ts2> type_vector<Ts..., Ts2...> operator+(type_vector<Ts2...>); }; template <class... Ts, class Predicate> auto copy_if(type_vector<Ts...>, Predicate p) { return decltype( (type_vector<>{} + ... + std::conditional_t<decltype(p(std::declval<Ts>())){}, type_vector<Ts>, type_vector<>>{})){}; }; int main() { auto predicate = [](auto x){ return std::integral_constant<bool, condition<decltype(x)>>{};}; std::cout << typeid(decltype(copy_if(type_vector<int, float, double>{}, predicate))).name() << std::endl; }

[live demo]

模板变量可以用作模板参数（类似于类模板）吗？

1 个答案: