这里语法有误，印刷版已经修正（2018年5月第1版 人民邮电出版社）

更正为：

if (isless(std::cref(s), "world")) ... // ERROR
if (isless(std::cref(s),  std::string("world"))) ... // ERROR

这里对Stack stringStack = "bottom";不合法的情景解读有误

原文的说法是：

However, by language rules, you can't copy initialize (initialize using =) an object by passing a string literal to a constructor expecting a std::string. So you have to initialize the stack as follows:

Stack stringStack{"bottom"};    //Stack<std::string> deduced and valid

直译如是：
然而，根据语言规则，你无法通过传递一个字符串字面量来拷贝初始化（使用=初始化语法）一个期望传递std::string的对象。因此，你不得不按下面的方式初始化：Stack stringStack{"bottom"}; //Stack<std::string> deduced and valid

但我觉着这里作者的说法也不太对，上面的Stack stringStack = "bottom";之所以不合法，是因为类的初始化赋值语句实际上会调用copy constructor，但是copy constructor需要的是一个Stack<std::string>（Deduction Guides推断的T为std::string），而const char [7]("bottom"字面量是const char [7]类型)无法转换成non-scalar typeStack<std::string>

我写了一段代码来验证：

template<typename T>
class Stack {
  private:
    std::vector<T> elems;
  public:
    Stack(const T& elem) : elems({elem}) {}
};

Stack(char const*) -> Stack<std::string>;

int main()
{
  Stack stringStack = "bottom";
  return 0;
}

用gcc 7.3.1编译报错如下：

$ g++ main.cpp -o main -std=c++17
main.cpp: In function ‘int main()’:
main.cpp:38:23: error: conversion from ‘const char [7]’ to non-scalar type ‘Stack<std::basic_string<char> >’ requested
   Stack stringStack = "bottom";
                       ^~~~~~~~

std::basic_string是std::string的alias

可以看到这里需要一个隐式转换的方法（即接受const char [7]的一个ctor但显然没有），所以编译失败。
但终归是能看到上面的Deduction Guide语句生效了，因为确实编译错误里认为stringStack是Stack<std::basic_string<char> >，尽管"bottom"是const char [7]，与const char*有些区别，但依然可以被推导为std::string。当我把“bottom”换成const char *str = "bottom"; Stack stringStack = str;，再次编译，错误变成：

main.cpp: In function ‘int main()’:
main.cpp:36:23: error: conversion from ‘const char*’ to non-scalar type ‘Stack<std::basic_string<char> >’ requested
   Stack stringStack = str;
                       ^~~

也是符合预期的，因为被我手工decay成了const char *，Deduction Guide依然生效。

当把Deduction Guide语句删除后，并重新改为Stack stringStack = "bottom";编译错误迥然不同了：

main.cpp: In instantiation of ‘Stack<T>::Stack(const T&) [with T = char [7]]’:
main.cpp:36:23:   required from here
main.cpp:28:40: error: no matching function for call to ‘std::vector<char [7], std::allocator<char [7]> >::vector(<brace-enclosed initializer list>)’
     Stack(const T& elem) : elems({elem}) {}
                                        ^
......

省略了后面一大段，只看前面就可以看到T被推断为char[7]，这里接受const T&参数的ctor语法编译就不通过了。而如果是const char *str = "bottom"; Stack stringStack = str;则可以编译通过，这也是符合模板推断预期的。

至于后面的花括号直接初始化语法当然是可行的（这里因为既不是aggregate class也没有initializer_list做参数的ctor，所以是匹配某个合适的ctor），这个就不展开了，实际上，用小括号语法直接调用构造器也可以完成const char*->std::string的推断：Stack stringStack("bottom");

使用原文代码，并没有报错

测试平台为vs2019

这里，人民邮电出版社 2018年5月第1版已经修改为 pass s by value了。

想问一下是否有在做第二部分的翻译，如果可以的话，我也想贡献一些力量。
我建了个repo存储自己做的一些章节翻译，用Obsidian.md管理
https://github.com/r00tk1ts/cpp-templates-2nd

有没有考虑合并r00tk1ts/cpp-templates-2nd的内容出一个完整版的pdf？
因为你的doc被加密了，其他人想补充貌似做不到

用wps打开时，提示没有权限。

Template member functions can be used wherever special member functions allow copying or moving objects.
结合上下文，这一句作者想要表达的意思应该是：只要类允许有copy/move ctor or assignment，那么这些特殊成员函数也是可以模板化的。

这里有个错别字，应该是“模板化”，另外更精准地叙述应该是：“限制存在场景”是“不易模板化”的一个例子

老哥老哥 你的这本书是那本书啊！英文名字。谢谢我好想看到了一本和你的书差不多的书。
https://detail.tmall.com/item.htm?id=609777315913&ali_refid=a3_430582_1006:1121145746:N:zS7lu3s1ffbKiSTkf+Un2Ax5P/fwwjdS:e23fb5e3acfc593c4337e57194ef0f99&ali_trackid=1_e23fb5e3acfc593c4337e57194ef0f99&spm=a230r.1.14.6

这里"class"是个关键字，结合上下文，是说C++11之前Cont只能由"class"关键字修饰，不能用typename

rt

RT，英文原版都要一百多，中文版不知道节省多少时间，实在太辛苦了，也不能光用爱发电鸭

