C++23编译自定义迭代器时出现‘atomic constraint depends on itself’错误

问题重现 #

我实现了一个symbol_iter迭代器类，用于逐个遍历string_view并处理转义符\和<>包裹的特殊内容。在C2a（C20预览版）下编译运行完全正常，但切换到C++23标准编译时，触发了如下错误：

/usr/include/c++/11/bits/ranges_base.h:574:21: error: satisfaction of atomic constraint ‘requires(_Tp& __t) {std::ranges::__cust::begin(__t);std::ranges::__cust::end(__t);} [with _Tp = _Range]’ depends on itself

即使移除main函数中的range-for循环、完全不引用symbol_iter类，错误依然存在。而将类中除operator*外的UStringView改为UStringView*后，错误消失。

错误原因 #

问题出在symbol_iter类自身定义了begin()和end()成员函数。在C++23的std::ranges::range概念检查逻辑中，编译器会尝试判断任意类型是否满足range要求——当检查symbol_iter时，会调用其成员begin()，而该函数返回的又是symbol_iter对象，导致编译器递归检查symbol_iter是否为range，形成自依赖的约束循环，最终触发编译错误。

C20（C2a）的range概念检查规则相对宽松，没有严格检测这种递归依赖，因此代码可以正常编译。而将成员类型改为指针后，begin()返回的迭代器不会关联到原类，打破了递归检查的循环，因此错误修复。

解决方案 #

symbol_iter的本质是迭代器，而非range（范围），不应该自身提供begin()和end()方法。正确的做法是拆分迭代器和范围的职责：

步骤1：移除迭代器类中的begin()和end()成员 #

删除symbol_iter类内的以下两个成员函数：

symbol_iter begin();
symbol_iter end();

步骤2：补充标准迭代器关联类型 #

为了让symbol_iter符合C++标准迭代器的概念要求，在类内添加关联类型定义：

class symbol_iter
{
private:
  UStringView str;
  UStringView::size_type sloc = 0;
  UStringView::size_type eloc = 0;
public:
  // 补充迭代器关联类型
  using value_type = UStringView;
  using reference = UStringView;
  using pointer = const UStringView*;
  using difference_type = std::ptrdiff_t;
  using iterator_category = std::input_iterator_tag;

  // ... 其他原有成员 ...
};

同时将operator*改为const成员函数（符合迭代器的const正确性要求）：

UStringView operator*() const {
  return str.substr(sloc, eloc - sloc);
}

步骤3：创建范围包装类 #

定义一个专门的symbol_range类来提供begin()和end()，作为range-for循环的对象：

class symbol_range {
private:
    UStringView str;
public:
    explicit symbol_range(UStringView s) : str(s) {}

    symbol_iter begin() const {
        return symbol_iter(str);
    }

    symbol_iter end() const {
        symbol_iter ret(str);
        ret.sloc = str.size();
        ret.eloc = str.size();
        return ret;
    }
};

步骤4：修改main函数中的range-for循环 #

将原来直接使用symbol_iter的地方改为使用symbol_range：

int main(int argc, char** argv) {
  UStringView name(argv[1]);
  for (auto sym : symbol_range(name)) {
    std::cout << sym << std::endl;
  }
}

验证修改 #

修改后使用C++23标准编译：

$ g++ --std=c++23 main.cc
$ ./a.out 'xyz<q>'
x
y
z
<q>

程序运行结果与C++2a下一致，编译错误彻底解决。

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