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

Question

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

Answer 1

我们通过适当命名的类型要求来做到这一点：

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