Skip to content

Latest commit

 

History

History
326 lines (212 loc) · 16.5 KB

1-Understand-template-type-deduction.md

File metadata and controls

326 lines (212 loc) · 16.5 KB
Raw

条款1：理解模板类型推导

##Understand template type deduction.

当一个复杂系统的用户忽略这个系统是如何工作的，那就再好不过了，因为“如何”扯了一堆系统的设计细节。从这个方面来度量，C++的模板类型推导是个巨大的成功。成百上万的程序猿给模板函数传递完全类型匹配的参数，尽管有很多的程序猿会更加苛刻的给于这个函数推导的类型的严格描述。

如果上面的描述包括你，那我有好消息也有坏消息。好消息就是模板的类型推导是现代C++的最引人注目的特性：auto。如果你喜欢C++98模板的类型推导，那么你会喜欢上C++11的auto对应的模板类型推导。坏消息就是模板类型推导的法则是受限于auto的上下文的，有时候看起来应用到模板上不是那么直观。因为这个原因，真正的理解模板auto的类型推导是很重要的。这条条款囊括了你的所需。

如果你想大致看一段伪码，一段函数模板看起来会是这样：

template<typename T>
void f(ParamType param);

调用会是这样：

f(expr);                    // 用一些表达式来调用f

在编译的时候，编译器通过expr来进行推导出两个类型：一个是T的，另一个是ParamType。通常来说这些类型是不同的，因为ParamType通常包含一些类型的装饰，比如const或引用特性。举个例子，模板通常采用如下声明：

template<typename T>
void f(const T& param);		// ParamType 是 const T&

如果有这样的调用：

int x = 0；

f(x)；						// 使用int调用f

T被推导成int，ParamType被推导成const int&。

一般会很自然的期望T的类型和传递给他的参数的类型一致，也就是说T的类型就是expr的类型。在上面的例子中，x是一个int，T也就被推导成int。但是并不是所有的情况都是如此。T的类型不仅和expr的类型独立，而且还和ParamType的形式独立。下面是三个例子：

  • ParamType是一个指针或者是一个引用类型，但并不是一个通用的引用类型（通用的引用类型的内容在条款24。此时，你要知道例外情况会出现的，他们的类型并不和左值应用或者右值引用）。

  • ParamType是一个通用的引用

  • ParamType既不是指针也不是引用

这样的话，我们就有了三种类型需要检查的类型推导场景。每一种都是基于我们队模板的通用的调用封装：

template<typename T>
void f(ParamType param);

f(expr);					// 从expr推导出T和ParamType的类型

###第一种情况：ParamType是个非通用的引用或者是一个指针

最简单的情况是当ParamType是一个引用类型或者是一个指针，但并非是通用的引用。在这种情况下，类型推导的过程如下：

  1. 如果expr的类型是个引用，忽略引用的部分。

  2. 然后利用expr的类型和ParamType对比去判断T的类型。

举一个例子，如果这个是我们的模板，

template<typename T>
void f(T& param);           // param是一个引用类型

我们有这样的代码变量声明：

int x = 27;                 // x是一个int
const int cx = x;           // cx是一个const int
const int& rx = x;          // rx是const int的引用

param和T在不同的调用下面的类型推导如下：

f(x);                       // T是int，param的类型时int&

f(cx);                      // T是const int，
                            // param的类型是const int&
f(rx);                      // T是const int
                            // param的类型时const int&

在第二和第三部分的调用，注意cx和rx由于被指定为const类型变量，T被推导成const int，这也就导致了参数的类型被推导为const int&。这对调用者非常重要。当传递一个const对象给一个引用参数，他们期望对象会保留常量特性，也就是说，参数变成了const的引用。这也就是为什么给一个以T&为参数的模板传递一个const对象是安全的：对象的const特性是T类型推导的一部分。

在第三个例子中，注意尽管rx的类型是一个引用，T仍然被推导成了一个非引用的。这是因为rx的引用特性会被类型推导所忽略。

这些例子展示了左值引用参数的处理方式，但是类型推导在右值引用上也是如此。当然，右值参数只可能传递给右值引用参数，但是这个限制和类型推导没有关系。

如果我们把f的参数类型从T&变成const T&，情况就会发生变化，但是并不会令人惊讶。由于param的声明是const引用的，cx和rx的const特性会被保留，这样的话T的const特性就没有必要了。

template<typename T>
void f(const T& param);     // param现在是const的引用

int x = 27;                 // 和之前一样
const int cx = x;           // 和之前一样
const int& rx = x;          // 和之前一样

f(x);                       // T是int，param的类型是const int&

f(cx);                      // T是int，param的类型是const int&

f(rx);                      // T是int，param的类型是const int&

和之前一样，rx的引用特性在类型推导的过程中会被忽略。

