C++ 需要带有反向返回类型概念检查的表达式

Question

我尝试使用 requires 表达式定义一个概念，该表达式检查类型上是否存在某些成员函数。
我遇到的问题是，必须为返回类型检查插入一个概念，而无需任何前面的 bool 操作，例如“not”。如果需要，这迫使我也为逆写概念，这不是很方便。
有什么我遗漏的或其他好的方法吗？
简单的例子:

template <typename T>
concept IsReference = std::is_reference_v<T>;

template <typename T>
concept HasSomeFunction = requires (T t) {
    {t.func()} -> IsReference; /* this is ok */
    {t.anotherFunc()} -> (not IsReference); /* this is not ok */
};

Answer 1

这是适用于最新的 gcc 和 clang 的语法。

template <typename T>
concept HasSomeFunction = requires (T t) {
    {t.func()} -> IsReference; /* this is ok */
    requires !IsReference<decltype(t.anotherFunc())>;
};

Demo
读起来有点难。也许对概念有更多经验的人可以提供更好的解决方案。