为何C++ span的C风格数组构造函数需使用type_identity_t？

为什么span的数组构造函数需要使用type_identity_t<element_type>？ #

核心原因是避免模板推导过程中不必要的类型匹配失败：

直接将构造函数写成template<size_t N> constexpr span(element_type (&arr)[N]) noexcept时，编译器会严格要求数组元素类型与element_type完全匹配（仅简单的const/volatile资格转换除外）。但在一些模板场景中（比如element_type是依赖外部模板参数的类型），哪怕数组类型可以合法转换为element_type对应的数组类型，编译器也会因为推导规则的限制，错误判定该构造函数不可行，导致替换失败。

而type_identity_t<element_type>的作用是「屏蔽」对element_type的推导尝试：它本质就是element_type，但会让编译器将参数类型视为非推导上下文，不再尝试推导element_type，转而直接检查数组元素类型是否能通过合法转换（如const/volatile资格转换）匹配element_type。再配合标准中添加的is_convertible_v约束，能确保构造函数在所有合法场景下都被正确选中。

早期提案中未使用type_identity_t，是因为当时未覆盖到这类模板场景下的推导问题，后续通过标准缺陷修复补充了这个修饰，让span的数组构造函数行为更符合预期。

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