関数概念の戻り値の型（ブールでなければならない）

Question

このページhttp://en.cppreference.com/w/cpp/language/constraintsは、関数概念の戻り値の型がboolでなければならないことを示します。ここにオプションが1つしかない場合、最初に戻り値の型を指定する必要がある根拠は何ですか？なぜだけではなく、この構文のようなもので行く

：

template <typename T> 
concept DumbConcept() { 
    return requires(T a,T b) { 
     requires std::is_same<decltype(a+b),bool>::value; 
    }; 
} 

Answer 1

戻り値の型を必要とする論理的根拠は、最初の場所で指定されるものをここで一つだけのオプションがある場合は？

これは関数であり、関数には戻り値の型があるためです。いいえ、それはそれが正当な理由でした。

C++ 20に採用された概念のバージョンには、機能概念は含まれていませんでした。また、変数の概念の一部にboolも含まれていませんでした。あなたが指摘しているように、それは冗長です。