概念返回类型要求语法二对一模板参数

Question

我想知道std::same_as 是如何定义的，以及我们如何在概念或需求中使用它。

例子：

void f1() { } 
bool f2() { return true; }

template < typename T>
void Do( T func )
{
    if constexpr ( requires { { func() } -> std::same_as<bool>; } ) 
    {   
        std::cout << "Func returns bool " << std::endl;
    }   

    if constexpr ( requires { { func() } -> std::same_as<void>; } ) 
    {   
        std::cout << "Func returns void " << std::endl;
    }   
}

int main()
{
    Do( f1 );
    Do( f2 );
}

按预期工作。

但如果我查看std::same_as 的定义，我会发现一个可能的实现：

namespace detail {
    template< class T, class U >
    concept SameHelper = std::is_same_v<T, U>;
}
 
template< class T, class U >
concept same_as = detail::SameHelper<T, U> && detail::SameHelper<U, T>;

让我感到奇怪的是，在这种情况下，我看到了两个模板参数 T 和 U，而我们只需要编写一个像 { { func() } -> std::same_as<bool>; } 这样的模板参数。

在这种情况下，{ { func() } -> std::same_as<bool>; } 会被转换为std::same_as<magic_return_type, bool>，这是一种魔法吗？

Answer 1

concept 通常类似于constexpr inline bool 变量模板。但是，它确实具有特殊属性。关于这个问题，concept 的第一个模板参数是类型是一种特殊的概念：“类型概念”。

在某些地方，可以在没有第一个模板参数的情况下使用类型概念。在这些地方，第一个参数将根据它的使用方式推导出来。

在requires 表达式的复合需求中，类型概念是-> 之后的内容。 The first parameter of the concept will be filled in by the type of the expression E in the {}, as if by decltype((E)).