也可以将 class 定义成代表了一组下表的类型：

此处的“下表”应为“下标”

我看了一下手里的实体书（2018年5月印刷），里面是没有这一冗余行的

非常感谢您的付出。但还是冒昧的问一下，第12章-第17章的内容有打算翻译吗？

此处应该是 编译期 而不是 编译器

中 -> 种

后 -> 候

operator==并非Stack成员，所以原文应该并没有少

这里有个笔误，应该是std::declvar()本身返回右值引用。

我看目录为啥11章直接跳到了18章？中间章节还在翻译吗？

calibre这个软件可以转，但是work文档没有权限，

第14页的sts::string应为std::string.

这里这样翻译可能会有读者难以理解。之所以不能用万能引用+完美转发，是因为函数体内对op调用了多次（是个while循环，迭代iterator），第一次执行后一旦使用了移动语义会对后续的调用产生副作用（即steal），也就是原文所说的subsequent iterations。

希望加入此书的翻译，现有英文纸质书一本。

请问README中图片是用的什么软件，效果还挺好的

如果调用参数是按值传递的，那么只有退化（decay）这一类简单转换是被允许的：const 和 volatile 限制符会被忽略，引用被转换成被引用的类型，raw array 和函数被转换为相 应的指针类型。通过模板类型参数 T 定义的两个参数，它们实参的类型在退化（decay） 后必须一样。
粗体部分应该是:通过模板类型参数 T 定义的两个参数，它们的退化类型(ignore const/raw array->pointer)必须一样。
template
bool cmp( T t1, T t2 )
{
return *t1 < *t2;
}
int main()
{
int arr[ ] = { 1, 2,3 };
const int * p1 = arr;
int * p2 = arr;//lead toerror
const int * p2 = arr;//fine
cmp( p1, p2 );
}

这里印刷版已经修正为int*了:

人民邮电出版社 2018年五月第1版

能把那么厚一本书翻译下来真了不起，希望尽早能拜读！

  template<typename _Res, typename... _ArgTypes>
    class function<_Res(_ArgTypes...)>

这个定义 里面 class function后面的 "<_Res(_ArgTypes...) “,从语法上讲，属于哪个部分。
哪里有讲为什么可以这么写。

有人跟我说这个是偏特化。但是我看特化里面。。这里应该是指定特化的，特别格式 。比如说某个模板参数是什么，应该跟析板参数 对应的。
他这个好像指出了模板参数的组织形式。（ps:我知道 他是为指明一个函数形式（signature))

讲知道 的大神指导一下

厉害！！！

原文应该指的是nullptr的类型是std::nullptr_t

template<typename List, typename NewElement>
class PushBackRecT<List, NewElement, false>
{
    using Head = Front<List>;
    using Tail = PopFront<List>;
    using NewTail = typename PushBackRecT<Tail, NewElement>::Type;
public:
    using Type = PushFront<Head, NewTail>;
};

这里参数是不是反了，PushFront 接收的第一个参数是个 Typelist，第二个才是具体的 type。Head 是个具体的 type，而 NewTail 是个 Typelist

另外问一下作者还在翻译吗，这本书真的很棒，期待能看到完整版
看到 12 ~ 16 章的翻译了，感谢大佬们的无私奉献~

这里少了半句原文对花括号值初始化的补充说明。花括号值初始化的一个好处在于，如果类本身没有可用的默认构造器的话，提供一个initializer_list构造器也是可行的。

＞Prior to C++17, this mechanism (which is still supported)
only worked if the constructor selected for the copyinitialization
is not explicit. In C++17, mandatory copy
elision avoids that limitation and either syntax can work,
but the braced initialized notation can use an initializerlist
constructor1 if no default constructor is available.

会遇到 run-time error, 这是因为对 C 字符串，max(max(a, b), c)会创建一个用于返回的临时局
部变量，而在返回语句接受后，这个临时变量会被销毁，导致 man()使用了一个悬空的引用。
不幸的是，这个错误几乎在所有情况下都不太容易被发现。

上文中max被拼写成了man

Can you send me the book of the English version?

这里我解释一下，这种用法的场景是想在return之前做一些无关的别的事儿，需要把ret暂存起来，所以搞了个dummy对象，设计了个析构函数，想要做的事儿放在析构里做就行了，如此函数就无需定义ret了

当返回类型是auto的时候也是这样（标注：如果是这样，上面的例子中为什么要用std::decay<>呢？）

解答：因为此处的auto仅仅是占位符，实际的返回类型由尾置返回类型明确指定了。

读书重在交流，尤其是这本非常具有深度的书，如果众多书友在读的过程中能够记录下自己的思考，疑问点，评注等，
然后集中一起，可以相互看见，那么这会大大扩展这本书的价值。
【Tips】如果有可能，希望这份repo中能够看到批注信息。

在原书P69, 您翻译的pdf P64, explicit 应该不被翻译更好理解吧,
在 C++17 之前，这一方式（目前依然被支持）只有在与拷贝初始化对应的构造函数不是被显 式定义的时候才有效。
在C++17之前, 这一方式(目前依然被支持)只有在拷贝初始化对应的构造函数不被定义成explicit时才有效
即使它有显式的构造函数也是这样。
即使它的构造函数被定义成explicit也可以工作