如果param是一个指针（或者指向const的指针）而不是引用，情况也是类似：

template<typename T>
void f(T* param);           // param是一个指针

int x = 27;                 // 和之前一样
const int *px = &x;         // px是一个指向const int x的指针

f(&x);                      // T是int，param的类型是int*

f(px);                      // T是const int
                            // param的类型时const int*

到目前为止，你或许瞌睡了，因为C++在引用和指针上的类型推导法则是如此的自然，我写出来读者看显得很没意思。所有的事情都这么明显！这就是读者所期望的的类型推导系统吧。

###第二种情况：ParamType是个通用的引用（Universal Reference）

对于通用的引用参数，情况就变得不是那么明显了。这些参数被声明成右值引用（也就是函数模板使用一个类型参数T，一个通用的引用参数的申明类型是T&&），但是当传递进去右值参数情况变得不一样。完整的讨论请参考条款24，这里是先行版本。

  • 如果expr是一个左值，T和ParamType都会被推导成左值引用。这有些不同寻常。第一，这是模板类型T被推导成一个引用的唯一情况。第二，尽管ParamType利用右值引用的语法来进行推导，但是他最终推导出来的类型是左值引用。

  • 如果expr是一个右值，那么就执行“普通”的法则（第一种情况）

举个例子：

template<typename T>
void f(T&& param);			// param现在是一个通用的引用

int x = 27;                 // 和之前一样
const int cx = x;           // 和之前一样
const int& rx = x;          // 和之前一样

f(x);						// x是左值，所以T是int&
							// param的类型也是int&

f(cx);						// cx是左值，所以T是const int&
							// param的类型也是const int&

f(rx);						// rx是左值，所以T是const int&
							// param的类型也是const int&

f(27);						// 27是右值，所以T是int
							// 所以param的类型是int&&

条款23解释了这个例子推导的原因。关键的地方在于通用引用的类型推导法则和左值引用或者右值引用的法则大不相同。特殊的情况下，当使用了通用的引用，左值参数和右值参数的类型推导大不相同。这在非通用的类型推到上面绝对不会发生。

###第三种情况：ParamType既不是指针也不是引用

当ParamType既不是指针也不是引用，我们把它处理成pass-by-value：

template<typename T>
void f(T param);			// param现在是pass-by-value

这就意味着param就是完全传给他的参数的一份拷贝——一个完全新的对象。基于这个事实可以从expr给出推导的法则：

  1. 和之前一样，如果expr的类型是个引用，将会忽略引用的部分。

  2. 如果在忽略expr的引用特性，expr是个const的，也要忽略掉const。如果是volatile，照样也要忽略掉（volatile对象并不常见。它们常常被用在实现设备驱动上面。查看更多的细节，请参考条款40。）

这样的话：

int x = 27;                 // 和之前一样
const int cx = x;           // 和之前一样
const int& rx = x;          // 和之前一样

f(x);                       // T和param的类型都是int

f(cx);                      // T和param的类型也都是int

f(rx);                      // T和param的类型还都是int

注意尽管cx和rx都是const类型，param却不是const的。这是有道理的。param是一个和cx和rx独立的对象——一个cx和rx的拷贝。cx和rx不能被修改和param能不能被修改是没有关系的。这就是为什么expr的常量特性（或者是易变性）（在很多的C++书籍上面const特性和volatile特性被称之为CV特性——译者注）在推导param的类型的时候被忽略掉了：expr不能被修改并不意味着它的一份拷贝不能被修改。

认识到const（和volatile）在按值传递参数的时候会被忽略掉。正如我们所见，引用的const或者是指针指向const，expr的const特性在类型推导的过程中会被保留。但是考虑到expr是一个const的指针指向一个const对象，而且expr被通过按值传递传递给param：

template<typename T>
void f(T param);            // param仍然是按值传递的（pass by value）

const char* const ptr =     // ptr是一个const指针，指向一个const对象
  "Fun with pointers";

f(ptr);                     // 给参数传递的是一个const char * const类型

这里，位于星号右边的const是表明指针是常量const的：ptr不能被修改指向另外一个不同的地址，并且也不能置成null。（星号左边的const表明ptr指向的——字符串——是const的，也就是说字符串不能被修改。）当这个ptr传递给f，组成这个指针的内存bit被拷贝给param。这样的话，指针自己（ptr）本身是被按值传递的。按照按值传递的类型推导法则，ptr的const特性会被忽略，这样param的推导出来的类型就是const char*，也就是一个可以被修改的指针，指向一个const的字符串。ptr指向的东西的const特性被加以保留，但是ptr自己本身的const特性会被忽略，因为它要被重新复制一份而创建了一个新的指针param。

##数组参数

