MSVC编译报错：std::invoke无匹配重载函数，求原因及解决方法

你遇到的std::invoke: No matching overloaded function found错误，核心原因是const对象只能调用其const成员函数，而你的线程函数大概率在尝试调用std::vector或std::mutex的非const成员：

• std::mutex的lock()、unlock()都是非const成员函数，调用它们会修改mutex的内部同步状态，const修饰的mutex对象无法调用这些方法。
• 如果线程函数要修改vector（比如push_back、erase），这些也都是非const成员，const vector同样无法调用。
  当你把这些对象声明为const时，std::thread通过std::invoke绑定函数参数时，找不到能接收const对象的重载版本，因此触发报错。

根据实际需求选择对应方案：

1. 确实需要修改对象：直接去掉const修饰符，让对象可以被线程函数调用非const成员，这是你之前测试有效的直接解决方式。
2. 需保持对象外部const但内部可修改（类成员场景）：如果vec或mtx是类的成员变量，可用mutable关键字修饰。示例：

   class MyClass {
   private:
       mutable std::mutex mtx;
       mutable std::vector<int> vec;
   public:
       void func() const { // const成员函数
           std::lock_guard<std::mutex> lock(mtx); // 可调用mutex的非const成员
           vec.push_back(1); // 可修改vector
       }
   };
   

   mutable会让成员变量不受const成员函数的限制，允许在const上下文中被修改。
3. 不需要修改对象：确保线程函数只调用对象的const成员函数，比如仅读取vector的元素（vec[i]、vec.size()都是const成员），mutex无需锁定（这类场景极少，因为mutex本身用于同步修改）。

结合你的C#背景，明确两者关键区别：

• C#的const是编译期常量：必须用字面量初始化，运行期间完全不可修改，本质是编译时替换的值。C++的const分两种：
  • 编译期常量：比如const int MAX = 10;，和C#的const类似。
  • 运行期const对象：比如const std::vector<int> vec = some_function();，这类对象是运行时创建的只读对象，不能调用非const成员函数，但不是编译期替换的常量。
• const对象的成员访问限制：C++中const对象的this指针是const T*类型，因此只能访问类的const成员函数（即声明为void func() const的函数），非const成员函数会被编译器拒绝。C#中没有这种严格限制，readonly修饰的对象只是不能重新赋值，但可修改其成员（除非对象本身是不可变类型）。
• const引用的作用：C的const引用（const std::vector<int>&）可绑定到const或非const对象，保证通过该引用不能修改原对象，类似C#的in参数，但C的const引用使用更广泛，比如作为函数参数避免拷贝同时保证不修改。
• mutable关键字：C++独有的关键字，允许类的成员变量在const成员函数中被修改，用于处理像mutex这种“逻辑上不影响对象状态，但需要修改内部数据”的场景，C#没有对应概念。

内容的提问来源于stack exchange，提问作者Zombies are Real