C++11 引入了右值引用的概念,由此在引出 an rvalue reference to a cv-unqualified template parameter. 在template function 推导中,我们需要推导出template parameter.

那么template function的参数推导,有几种形式呢?答案是三种(暂时不考虑加const T的情况), 注意这跟class template不一样,function template 没有偏特化的概念(partial specialization)

template<typename T>               template<typename T>              template<typename T>

void func(T t)                               void func(T& t)                            void func(T&& t)

第一种情况最简单,参数推导也容易。形参和template 参数的类型完全一样,这是因为T t拷贝外部形参。理由很简单,既然是拷贝,那么实参的const属性跟就形参无关。引用更加无关

int x = 27; // as before

const int cx = x; // as before

const int& rx = x; // as before f(x);

func(x)   // T's and param's types are both int

func(cx)  // T's and param's types are again both int;

func(rx)  // T's and param's types are still both int

func(25) // 25 is rvalue

第二种情况呢,首先我们分析一下第二种情况,T&t,a lvalue reference to a cv-unqualified  template paramter. 这种情况跟我们通常的fun(int &)类似,只是需要模板推导T.所以实参的const属性会传导到T.

int x = 27; // x is an int

const int cx = x; // cx is a const int

const int& rx = x; // rx is a reference to x as a const int

the deduced types for param and T in various calls are as follows:

f(x); // T is int, param's type is int&

f(cx); // T is const int, // param's type is const int&

f(rx); // T is const int, // param's type is const int&

注意template <class T> void func<T& t)不能接受右值.

那么在C++11之前,如果想template function 的parameter 接受rvalue,怎么办呢?跟普通函数一样,使用const T&

template<class T >

void func(const T& t)

左值右值能接收,编译通过。此时如果类型推导T呢?这种情况就退化成第一种情况。

c++11 中引入了右值引用的概念,那么在template function中是否也有类似的概念呢?答案是肯定的,但是跟普通的右值引用不同,template中引入的是forwarding reference, 其定义是an rvalue reference to a cv-unqualified template parameter.

但是根据template parameter T类型的不同, T&&可能是左值,也可能是右值。这就是Scott Meyers的通用引用。标准里叫做forwarding reference.

你可能会说,为什么要引入这个概念呢?不是有const T&去接收右值吗?答案是为了完美转发,如果用const T&t ,那么t永远都是左值引用。如果实参是什么。 而通用引用可以区分出右值和右值。那么如果推导呢?

template<class T>

void func(T&&t)

int x = 27; // as before

constint cx = x; // as before

const int& rx = x; // as before

f(x); // x is lvalue, so T is int&, // param's type is also int&

f(cx); // cx is lvalue, so T is const int&, // param's type is also const int&

f(rx); // rx is lvalue, so T is const int&, // param's type is also const int&

f(27); // 27 is rvalue, so T is int, // param's type is therefore int&&

由此可知,const的属性保留, 当实参是右值的时候,T就是int。我们可以这么理解,因为T&&t是模板参数的右值引用,如果实参是左值,那么T必须加&,通过引用折叠T&& &->T&才能不报错.如果是右值,那么就无需这一步转换

那么什么是引用折叠呢?根本原因就是C++不支持引用的引用这个概念

T&& &->T&

T&  &-> T&

T&& &&-> T&&

T& &&->T&

C++11 template parameter deduction的更多相关文章

  1. 现代C++之理解模板类型推断(template type deduction)

    理解模板类型推断(template type deduction) 我们往往不能理解一个复杂的系统是如何运作的,但是却知道这个系统能够做什么.C++的模板类型推断便是如此,把参数传递到模板函数往往能让 ...

  2. C++ Templates (1.2 模板实参推断 Template Argument Deduction)

    返回完整目录 目录 1.2 模板实参推断 Template Argument Deduction 1.2 模板实参推断 Template Argument Deduction 当调用函数模板(如max ...

  3. C++ 11 Template ... 与Decltype 测试

    #include <iostream> #include "string" using namespace std; template<typename T> ...

  4. [Effective Modern C++] Item 1. Understand template type deduction - 了解模板类型推断

    条款一 了解模板类型推断 基本情况 首先定义函数模板和函数调用的形式如下,在编译期间,编译器推断T和ParamType的类型,两者基本不相同,因为ParamType常常包含const.引用等修饰符 t ...

  5. template template parameter

    #include <iostream> using namespace std; template<typename T> class A { }; template<t ...

  6. c++11 template 模板练习

    直接上代码吧 to do // 111111.cpp: 定义控制台应用程序的入口点. // #include "stdafx.h" #include <iostream> ...

  7. Template template parameter(模板參数) example

    /********************************************************************************* Copyright (C), 19 ...

  8. (转) Overloads and templates

    Overloaded functions In C++, two different functions can have the same name if their parameters are ...

  9. (原) c++ 杂

    Declaration of variables   C++ is a strongly-typed language, and requires every variable to be decla ...

随机推荐

  1. Opencv 计算图片旋转角度

    vector<vector<Point>> vec_point;vector<Vec4i> hireachy;findContours(img_canny1, ve ...

  2. RobotFramework学习-问题

    RobotFramework,基于Python的自动化测试框架.近期学习中遇到过一些问题. 1.运行ride时,报错[ ERROR ] option --monitorcolors not recog ...

  3. UVa 11090 Going in Cycle!! (Bellman_Ford)

    题意:给定一个加权有向图,求平均权值最小的回路. 析:先十分答案,假设答案是 ans,那么有这么一个回路,w1+w2+w3+...+wk < k*ans,这样就是答案太大,然后移项可得,(w1- ...

  4. Android studio Maven仓库使用

    原文:How to distribute your own Android library through jCenter and Maven Central from Android Studio ...

  5. javascript的caller,callee,call,apply[转]

    在提到上述的概念之前,首先想说说javascript中函数的隐含参数:arguments Arguments 该对象代表正在执行的函数和调用它的函数的参数. [function.]arguments[ ...

  6. c语言和java以及安卓和苹果

    苹果手机是本地,没有中间环节,速度快,基于Linux系统 安卓是通过虚拟机,影响速度 就像c语言和java c适用于架构小的地方,因为直接编译运行 而java用于架构比较大的地方,启动慢,启动之后效率 ...

  7. Python之set集合与collections系列

    1>set集合:是一个无序且不重复的元素集合:访问速度快,解决了重复的问题: s2 = set(["che","liu","haha" ...

  8. JavaScript - this详解 (二)

    用栗子说this Bug年年有,今年特别多 对于JavaScript这么灵活的语言来说,少了this怎么活! function 函数 this 对于没有实例化的function,我们称之为函数,即没有 ...

  9. Intel GPA果然是神器

    又一次PERF暗黑三...只有GPA帮到了我. Intel GPA是一个用于测试产品性能和质量的工具.使用这个工具可以运行在游戏或3D应用程序中用来看看它们是如何工作的,其优势性的一点是,有了Auto ...

  10. memcached整理の缓存问题

    声明:博客来源http://www.cnblogs.com/AloneSword/p/3931905.html,谢谢他的分享! 缓存穿透与缓存雪崩 缓存系统不得不考虑的另一个问题是缓存穿透与失效时的雪 ...