Table of Contents generated with DocToc
调试模板时总是会遇到两类相反的问题：
- 如果确保编写出的模板对于所有满足特定条件的模板实参都能正常工作？
- 当模板未正常工作时如何找到模板实参未满足的那个条件？
在思考所有之前，区分约束的种类是有必要的：
- 语法约束（syntactic constraints）：如果违反则会报出编译错误的约束。
- 语义约束（semantic constraints）：违反了之后不会报出编译错误的约束。
- 举个例子：对于模板参数需要能够比较的约束，要求具有一个
operator<是语法约束，而要求这个类型在其作用域上是严格弱序的则是语义约束。 - 本章主要讨论语法约束，语义约束本质上并没有好的方法来检测与证实。
当模板实例化发生错误时，问题经常发生在一条很长的实例化链条上，通常都会报出非常冗长的错误信息。
浅式实例化是指在实例化的顶层插入不会参与执行的但是同底层满足相同约束的代码，提前触发实例化错误。
- 典型手段是：局部类（local class）。
- 很显然这增加了代码编写的复杂度，并且引入了无用的代码。
- 所以一个很典型的想法是将这些约束收集起来放到某种库中。C++20中某种程度上可以使用
<concept>概念库做这件事情了。 - 可以使用静态断言代替。
C++继承自C语言的assert()宏可以用以运行时断言，如果断言失败程序会中断在这个点以便程序员修复。
而C++11引入的static_assert关键字，同样的目的但是是在编译期断言，断言一个编译期表达式为真，如果为假，则会编译失败。
- 静态断言可以用于浅式实例化可以用的所有地方，通过定义一个特征或者概念，使用静态断言即可做到和浅式实例化一样的效果。
- C++20之后，配合概念，对于比较简单的情况可以直接对
requires表达式做静态断言，都不需要定义为概念。
在确定一个模板是否能够针对任何满足了约束的模板实参进行实例化时，可以定义一个原型（Archetype）进行测试。
- 比如一个函数
find需要模板参数类型能够使用operator==比较，并且比较结果能够转换bool。 - 那么可以定义如下原型，进行实例化尝试：
class EqualityComparableArchetype {};
class ConvertibleToBoolArchetype
{
public:
operator bool() const;
};
ConvertibleToBoolArchetype operator==(const EqualityComparableArchetype&, const EqualityComparableArchetype&);- 如果能够实例化通过，说明模板实现正确。不能实例化，则说明模板中有其他多余的约束。
- 注意原型中也不应该添加多余功能。
略，就是针对特定对象编写的跟踪程序，比如跟踪创建了多少对象、销毁了多少、复制了多少等。
略。
略。