为何从静态数组创建的std::span会被判定为dynamic_extent？

你忽略了std::span的模板参数规则：std::span<char>是std::span<char, std::dynamic_extent>的简写——第二个模板参数默认就是动态扩展，所以不管你用什么类型的容器初始化，这个span的extent都会是std::dynamic_extent。

要让span拥有静态扩展（即编译期确定大小），有两种正确写法：

1. 显式指定数组大小作为模板参数：

#include <iostream>
#include <span>
     
int main()
{
    char static_array[]={1,2,3};
    std::span<char, 3> sp{static_array}; // 显式指定extent为3
    if (std::dynamic_extent == sp.extent)
        std::cout << "Why dynamic?" << std::endl; // 不会执行这句
}

2. 利用类模板实参推导（CTAD）让编译器自动推导extent：

#include <iostream>
#include <span>
     
int main()
{
    char static_array[]={1,2,3};
    auto sp = std::span{static_array}; // 编译器推导extent为3
    if (std::dynamic_extent == sp.extent)
        std::cout << "Why dynamic?" << std::endl; // 不会执行这句
}

本质上，std::span的静态/动态属性是由模板参数extent决定的，而非初始化的数据源类型。只有当你明确指定静态大小，或者让编译器通过CTAD推导时，才能得到拥有静态extent的span对象。

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