テンプレート型Tがでvaradicパラメータパックの一部であることを確認するC++ 17

Question

私はタイプ Tもパラメータパック Tsの一部であることを確認したい

。 C++ 14ではこれを行うsolutionsがありますが、これをC++ 17で単純化できれば私は迷っています。 がTsに見つからない場合、コンパイラは停止する必要があります（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> || ...)); 

Answer 2

倍式を持つC++での十分な簡単：

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

Answer 3

ライブラリ形質を希望する場合：

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

これはショア（おそらくここではあまり有益ではないが、留意すべきことがある）。 （@Barryから盗まれた。）

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