在多线程环境中使用 c++ 函数的默认参数和可变参数时，务必考虑线程安全问题。默认参数: 若默认参数不可变（如整型或字符串字面量），则线程安全，因为它们不会被修改。可变参数: 可将可变参数复制到线程本地存储中，每个线程拥有独立的副本，避免数据竞争。

C++ 函数的默认参数和可变参数在多线程环境中的使用策略

在多线程环境中使用 C++ 函数的默认参数和可变参数时，需要考虑线程安全问题。这是因为默认参数和可变参数都存储在函数栈帧中，如果多个线程同时调用相同的函数，则它们可能会使用相同的内存空间，从而导致数据竞争。

默认参数的线程安全使用

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

默认参数在函数定义时初始化，存储在函数栈帧的已知位置。因此，如果默认参数是不可变的（例如整型或字符串字面量），则它们是线程安全的，因为它们不会被修改。

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

int sum(int a, int b = 0) {
  return a + b;
}

在上面的示例中，b 是一个不可变的默认参数，因此可以在多线程环境中安全使用。

可变参数的线程安全使用

可变参数存储在函数栈帧的动态分配的内存区域中。如果多个线程同时调用具有可变参数的函数，则它们可能會使用相同的内存空间，从而导致数据竞争。

为了解决这个问题，可以将可变参数复制到线程本地存储。线程本地存储是一个由编译器管理的特殊内存区域，每个线程都有自己的副本。

#include <thread>
#include <vector>

void sum_array(std::vector<int>& data) {
  int sum = 0;
  for (int x : data) {
    sum += x;
  }
  printf("Sum: %d\n", sum);
}

int main() {
  std::vector<int> data = {1, 2, 3, 4, 5};
  std::vector<std::thread> threads;

  for (int i = 0; i < 4; i++) {
    threads.emplace_back(sum_array, data);  // 每个线程拥有自己的 data 副本
  }

  for (auto& t : threads) {
    t.join();
  }

  return 0;
}

在这个示例中，data 是一个可变参数，它被复制到每个线程的线程本地存储中。这样可以确保每个线程都有自己独立的 data 副本，从而避免数据竞争。