不同类型下std::ranges empty视图存在不一致行为问题

核心结论 #

这不是std::views::empty的实现或定义bug，问题根源是C花括号初始化的std::initializer_list优先匹配规则，属于C语言层面的设计特性。

具体原因 #

• C++标准规定，对std::vector使用{}语法初始化时，编译器会优先匹配接收std::initializer_list<T>的构造函数，仅当该构造函数完全匹配失败时，才会尝试匹配其他重载（比如接收两个迭代器的范围构造函数）。
• 调用foo<A>时，A没有可接收空视图迭代器作为参数的隐式构造函数，迭代器无法转换为A类型，std::initializer_list<A>构造函数匹配失败，编译器退而选择迭代器对构造函数，基于空范围构造vector，输出0符合预期。
• 调用foo<B>时，B定义了接收void*的隐式构造函数，主流编译器（GCC、MSVC）的std::views::empty实现中，空视图的迭代器可以隐式转换为指针类型，因此传入的两个迭代器参数都可以隐式构造为B对象，此时std::vector<B> {begin, end}会匹配std::initializer_list<B>构造函数，相当于传入了2个B元素，最终返回的vector大小为2。
• 将{}改为()的修复方案是正确的：圆括号初始化不会优先匹配initializer_list构造函数，会直接匹配迭代器对的范围构造函数，无论元素类型是否能从迭代器构造，都会正确处理空范围。

补充说明 #

std::views::empty的行为完全符合C标准要求，该问题是C花括号初始化的常见陷阱，和标准库视图的实现无关。

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