关于ranges::distance等实现的若干技术疑问

1. 为什么struct __distance_fn被声明为final？ #

__distance_fn是实现ranges::distance的底层函数对象，标记为final的核心目的就是禁止任何继承操作。C++标准对ranges::distance的行为有严格的语义规定，一旦用户继承这个类并篡改其operator()逻辑，就会破坏标准语义，引发未定义行为。另外，final也能给编译器传递明确信号：这个类不会有派生类，编译器可以据此做一些优化，比如省去虚函数相关的开销（哪怕这个类没有虚函数），让函子的调用更高效。

2. void operator&() const = delete的作用是什么？ #

删除取地址运算符是为了彻底阻止用户获取该函子对象的指针或引用。ranges::distance通常是全局inline的函数对象，它的地址在不同翻译单元中可能不唯一（inline变量的特性），如果用户存储这个指针并跨单元使用，会导致不可预期的问题。另外，也能避免用户尝试通过指针间接调用或修改函子（哪怕是const对象，指针操作也可能带来潜在风险），强制用户直接使用函子的operator()，保证调用语义的一致性。

3. 为什么ranges::begin（及其他同类函子）没有final修饰或删除operator&？ #

这是因为两类函子的设计定位不同：

• ranges::distance、advance这类属于算法类函子，它们的行为是完全标准化的，不允许任何自定义修改，所以需要严格限制继承和取地址操作，防止语义被破坏。
• ranges::begin这类属于范围访问类函子，它们的核心作用是适配各种自定义范围类型——用户可以通过重载begin来让自己的类型支持范围操作，这类函子的设计需要保留一定的灵活性，不需要像算法函子那样做严格的限制。另外，begin的使用场景更简单，不会出现类似算法函子的地址稳定性或语义篡改风险，所以不需要额外加final或删除取地址运算符。

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