c++ - 是否可以使用 Boost 概念检查库来验证方法返回类型？

Question

我已经开始使用 Boost concept check library .但是，看了文档后，我似乎没有找到一种方法来验证概念中的方法是否返回某种类型。但是，我也没有看到任何说明这是不可能的，这很奇怪。

那么，是否可以编写一个如果返回类型不正确就会失败的概念？

Answer 1

double pi(){
    return 3.1415;
}

int main(){
    int int_pi{pi()};
}

当使用{} 初始化变量时需要转换导致信息丢失，这是编译错误。

或者:

#include <type_traits>
int main(){
    static_assert(std::is_same<decltype(pi()), double>::value, "pi() must return double");
}

我认为第二个代码不需要任何注释。