Effective Modern C++ 条款9补完 理解模板类型推断
http://blog.csdn.net/big_yellow_duck/article/details/52224068
看大黄鸭的《Effective Modern C++》翻译时，第9款最后有一小部分没有翻，于是去看英文版补全，
看的时候顺便翻译了一下。然后今天校对过后把它发出来。
条款9 理解模板类型推断 （最后小半部分）
如果你做过模板元编程（templete meta programming， TMP），你肯定会遇到过要把模板类型转换为其他类型的需求。例如，对于类型T，你可能想要去除T含有的const 修饰或者引用修饰，具体来说，比如你可能会想把const string& 变成std::string。或者你也有可能想把一个类型加上const修饰或者左值引用修饰，具体来说，比如把Widget变成const Widget或者Widget&。（如果你还没有碰到过模板元编程，那可真是太糟糕了，因为如果你想成为真正高效的C++程序员，你就需要对c++的这一块至少有最基本的了解。你会在条款25和条款29中也看到TMP的例子，其中也包含了我在上面提及到的类型转换。
c++11提供了实行这样转换的工具，他们叫做type traits，是一种变形的模板类，包含在头文件
std::remove_const
std::remove_reference
std::add_lvalue_reference
上面的注释只是简单说明代码做了什么。不要在意我的修辞手法。不过在把他们用到工程中之前，你一定去会仔细查阅他们的说明文档的，这我知道。
不过我在这里的原意也不是上一堂关于type traits的教学课。我请你注意到这些转换接口的末尾都带有“::type”的后缀。如果你用它们在模板内部作为参数传递（实际上你总是这样使用它们），你也不得不在每个前面加上一个“typename”。会出现这样像是马路两边的“路牙”的玩意，是因为c++11的type traits的实现，是基于模板化结构的内部嵌套typedef。没错，那就是我曾经极力向你推荐的类型变化技巧，现在他们输给了模板别名（alias template）！！（译注：即using关键字）
c++11这样做是有历史原因的，不过我们先跳过他们（说明很无趣，我保证）。长话短说，因为c++标准化委员会终于认识到模板别名是更好的实现方案，他们于是先在c++14里为这些c++11风格的类型转换做了一层包装。包装具有如下形式：对每个c++11形如std::transformation
std::remove_const
std::remove_const_t
std::remove_reference
std::remove_reference_t
std::add_lvalue_reference
std::add_lvalue_reference_t
c++11形式的接口在c++14里还能用，不过我想不出你还有什么理由用他们。即使你没有c++14，你自己写一个模板别名也是小菜一碟。这只需要用到c++11的语言特性，连三岁小孩也能做到的，相信我。即使你能拿到一份c++14标准案的拷贝，也还是自己写比较简单，因为所有你要做的就是拷贝粘贴。我会给你起个头（也是通过拷贝粘贴）：
template
using remove_const_t = typename remove_const
template
using remove_reference_t = typename remove_reference
template
using add_lvalue_reference_t = typename add_lvalue_reference
你瞧，简单得不能再简单了吧。