必須のボディはブロックが評価されていないコンテキストですか？

Question

概念定義の本体またはブロックが未評価のコンテキストですか？例えば。 std::declvalは安全に使用できますか？

template<typename T> 
concept bool SomeConcept = requires(T a) { 
    { a.someFunction(std::declval<int>()) } -> int; 
}; 

Answer 1

はい。 N4641のように[temp.constr.expr]、言葉遣いから：

表現制約はテンプレート引数の置換により表現Eの形成に必要条件を指定する制約です。 Eの代入が失敗しなかった場合、式の制約が満たされます。 式制約内で、Eは評価されていないオペランド（第5項）です。

したがって、declvalを使用すると問題ありません。

要件の文脈の中で、私たちは実際には何を構築していないので、別の方法として、あなたはちょうどあなたが必要とする種類のオブジェクトを作成することができます。

template<typename T> 
concept bool SomeConcept = requires(T a, int i) { 
    { a.someFunction(std::move(i)) } -> int; 
};