ラムダファンクタ引数にrequires句を使用するには？

Question

ラムダファンクタの引数に一般的なrequires節を適用する方法はありますか？

引数に照合してチェックしたい2つの制約C1とC2があるとします。私は似た構文が機能するために許可されているので、次のように動作するように期待されるだろう：私の愚見ではGCC 6

Answer 1

で

[](auto x) requires C1<decltype(x)> && C2<decltype(x)> { 
    // ... 
} 

しかし、このwon't compileをしてConcepts TS§5.1.4/ C4に基づいて必要式は[expr.prim.req]（強調鉱山）：

Aのみコンセプトdefin内に表示されなければなら-expressionが必要です（7.1.7）、またはテンプレート宣言 （箇条14）または関数宣言（8.3.5）の要求節内に記述することができます。

上記の引用は、具体的requires句が表示されることが文脈を指示し、ラムダはその一つではありません。

Concequently、

[](auto x) requires C1<decltype(x)> && C2<decltype(x)> { 
    // ... 
} 

は有効ではありません。 5.1.2ラムダ式[expr.prim.lambda]でしかし

、次の例があります：

template<typename T> concept bool C = true; 
auto gl = [](C& a, C* b) { a = *b; }; // OK: denotes a generic lambda 

だから私は、あなたが以下のようにしたいものを達成でき、推測：

template <class T> concept bool C1 = true;           
template <class T> concept bool C2 = true; 
template <class T> concept bool C3 = C1<T> && C2<T>; // Define a concept that combines 
                // `C1` and `C2` requirements.     

int main() {                  
    auto f = [](C3 x) { /* Do what ever */ }; // OK generic lambda that requires input 
              // argument satisfy `C1` and `C2`                               
} 

Live Demo