能否通过函数指针实现间接完美转发？

你猜的没错——完全通过函数指针实现间接完美转发确实是不可行的，核心原因和C++中“转发引用（万能引用）”的本质绑定在一起，我们一步步拆解问题：

为什么现有函数指针方案失效？ #

首先要明确：T&&被称为转发引用的前提是处于模板参数推导上下文，且T是未被显式指定的模板参数。一旦脱离这个上下文，它就退化为普通的右值引用：

1. 显式实例化的模板函数指针

   decltype(&f<Test>) ptr = &f<Test>;
   

   这里你显式指定了T=Test，所以f<Test>的签名是void(Test&&)——这是一个普通的右值引用参数的函数，自然无法接受左值t调用。

2. 模板化的函数指针

   template <typename T>
   void(*ptr)(T&& t) = &f<T>;
   

   这里的T&&同样不是转发引用：当你实例化这个指针模板时（比如ptr<Test>），它会生成一个签名为void(Test&&)的指针；如果是ptr<Test&>，虽然能接受左值，但这是引用折叠后的结果，本质上是两个不同的指针实例，无法用单个指针覆盖所有值类别。

3. 类内的模板函数指针

   class C {
       template <typename T>
       void(*ptr)(T&& t); // 编译失败
   };
   

   C不允许类的非静态成员是模板（变量模板是C14引入的，但即使允许，它也会为每个T生成独立的成员变量，无法实现“单个指针适配所有转发场景”的需求）。

有没有近似的替代方案？ #

如果必须间接实现类似完美转发的效果，而又不想退化为左值引用，可以考虑以下方向，但都不是纯函数指针方案：

• 泛型Lambda：这是最接近的替代，它能捕获转发逻辑，且语法简洁：

  auto forwarder = [](auto&& t) {
      f(std::forward<decltype(t)>(t));
  };
  // 调用时自动适配左值/右值
  Test t;
  forwarder(t);    // 触发copy
  forwarder(Test()); // 触发move
  

  不过Lambda是闭包类型，不是函数指针，无法转换为普通的函数指针类型（除非Lambda没有捕获且签名固定）。

• 类型擦除（如std::function）：如果能接受固定的签名范围，可以用std::function包装，但它无法做到真正的“万能”转发，比如你需要预先确定参数类型：

  std::function<void(Test&&)> move_forwarder = f<Test>;
  std::function<void(Test&)> copy_forwarder = f<Test&>;
  

  但这本质上是分开处理左值和右值，不是统一的完美转发。

结论 #

函数指针的签名是固定的，而完美转发依赖于模板参数推导时的引用折叠规则，这两者从设计上就不兼容——你无法用单个（或统一的）函数指针类型，同时适配左值和右值的转发需求。如果必须用间接调用，泛型Lambda是目前最贴近完美转发效果的替代方案，但它不属于函数指针范畴。

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