线程参数传递：显式构造临时string为何比隐式转换更安全？

存在隐患的代码 #

#include <iostream>
#include <thread>

using namespace std;

void myprint(const string& s)
{
    cout << s << endl;
}
int main()
{
    char buf[] = "hello world!";
    thread obj(myprint, buf);
    obj.detach();
    cout << "end!!!" << endl;
}

这段代码的安全隐患很明确：主线程可能在char[]隐式转换为string前就结束，导致子线程访问已销毁的buf内存，引发未定义行为。

核心疑问与解答 #

1. 显式构造临时string为什么能解决问题？ #

线程库创建thread对象时，会先在主线程中把你传入的参数复制到线程内部的专属存储空间，这个复制动作和子线程是否已经启动无关。

• 原写法中，传入的是buf（退化为char*），线程库只会复制这个指针，不会自动转换为string——转换要等到子线程调用myprint时才发生。如果主线程先结束，buf作为局部变量被销毁，子线程再转换就会访问无效内存。
• 显式构造string(buf)时，你传递的是一个string临时对象，线程库会在主线程中直接复制这个string到线程内部存储，子线程拿到的是独立副本，和原buf完全脱钩，自然不会有内存失效问题。

2. 人工构造的临时对象为什么不会随主线程结束消亡？ #

临时对象string(buf)确实是在主线程栈上创建的，但线程库在处理参数时，会立刻把这个临时对象复制一份到线程管理的专属存储区，这个副本的生命周期由线程库负责，会持续到子线程执行完毕。主线程结束时，原临时对象会被销毁，但线程内部的副本不受影响，子线程依然能安全访问。

3. 为什么显式转换比隐式转换更安全？ #

• 隐式转换的触发时机是子线程调用目标函数时，此时主线程可能已经退出，原数据（buf）早已被销毁，转换动作会访问无效内存。
• 显式转换是在主线程创建thread对象的瞬间完成的，临时对象的构造、线程库的参数复制都在主线程运行期间执行，这时候buf肯定还存活，复制出的string副本也被安全存储，从根源上避免了内存失效的风险。

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