在多线程场景中，函数调用约定规定了线程如何处理参数、局部变量和返回值，影响着堆栈管理、寄存器使用和清理责任。遵循正确的调用约定对于线程共享数据的安全性至关重要。常见调用约定包括 cdecl（调用者清理堆栈）和 stdcall（被调用者清理堆栈）。使用 stdcall 调用约定可以避免竞争条件，确保线程共享变量在函数调用期间不会被修改。

C++ 函数调用约定在多线程场景下的作用

在多线程编程中，函数调用约定指定了调用者线程和被调用者线程如何处理参数、局部变量和返回值。不同的调用约定影响着：

• 堆栈管理：谁负责在堆栈上分配空间。
• 寄存器使用：哪些参数和返回值保存在寄存器中。
• 清理：谁负责在函数执行后清理堆栈。

在多线程场景下，函数调用约定决定了线程共享数据的安全性。如果不遵循正确的调用约定，共享数据可能被损坏。

立即学习“C++免费学习笔记（深入）”；

点击下载“修复打印机驱动工具”；

常见函数调用约定

在 C++ 中，最常见的函数调用约定是：

• cdecl：调用者清理堆栈，被调用者使用寄存器。
• stdcall：被调用者清理堆栈，调用者使用寄存器。

实战案例

考虑以下代码段：

void increment(int* value) {
    (*value)++;
}

int main() {
    int counter = 0;

    // 创建两个线程共享的 counter 变量
    std::thread thread1(increment, &counter);
    std::thread thread2(increment, &counter);

    thread1.join();
    thread2.join();

    // 打印最终的 counter 值
    std::cout << counter << std::endl;
}

如果不使用正确的调用约定，则会出现竞争条件，导致 counter 的值不正确。这是因为两个线程可能同时调用 increment() 函数，同时修改 counter 的值。

要解决这个问题，可以使用 stdcall 调用约定，它要求被调用者清理堆栈。这样，可以确保在每个线程执行 increment() 函数时，counter 的值不会被其他线程修改。

void increment_stdcall(int* value) {
    __asm {
        call increment
        add esp, 4  // 清理堆栈
    }
}

int main() {
    int counter = 0;

    // 使用 stdcall 调用约定
    std::thread thread1(increment_stdcall, &counter);
    std::thread thread2(increment_stdcall, &counter);

    thread1.join();
    thread2.join();

    std::cout << counter << std::endl;
}

使用 stdcall 调用约定后，counter 的值将正确增加。

理解函数调用约定在多线程场景下的作用对于避免数据竞争条件至关重要。