C++程序可在Visual Studio编译但Clang、GCC无法编译，求解决

你遇到的问题核心是Visual Studio的非标准扩展和GCC/Clang的标准严格性差异，具体出在std::packaged_task的签名匹配与函数参数引用的处理上。

问题根源 #

你的exec函数参数是非const左值引用（vector<int>&），但声明的packaged_task模板签名是vector<int>(vector<int>, vector<int>)（值传递参数）。按照C++标准，临时对象不能绑定到非const左值引用，GCC/Clang严格遵循这个规则；但Visual Studio有个非标准扩展，允许临时对象绑定到非const左值引用，所以它能编译通过，其他标准编译器则会报错。另外你代码里packaged_task的构造参数写了...，实际应该绑定exec函数，这也是需要修正的点。

解决方案 #

根据你的需求，有两种可行的修正方式：

方案1：将函数参数改为const引用（推荐）

既然exec函数只是读取a和b的内容，不需要修改它们，改为const vector<int>&既符合标准，又能避免不必要的拷贝：

#include <iostream>
#include <future>
#include <thread>
#include <vector>
using namespace std;

// 修改为const引用参数，符合标准且更高效
vector<int> exec(const vector<int>& a, const vector<int>& b) {
    vector<int> res = a;
    res.push_back(b[0]);
    res.push_back(b[1]);
    res.push_back(b[2]);
    res.push_back(b[3]);
    return res;
}

int main() {
    vector<int> a1{1, 2, 3, 4}, a2{5, 6, 7, 8};
    // 匹配const引用的函数签名
    std::packaged_task<vector<int>(const vector<int>&, const vector<int>&)> task(exec);
    auto future = task.get_future();
    
    // 直接传递左值参数，const引用可正常绑定
    thread t(std::move(task), a1, a2);
    t.join();
    
    vector<int> result = future.get();
    for (int num : result) {
        cout << num << " ";
    }
    return 0;
}

方案2：保留非const引用，用std::ref传递

如果你确实需要在exec里修改a或b，需要让packaged_task的签名匹配引用类型，同时用std::ref包装参数：

#include <iostream>
#include <future>
#include <thread>
#include <vector>
#include <functional> // 需包含此头文件以使用std::ref
using namespace std;

vector<int> exec(vector<int>& a, vector<int>& b) {
    vector<int> res = a;
    res.push_back(b[0]);
    res.push_back(b[1]);
    res.push_back(b[2]);
    res.push_back(b[3]);
    return res;
}

int main() {
    vector<int> a1{1, 2, 3, 4}, a2{5, 6, 7, 8};
    // 签名匹配非const引用
    std::packaged_task<vector<int>(vector<int>&, vector<int>&)> task(exec);
    auto future = task.get_future();
    
    // 用std::ref传递引用，避免拷贝且满足非const引用绑定要求
    thread t(std::move(task), std::ref(a1), std::ref(a2));
    t.join();
    
    vector<int> result = future.get();
    for (int num : result) {
        cout << num << " ";
    }
    return 0;
}

关键提示 #

• 尽量避免依赖编译器的非标准扩展，这样你的代码才能在不同编译器间保持兼容性。
• 使用std::packaged_task时，必须确保其模板签名与目标函数的签名严格匹配（包括引用、const修饰符等）。

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