模板实参推导、限定标识与性能相关技术问询

1. Identity结构体是否会造成性能损失？ #

完全不会。Identity是仅用于模板类型推导的空结构体，编译阶段就会被完全展开优化，不会生成任何运行时代码，对程序性能没有任何影响。它的作用只是将第二个参数的类型转为非推导上下文，强制编译器从第一个参数T&& x推导T的类型，避免模板推导冲突。

2. 有没有更优的实现方式？ #

有几种更简洁的替代方案，无需显式定义Identity结构体：

• C++20标准库工具std::type_identity：直接用typename std::type_identity<std::function<void(T&&)>>::type替代自定义Identity，代码更规范。
• 模板别名简化（C++11及以上）：用模板别名替代结构体，写法更简洁：

  template<typename T>
  using Identity_t = T;
  
  template<typename T>
  void gate(T&& x, typename Identity_t<std::function<void(T&&)>>::type f) {
      f(std::move(x));
  }
  

• 放弃std::function，直接推导可调用对象类型：如果不需要std::function的类型擦除特性，这是性能最优的方案，还能避免std::function的类型擦除开销：

  template<typename T, typename F>
  void gate(T&& x, F&& f) {
      std::forward<F>(f)(std::move(x));
  }
  

  这种方式既解决了推导问题，又消除了std::function带来的间接调用、潜在堆分配等额外开销，性能更优。

3. 先创建lambda再传入是否是更好的选择？ #

取决于你的需求：

• 如果需要类型擦除（比如存储lambda、统一不同可调用对象的类型），先创建std::function对象再传入是合理的，但会带来std::function的运行时开销。
• 如果不需要类型擦除，直接传入lambda（配合上面第三种模板推导方式）是更好的选择：编译器可以完全内联lambda调用，无任何额外开销，代码也更简洁。

举个直接传入lambda的最优写法示例：

template<typename T, typename F>
void gate(T&& x, F&& f) {
    std::forward<F>(f)(std::move(x));
}

int main() {
    gate(1234, [](int&& y) { 
        std::cout << std::forward<int>(y) << std::endl; 
    });
}

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