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

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（请参阅此答案）。箭头右侧的东西必须是约束。就像是：

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

一旦你解决了这个问题，它就会起作用。