c++ - 检查模板类型 T 是否是 C++17 中可变参数包的一部分

Question

我想检查类型 T 是否也是参数包 Ts 的一部分。有solutions在 C++14 中执行此操作，但我正在徘徊是否可以在 C++17 中对此进行简化。如果在 Ts 中找不到 T，编译器应该停止(static_assertion 应该失败)。

template<typename... Ts>
class A
{
  template<typename T>
  void action() {
    // check that T is also in Ts (static_assertion)
  }
}

Answer 1

我听说折叠表达式是新热点:

static_assert((std::is_same_v<T, Ts> || ...));