VC++中wcscpy_s随机触发‘缓冲区过小’断言问题求助

这个问题的核心是**线程数据竞争（Race Condition）**导致的未定义行为，Debug模式下的安全检查刚好捕捉到了这个异常。

为什么会随机触发断言？ #

你代码里的src数组是子线程和主线程共享的变量：

• 子线程在循环里不断写入src，执行wcscpy_s(src, BUF_SZ, ws.str().c_str())；
• 主线程同时在循环里读取src，执行wcscpy_s(dst, src)。

没有任何同步机制（比如互斥锁）来保证读写操作的原子性，这就会出现数据竞争：当子线程正在写入src的过程中（比如还没写完整个字符串，或者字符串还没加上终止符\0），主线程可能已经开始读取src的内容。这时候src里的字符串处于一个临时的、不合法的状态——比如长度超过了BUF_SZ，或者没有正确的终止符，导致wcscpy_s在计算源字符串长度时错误地认为目标缓冲区dst太小，从而随机触发Debug模式下的断言。

Debug构建下编译器会启用更严格的安全检查，而且代码优化更少，线程执行的时序更容易出现这种竞争场景；Release构建可能因为优化掩盖了问题，但数据竞争依然存在，属于未定义行为，随时可能引发更严重的崩溃。

修复方案 #

最直接的方式是用**互斥锁（std::mutex）**保护共享变量src的读写操作，确保同一时间只有一个线程能访问它：

#include <thread>
#include <sstream>
#include <mutex>
#define BUF_SZ 32

int main() {
    wchar_t src[BUF_SZ]{};
    bool running = true;
    std::mutex mtx; // 定义互斥锁

    std::thread th([&] {
        for (double g = 0; g < 100000; g += .1) {
            std::wstringstream ws;
            ws << g;
            std::lock_guard<std::mutex> lock(mtx); // 写之前加锁
            wcscpy_s(src, BUF_SZ, ws.str().c_str());
        }
        running = false;
    });

    wchar_t dst[BUF_SZ]{};
    while (running) {
        std::lock_guard<std::mutex> lock(mtx); // 读之前加锁
        wcscpy_s(dst, src);
    }

    th.join();
    return 0;
}

其他可选方案 #

• 如果不需要共享变量，可以考虑用线程安全的队列（比如std::queue配合互斥锁）让子线程把生成的字符串传递给主线程，彻底避免共享内存的竞争；
• 也可以用条件变量来优化主线程的循环，避免空转等待，提升性能。

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