为何C++20 std::ranges::range概念的要求看似具有误导性？

问题描述 #

在让自定义类满足C++20的std::ranges::range概念时遇到困惑，示例代码如下：

struct C1
{
    int* begin();
    int* end();
};

static_assert(std::ranges::range<C1>);  // 编译通过

struct C2 {};

namespace std::ranges    // (A)
{
    auto begin(C2&);
    auto end(C2&);
}

static_assert(std::ranges::range<C2>);  // 编译失败

std::ranges::range的概念定义为：

template <class _Rng>
concept range = requires(_Rng& __r) {
  std::ranges::begin(__r);
  std::ranges::end(__r);
};

按字面理解在(A)处实现全局函数却无法让C2满足range概念，但像C1那样定义成员函数可行，且生产代码中已定义返回迭代器的begin/end函数仍不满足该概念，需要解释原因。

原因解析 #

1. std::ranges::begin/end的查找规则 #

std::ranges::begin和std::ranges::end是定制点对象（CPO），它们的查找逻辑并非直接调用std::ranges命名空间下的普通函数，而是遵循严格优先级：

• 优先查找成员函数：首先检查目标对象是否有可调用的begin()/end()成员函数，这也是C1能通过断言的原因。
• ADL查找非成员函数：如果没有合适的成员函数，会通过**参数依赖查找（ADL）**查找目标类型关联命名空间中的非成员begin/end函数，但会排除std命名空间（避免污染标准库）。
• 标准库默认实现：仅当上述两步都失败时，才会尝试std::ranges中的默认实现（仅适用于数组等标准类型）。

2. C2编译失败的核心原因 #

你将C2的begin/end函数放在了std::ranges命名空间中，但C2本身属于全局命名空间，ADL只会查找C2所在的关联命名空间（全局命名空间），不会去std::ranges中查找对应的非成员函数，因此std::ranges::begin(C2&)无法找到匹配的实现，导致range概念不满足。

3. 正确的非成员函数实现方式 #

对于自定义类型C2，应将非成员begin/end函数放在类型所在的命名空间（这里是全局命名空间），而非std::ranges：

struct C2 {};

// 放在C2所在的全局命名空间
auto begin(C2&) { /* 返回合适的迭代器 */ }
auto end(C2&) { /* 返回合适的迭代器 */ }

static_assert(std::ranges::range<C2>);  // 编译通过

4. 生产代码可能存在的问题 #

如果生产代码中已有返回迭代器的begin/end但仍不满足range概念，可能的原因包括：

• 非成员函数未放在类型的关联命名空间，导致ADL无法找到；
• 函数签名不符合要求（例如缺少const重载，而代码中使用const对象检查range概念；或者返回类型不满足std::input_or_output_iterator概念）；
• 函数未正确实现迭代器语义（例如begin和end返回的迭代器类型不匹配，或迭代器的操作不符合要求）。

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