缩写函数模板与带有转发引用参数的函数模板

两者有什么区别带有转发参考参数的函数模板

template<typename T>
void Universal_func(T && a)
{
}

and 缩写函数模板?

void auto_fun(auto && a)
{
}

我可以更换吗Universal_func with auto_fun? Is Universal_func a of auto_fun或者它们相等吗？

我已经测试了下面的程序。看来两者是一样的。

template<typename T>
void Universal_func(T && a)
{
}

void auto_fun(auto && a)
{
}

int main()
{
  int i;   
  const int const_i = 0; 
  const int const_ref =const_i; 
  //forwarding reference template function example  
  Universal_func(1); //call void Universal_func<int>(int&&)
  Universal_func(i);//call void Universal_func<int&>(int&):
  Universal_func(const_i); //call void Universal_func<int const&>(int const&)
  Universal_func(const_ref);//call void Universal_func<int const&>(int const&)

  //auto calls  
  auto_fun(1); //call void auto_fun<int>(int&&)
  auto_fun(i);//call void auto_fun<int&>(int&):
  auto_fun(const_i); //call void auto_fun<int const&>(int const&)
  auto_fun(const_ref);//call void auto_fun<int const&>(int const&)
  return 0;
}

Universal_func and auto_fun推导并扩展为类似的函数。

void Universal_func<int>(int&&):
        pushq   %rbp
        movq    %rsp, %rbp
        movq    %rdi, -8(%rbp)
        nop
        popq    %rbp
        ret
void Universal_func<int&>(int&):
        pushq   %rbp
        movq    %rsp, %rbp
        movq    %rdi, -8(%rbp)
        nop
        popq    %rbp
        ret
void Universal_func<int const&>(int const&):
        pushq   %rbp
        movq    %rsp, %rbp
        movq    %rdi, -8(%rbp)
        nop
        popq    %rbp
        ret
void auto_fun<int>(int&&):
        pushq   %rbp
        movq    %rsp, %rbp
        movq    %rdi, -8(%rbp)
        nop
        popq    %rbp
        ret
void auto_fun<int&>(int&):
        pushq   %rbp
        movq    %rsp, %rbp
        movq    %rdi, -8(%rbp)
        nop
        popq    %rbp
        ret
void auto_fun<int const&>(int const&):
        pushq   %rbp
        movq    %rsp, %rbp
        movq    %rdi, -8(%rbp)
        nop
        popq    %rbp
        ret

有什么区别吗？标准怎么说？

auto函数参数中的内容还不是标准 C++ 的一部分，但 GCC 的一些最新版本允许将其作为扩展，作为其对 Concepts TS 支持的一部分。

Concepts TS 将此构造称为缩写函数模板（虽然它曾经被称为通用函数，我认为这个术语太笼统了）。这些规则可能太大，无法转入这个答案，但请查看[dcl.fct]/16-19 in 这个草案 http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/n4553.pdf对于所有血淋淋的细节。

第 16 段提供了一个不错的概述：

缩写函数模板是一个函数声明，其参数类型列表包括 一个或多个占位符 (7.1.6.4)。缩写的函数模板相当于一个函数 模板（14.6.6），其模板参数列表包括一个发明的模板参数 参数声明子句中每次出现占位符时，按出现顺序排列， 根据以下规则。 [注：还发明了模板参数来推导 当声明的类型包含占位符时，变量的类型或函数的返回类型 (7.1.6.4.1)。 ——尾注]

根据该草案中规定的规则，您的两个定义在功能上是等效的。

我们使用带有占位符参数的函数：

void auto_fun(auto && a)
{
}

并发明一个模板参数来替换它：

template <typename T>
void auto_fun (T && a)
{
}

如您所见，这与不带占位符的函数具有相同的签名：

template <typename T>
void Universal_func(T && a)
{
}