高阶函数参数中的&&能否作为C++转发引用？

标准转发引用的定义 #

先看标准的转发引用（万能引用）示例：

template<typename T>
void f(T&& param); 

“若变量或参数被声明为某推导类型T的T&&，则该变量或参数为万能引用。”

特殊场景示例 #

现在看一个更复杂的成员函数指针模板场景：

#include <iostream>

class MyClass
{
    int _val;

public:
    void set_val(int &&newVal)
    {
        _val = newVal;
        std::cout << "New val = " << _val << std::endl;
    }
};

template <class T, class V> void evoke(void (T::*method)(V &&))
// The && appears inside the context of a function type  ^^^^ argument
{
    T obj;
    (obj.*method)(2);
}

int main()
{
    evoke(&MyClass::set_val);
}

问题解析 #

这个场景里，模板参数V确实会被推导，但它不是独立推导的——它是从成员函数指针的签名中推导出来的。那这里的V&&是不是转发引用？原规则还适用吗？

结论 #

1. 当前示例中的V&&不是转发引用：在这个场景里，V被推导为int（因为成员函数set_val的参数是int&&），所以V&&最终是int&&——一个固定的右值引用，而非具备“万能”特性的转发引用。
2. 原规则的适用边界：转发引用的核心要求是：&&必须直接绑定到一个独立推导的模板参数上，该参数的推导不受上下文限定为特定引用类型。
   • 当&&出现在函数指针的参数签名中时，模板参数的推导是为了匹配目标函数的已有签名，而非基于传递给模板的实参类型。这里V的推导完全依赖set_val的int&&参数，因此V被固定为int，V&&也就失去了转发引用的适配能力。
3. 能否让这类构造生成转发引用？
   • 可以，但需要调整模板设计，让V的推导独立于成员函数的参数类型，同时确保&&绑定到独立推导的模板参数上。比如让成员函数本身的参数是转发引用，再通过模板推导适配：

     class MyClass
     {
         int _val;
     public:
         template <typename V>
         void set_val(V&& newVal)
         {
             _val = std::forward<V>(newVal);
             std::cout << "New val = " << _val << std::endl;
         }
     };
     
     template <class T, class Func> void evoke(Func method)
     {
         T obj;
         int x = 5;
         (obj.*method)(2);               // 右值，V推导为int&&
         (obj.*method)(std::move(x));    // 右值，V推导为int&&
         (obj.*method)(x);               // 左值，V推导为int&
     }
     

     这时set_val里的V&&才是真正的转发引用，因为V会根据传入实参的左/右值类型独立推导，实现完美转发。

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