为何在C++中使用std::thread时需为字符串参数传递std::span？

核心原因：直接调用与std::thread参数传递的隐式转换规则差异 #

1. 直接函数调用时的隐式转换逻辑

当你直接调用repeat1("I am exploring...", 3)时，字符串字面量的类型是const char[N]（N为字符串长度+1，包含终止符）。std::span<const char>提供了针对数组的隐式模板构造函数：

template<size_t N>
constexpr span(const T (&arr)[N]) noexcept;

编译器可以自动推导数组长度N，隐式将const char[N]转换为std::span<const char>，因此直接调用能正常编译。

2. std::thread参数传递的特殊规则

std::thread的构造函数会先将所有传入参数拷贝/移动到线程内部存储，之后在新线程中通过std::invoke调用目标函数。这里的关键限制是：

• 传递给std::thread的字符串字面量作为右值时，会退化为const char*类型，丢失了数组长度信息。
• std::invoke仅支持单个参数的独立隐式转换，而std::span<const char>没有接受const char*的隐式构造函数（span必须明确知道长度，单独指针无法提供该信息）。

这就导致编译器无法将const char*隐式转换为std::span<const char>，进而出现std::invoke参数不匹配的编译错误。

3. 为什么std::string_view可以正常工作？

std::string_view提供了特殊的构造函数：

constexpr basic_string_view(const char* s) noexcept;

该构造函数会通过strlen(s)自动计算以'\0'结尾的字符串长度，因此当std::thread传递的const char*实参传给需要std::string_view的参数时，编译器能隐式调用这个构造函数完成转换，所以repeat2的线程调用可以正常编译。

解决方案 #

除了显式构造std::span之外，还可以用lambda表达式包装函数调用，让lambda内部的直接调用触发隐式转换：

std::thread t([]{ repeat1("I am exploring...", 5); });

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