std::invoke调用非静态成员函数必须显式传入对象实例(或指针/引用),因成员函数隐含this参数;cv限定符需严格匹配,否则编译失败;其核心价值在于统一各类可调用对象的语法,模板中无需分支处理。
std::invoke 调用类成员函数必须传对象实例(或指针)
直接用 std::invoke 调用非静态成员函数时,编译器会报错:「no matching function for call to invoke」——因为成员函数隐含 this 参数,std::invoke 不会自动推导或补全它。
正确做法是显式提供对象(或其指针/引用),顺序为:std::invoke(成员函数指针, 对象, ...args)。注意:对象不能是临时值(除非是 const lvalue 引用且函数为 const 成员)。
-
std::invoke(&MyClass::func, obj, 42)—— obj 是左值 -
std::invoke(&MyClass::func, &obj, 42)—— 传指针也合法 -
std::invoke(&MyClass::func, std::move(obj), 42)—— 若 func 是 && 重载版本,可传右值 - ❌
std::invoke(&MyClass::func, MyClass{}, 42)—— 若 func 非 const 且无 && 版本,会编译失败
std::invoke 对 const/volatile 限定符和重载解析很敏感
成员函数的 cv 限定符必须与调用对象匹配,否则 std::invoke 无法绑定。这不是运行时错误,而是编译期 SFINAE 失败,容易误以为“语法不对”。
例如:const MyClass obj; 只能调用 void func() const;若只定义了非 const 版本,std::invoke(&MyClass::func, obj) 就不成立。
立即学习“C++免费学习笔记(深入)”;