这主要出现在mainstream的模板类型推导里面，但是有一种情况需要特别加以注意。就是数组类型和指针类型是不一样的，尽管它们通常看起来是可以替换的。一个最基本的幻觉就是在很多的情况下，一个数组会被退化成一个指向其第一个元素的指针。这个退化的代码常常如此：

const char name[] = "J. P. Briggs";     // name的类型是const char[13]

const char * ptrToName = name;          // 数组被退化成指针

在这里，const char*指针ptrToName使用name初始化，实际的name的类型是const char[13]。这些类型（const char*和const char[13]）是不一样的，但是因为数组到指针的退化规则，代码会被正常编译。

但是如果一个数组传递给一个安置传递的模板参数里面情况会如何？会发生什么呢？

template<typename T>
void f(T param);            // 模板拥有一个按值传递的参数

f(name);                    // T和param的类型会被推到成什么呢？

我们从一个没有模板参数的函数开始。是的，是的，语法是合法的，

void myFunc(int param[]);       // 和上面的函数相同

但是以数组声明，但是还是把它当成一个指针声明，也就是说myFunc可以和下面的声明等价：

void myFunc(int* param);        // 和上面的函数是一样的

这样的数组和指针等价的声明经常会在以C语言为基础的C++里面出现，这也就导致了数组和指针是等价的错觉。

因为数组参数声明会被当做指针参数，传递给模板函数的按值传递的数组参数会被退化成指针类型。这就意味着在模板f的调用中，模板参数T被推导成const char*：

f(name);                    // name是个数组，但是T被推导成const char*

但是来一个特例。尽管函数不能被真正的定义成参数为数组，但是可以声明参数是数组的引用！所以如果我们修改模板f的参数成引用，

template<typename T>
void f(T& param);           // 引用参数的模板

然后传一个数组给他

f(name);                    // 传递数组给f

T最后推导出来的实际的类型就是数组！类型推导包括了数组的长度，所以在这个例子里面，T被推导成了const char [13]，函数f的参数（数组的引用）被推导成了const char (&)[13]。是的，语法看起来怪怪的，但是理解了这些可以升华你的精神（原文knowing it will score you mondo points with those few souls who care涉及到了几个宗教词汇——译者注）。

有趣的是，声明数组的引用可以使的创造出一个推导出一个数组包含的元素长度的模板：

// 在编译的时候返回数组的长度（数组参数没有名字，
// 因为只关心数组包含的元素的个数）
template<typename T, std::size_t N>
constexpr std::size_t arraySize(T (&)[N]) noexcept
{
    return N;                   // constexpr和noexcept在随后的条款中介绍
}

（constexpr是一种比const更加严格的常量定义，noexcept是说明函数永远都不会抛出异常——译者注）

正如条款15所述，定义为constexpr说明函数可以在编译的时候得到其返回值。这就使得创建一个和一个数组长度相同的一个数组，其长度可以从括号初始化：

int keyVals[] = { 1, 3, 7, 9, 11, 22, 35 };     // keyVals有七个元素

int mappedVals[arraySize(keyVals)];             // mappedVals长度也是七

当然，作为一个现代的C++开发者，应该优先选择内建的std::array：

std::array<int, arraySize(keyVals)> mappedVals; // mappedVals长度是七

由于arraySize被声明称noexcept，这会帮助编译器生成更加优化的代码。可以从条款14查看更多详情。

##函数参数

数组并不是C++唯一可以退化成指针的东西。函数类型可以被退化成函数指针，和我们之前讨论的数组的推导类似，函数可以被推华城函数指针：

void someFunc(int， double);    // someFunc是一个函数
                                // 类型是void(int, double)

template<typename T>
void f1(T param);               // 在f1中 参数直接按值传递

template<typename T>
void f2(T& param);              // 在f2中 参数是按照引用传递

f1(someFunc);                   // param被推导成函数指针
                                // 类型是void(*)(int, double)

f2(someFunc);                   // param被推导成函数指针
                                // 类型时void(&)(int, double)

这在实践中极少有不同，如果你知道数组到指针的退化，或许你也就会就知道函数到函数指针的退化。

所以你现在知道如下：auto相关的模板推导法则。我把最重要的部分单独在下面列出来。在通用引用中对待左值的处理有一点混乱，但是数组退化成指针和函数退化成函数指针的做法更加混乱呢。有时候你要对你的编译器和需求大吼一声，“告诉我到底类型推导成啥了啊！”当这种情况发生的时候，去参考条款4，因为它致力于让编译器告诉你是如何处理的。

要记住的东西
在模板类型推导的时候，有引用特性的参数的引用特性会被忽略
在推导通用引用参数的时候，左值会被特殊处理
在推导按值传递的参数时候，const和/或volatile参数会被视为非const和非volatile
在模板类型推导的时候，参数如果是数组或者函数名称，他们会被退化成指针，除非是用在初始化引用类型