代码之家 › 专栏 › 技术社区 › dani

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

c++17 variadic-templates c++

dani · 技术社区 · 7 年前

T Ts .有 solutions 这在C++14中可以实现,但我想知道这是否可以在C++17中简化在中找不到

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

3 回复 | 直到 7 年前

Barry 7 年前

我听说褶皱表情是新的热点:

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

Columbo 7 年前

如果您更喜欢库特征:

static_assert(std::disjunction_v<std::is_same<T, Ts>...>);

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

(从@Barry那里偷来的。)

SergeyA 7 年前

template<typename... Ts>
class A
{
  template<typename T>
  void action() {
    static_assert((... || std::is_same_v<T, Ts>)), "Not!")
  }
}

推荐文章

Roman · 级联可变模板参数

2 年前

Joald · 使用折叠表达式检查可变模板参数是否唯一

7 年前

sylvain · 可变模板和SFINAE

7 年前

Kirill Korolev · 可变模板和函数覆盖

7 年前

Graznarak · 静态断言引用封闭模板类

7 年前

sjaustirni Keyki · 如何使用模板创建编译时类字段?

7 年前

user8922003 · C++boost::boost的accept处理程序中的asio可变模板运算符::asio::basic\u socket\u acceptor::async\u accept()

7 年前

Belfer4 · 如何在类模板整数列表上展开?

7 年前

definelicht · 根据函数签名将变量模板中的类型作为值/引用转发

7 年前

John Wayne · 使用enable\u if禁用模板类的模板构造函数

7 年前