如何在C++中判断容器是否支持反向遍历？

我正在编写一个可接收任意容器存储值的模板，需要判断传入模板包装器的容器是否支持反向遍历（规范表述为是否满足ReversibleContainer要求）。以下是一段简单代码示例：

using container = ... // 假设container别名代表作为模板参数传入的容器
                      // passed in as a template parameter
...
using reverse_iterator = std::conditional_t<???, container::reverse_iterator, container::iterator>;

请问是否存在对应的类型特性或其他解决方法？该如何实现这一判断？

C标准库没有直接提供检查ReversibleContainer的内置类型特性，但可以通过SFINAE（C11及以后）或std::void_t（C++17及以后）自定义类型特性来实现判断。

基础实现（检查核心嵌套类型） #

ReversibleContainer的核心要求之一是容器必须公开嵌套类型reverse_iterator，因此我们可以通过检查该类型是否存在来判断：

#include <type_traits>

// 基础模板，默认判定为不满足
template <typename T, typename = void>
struct is_reversible_container : std::false_type {};

// 偏特化：当T存在reverse_iterator嵌套类型时，判定为满足
template <typename T>
struct is_reversible_container<T, std::void_t<typename T::reverse_iterator>> : std::true_type {};

// 辅助变量模板，简化使用
template <typename T>
inline constexpr bool is_reversible_container_v = is_reversible_container<T>::value;

将其应用到你的代码中：

using container = ...; // 模板参数传入的容器
using reverse_iterator = std::conditional_t<
    is_reversible_container_v<container>,
    typename container::reverse_iterator,
    typename container::iterator
>;

严格实现（检查全部ReversibleContainer要求） #

如果需要严格符合标准中ReversibleContainer的全部要求（包括const_reverse_iterator及rbegin()/rend()等成员函数），可以扩展类型特性的检查条件：

template <typename T, typename = void>
struct is_reversible_container : std::false_type {};

template <typename T>
struct is_reversible_container<
    T,
    std::void_t<
        typename T::reverse_iterator,
        typename T::const_reverse_iterator,
        decltype(std::declval<T>().rbegin()),
        decltype(std::declval<T>().rend()),
        decltype(std::declval<const T>().crbegin()),
        decltype(std::declval<const T>().crend())
    >
> : std::true_type {};

补充说明 #

• 对于绝大多数场景，基础实现已经足够：标准库中的容器只要支持反向遍历，必然会定义reverse_iterator；自定义容器若遵循标准容器规范，也会遵循这一约定。
• 如果你使用C++20或更高版本，也可以用concept直接约束模板参数，例如：

  template <typename T>
  concept ReversibleContainer = requires(T c) {
      typename T::reverse_iterator;
      typename T::const_reverse_iterator;
      { c.rbegin() } -> std::same_as<typename T::reverse_iterator>;
      { c.rend() } -> std::same_as<typename T::reverse_iterator>;
      { std::as_const(c).crbegin() } -> std::same_as<typename T::const_reverse_iterator>;
      { std::as_const(c).crend() } -> std::same_as<typename T::const_reverse_iterator>;
  };
  
  // 使用concept约束模板
  template <ReversibleContainer Container>
  class YourWrapper {
      // ...
      using reverse_iterator = typename Container::reverse_iterator;
  };
  
  // 对于非可逆容器的分支，可以重载或使用if constexpr
  

内容的提问来源于stack exchange，提问作者Kaiyakha