如何使用C++ concepts约束模板参数为可迭代范围类型

1. 可行性与适用性说明 #

完全可以通过C++20 Concepts实现模板参数的可迭代约束，且该场景非常适合使用Concepts：

• 约束意图直接体现在代码中，可读性远高于传统SFINAE实现
• 编译期报错更精准，不会输出冗长无意义的模板实例化栈信息
• 标准库已经提供了对应场景的现成Concept，不需要手动实现复杂的类型判断逻辑

2. 场景适配实现 #

你需要根据实际参数类型选择对应的约束方案：

方案1：约束参数为迭代器类型（匹配你当前的代码写法） #

如果你的函数接收的是单独的迭代器参数，直接使用<iterator>头文件中标准库预定义的迭代器分层Concept即可：

#include <iterator>

// 示例：约束为至少支持随机访问的迭代器，可根据实现需求替换为其他迭代器Concept
template<std::random_access_iterator T>
decltype(auto) find_median_sorted(T begin)
{
  // some code here
}

标准库提供的迭代器Concept分层如下，可按需选择：

• std::input_iterator：基础可读迭代器，支持单次遍历
• std::forward_iterator：支持多次遍历的正向迭代器
• std::bidirectional_iterator：支持双向移动的迭代器
• std::random_access_iterator：支持O(1)随机偏移的迭代器

方案2：约束参数为完整可迭代对象（容器/范围） #

如果你的函数实际接收的是完整的可迭代对象（比如STL容器、自定义可迭代类），可以使用<ranges>头文件中的std::ranges::range Concept：

#include <ranges>
#include <iterator>

template<std::ranges::range T>
decltype(auto) find_median_sorted(T&& iterable_obj)
{
  auto begin = std::ranges::begin(iterable_obj);
  // some code here
}

3. 自定义可迭代Concept的写法（兼容特殊场景） #

如果需要手动实现可迭代判断逻辑（比如要兼容一些自定义的特殊可迭代类型），可以参考如下写法，核心是判断类型是否支持begin()和end()调用，且返回值符合迭代器要求：

template<typename T>
concept CustomIterable = requires(T t) {
  { t.begin() } -> std::input_iterator;
  { t.end() } -> std::sentinel_for<decltype(t.begin())>;
};

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