递增std::vector<int>::iterator时类型是否改变？C++20概念校验报错

核心问题 #

你的concept校验失败，是因为标准迭代器的前置递增运算符返回的是迭代器的引用类型，而非你预期的值类型。

比如std::vector<int>::iterator的++it，实际返回类型是std::vector<int>::iterator&，但你用std::same_as<Iter>要求返回类型严格等于Iter（值类型），类型不匹配导致校验不通过。

修复方案 #

方案1：匹配实际返回的引用类型 #

直接将约束改为校验返回类型是Iter&，完全贴合标准迭代器的行为：

#include <vector>
#include <concepts> // 必须包含此头文件使用std::same_as

template<typename Iter>
concept Iterable = requires(Iter it){
    { ++it } -> std::same_as<Iter&>; // 匹配前置递增的实际返回类型
};

template<typename Iter>
requires Iterable<Iter>
void doesNothing(Iter current, Iter end){
    while(current != end){
        ++current;
    }
};

int main(){
    std::vector<int> v = {1, 2, 3};
    doesNothing(v.begin(), v.end());
    return 0;
}

方案2：使用宽松的转换约束 #

如果不需要严格匹配引用类型，只关心返回值可以转换为Iter，可以用std::convertible_to：

#include <vector>
#include <concepts>

template<typename Iter>
concept Iterable = requires(Iter it){
    { ++it } -> std::convertible_to<Iter>;
};

// 后续函数与main函数代码不变

额外说明 #

标准迭代器前置递增返回引用是C++迭代器模型的规定，目的是支持链式操作（如++++it）并避免拷贝开销。你提到的相关场景中decltype(auto)返回引用的问题，本质和这个案例一致——都是混淆了函数/运算符返回的引用类型和值类型。

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