如何用更简洁方式从{指针,长度}构造静态扩展的std::span？

问题背景 #

• 持有指向有效缓冲区的char* p和size_t length，需调用函数void spanStatic(std::span<char, 8> s)修改缓冲区
• 使用spanStatic({p, length})调用时编译失败（即使length实际大于8），但动态扩展的std::span<char>可通过初始化列表正常推导
• 需求：保留静态扩展std::span<char,8>的编译期长度校验能力，同时寻找比std::span<char, 8>(p, length)更简洁的临时对象构造方式

原因分析 #

这是std::span构造函数的预期设计：静态扩展的std::span带有编译期固定的长度约束，编译器无法从{指针, 运行时长度值}的初始化列表中自动推导并校验长度匹配性；而动态扩展的std::span无编译期长度约束，因此能正常完成推导。

解决方案 #

最简洁且易维护的方式是定义类型别名：

using MySpan = std::span<char, 8>;

后续调用时只需写：

spanStatic(MySpan(p, length));

这种方式既简化了代码书写，又完整保留了静态扩展std::span的编译期长度校验能力，能提前发现缓冲区长度不匹配的问题。

若不想定义全局/局部别名，直接构造的写法已经是最简洁的标准语法形式，没有更短的替代方案。

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