如何测试一个类型是否存在于一个概念中？

Question

如何测试概念模板参数中是否存在成员类型，即对于typename Container，测试Container::reverse_iterator？什么是正确的 requires 子句？

Answer 1

我们使用恰当命名的type requirement：

template<class Container>
concept has_reverse_iterator = requires {
    typename Container::reverse_iterator;
};