概念：要求类方法返回类型是同一个类的嵌套类型

Question

我正在尝试实现以下概念

template<typename T>
concept GameLogic = requires(T a)  {
    typename T::StateType;
    typename T::EventType;
    { a.initialState()->T::StateType }; // <-- relevant bit
};

我要强加 initialState() 返回类型是同一类的嵌套类型。

概念定义不会引发错误（gcc 9.2），但GameLogic 的以下实现无法满足要求：

class SimpleGameLogic {
public:

    using StateType = SimpleState;
    using EventType = SimpleEvent;

    StateType initialState() {
        return _initialState;
    }

private:
    StateType _initialState;

};

我已经尝试了上述语法的一些变体，但找不到合适的...或者这可能还没有实现？我做错了什么？

Answer 1

三个问题：

{ a.initialState()->T::StateType }; // <-- relevant bit

首先，语法错误，应该是：

{ a.initialState() } -> T::StateType;

第二，你错过了typename：

{ a.initialState() } -> typename T::StateType;

第三，在 C++20 中，我们不再有 -> Type（参见 this answer）。箭头右侧的东西必须是一个约束。比如：

{ a.initialState() } -> std::same_as<typename T::StateType>;

一旦你解决了这个问题，it works。