为何libstdc++未实现C++20标准中的span(Container&)构造函数？

你观察得很仔细！首先明确一下：cppreference上标注的C20标准中std::span的那两个容器引用构造函数（左值和const左值版本），确实是标准要求的接口，但libstdc在2020年1月的主分支里，选择了用基于Range概念的转发引用构造函数来实现等价功能，而不是显式写出那两个模板。

具体来说，那个接收Range&&的构造函数其实是转发引用（不是单纯的右值引用）——模板参数R会根据传入的实参类型自动推导：

• 当你传入一个左值容器（比如std::vector<int>&），R会被推导为std::vector<int>&，此时R&&就变成左值引用，构造函数相当于接收左值容器；
• 当你传入一个右值容器（比如临时的std::vector<int>{1,2,3}），R推导为std::vector<int>，R&&就是右值引用，对应右值场景。

所以这个单个的Range构造函数，实际上完全覆盖了那两个显式容器引用构造函数的功能：

• 它可以接受非const左值容器，对应span(Container& cont)；
• 也可以接受const左值容器，只要容器的data()和size()成员是const可调用的（标准容器都满足这一点），对应span(const Container& cont)。

那有没有遗漏的场景呢？理论上只有一种情况：如果某个自定义类型满足“容器要求”（拥有data()和size()成员）但不满足Range概念（比如没有begin()/end()成员函数），那这个Range构造函数就无法匹配，但这种类型在实际开发中非常罕见——毕竟符合容器特征的类型，几乎都会提供迭代器接口，自然满足Range概念。而标准库中的所有容器，都是符合Range概念的，所以对于标准容器来说，这个实现完全没问题。

总结一下：libstdc的实现并没有遗漏标准要求的功能，只是用更简洁的Range+转发引用的方式，合并了那两个构造函数的逻辑，这是符合C20标准规范的。

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