函数模板的这两种定义有什么区别?

What's the difference between these two definitions of function templates?

本文关键字：什么 区别 定义 两种 函数模板      更新时间：2023-10-16
template <typename Func, typename... Args>
  static void WraperFunc(Func func, Args &&... args) {
    SomeFunc(func, args...);
  }

和

template <typename Func, typename... Args>
  static void WraperFunc(Func func, Args ... args) {
    SomeFunc(func, args...);
  }

哪个更好，更推荐?还是有比两者都更好的选择?

Args &&将通过引用接受左值和右值，并在保持其原始值类别的情况下转发它们。我喜欢那个版本(并使用std::forward)。

template <typename Func, typename... Args>
  static void WraperFunc(Func func, Args &&... args) {
    SomeFunc(func, std::forward<Args>(args)...);
    //             ^^^^^^^^^^^^ Use of forward
  }

注意std::forward的习惯用法，它不包括Args&&的&&。

关于std::forward和引用崩溃的机制和使用有很多文章，这里和Scott Meyers关于"转发(或通用)引用"的经典。

第一个，但是您需要在扩展期间通过使用std::forward<T>转发您的参数。这允许在正确推导参数时扩展参数包。

template <typename Func, typename... Args>
static void WraperFunc(Func func, Args &&... args)
{
    // note that we use std::forward<Args>( args )... to perfect forward our arguments
    SomeFunc(func, std::forward<Args>( args )...);
}

作为一个例子，假设你有一个函数声明如下:

template <typename T>
void some_func( T& ) {}

尝试使用临时值或右值来使用上述函数将失败:

some_func( 5 );

这是因为5是一个常量，不能赋值给int&。

假设您使用以下参数调用函数:

void (*foo)(int, char, float) = /* ... */;
const int i = 0;
char j;
WraperFunc(foo, i, j, 0.42);

在第一种情况下，它相当于调用这个函数:

void WraperFunc(void (*foo)(int, char, float), int i, char c, float j) { /* ... */ }

在第二种情况下，它相当于调用这个函数:

void WraperFunc(void (*foo)(int, char, float), const int& i, char& c, float&& j) { /* ... */ }

如果您想在避免复制的同时转发参数(但这时请使用std::forward !)

相关文章：