c++ - 如何测试概念中是否存在类型？

Question

如何测试概念模板参数中是否存在成员类型，即对于 typename Container , 测试 Container::reverse_iterator ?什么是正确的要求条款？

Answer 1

我们使用恰当命名的 type requirement 来做到这一点。 :

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