Using template in practice(实际运用)

Inclusion model(置入式模型)

Linker error（链接错误）

声明（.h）和实现(.cpp)，可能导致

把Template放进头文件中（Header files）

这种template写法称为置入式模型，推荐这么做，可能浪费编译时间

---

Explicit instantiation(显示具现化)

• 最多只能有一份显示具体化
• 显示具体化可以根据程序的实际需求进行最佳调整。也可以避免含入巨大的表头文件。

结合置入式模型和显示初始化

---

Separation model(分离式模型)

export(关键字)

• 适用于function template，class template成员函数，member function templates，class templates的static成员变量
• 不能和关键字inline合用
• 必须放在template之前

分离式模型的局限

…

为分离式模型预做准备

使用预处理指令

Template与关键字inline

将定义式置于头文件，造成一种假象：function template预设情况下都是inline，其实他们并不是
，如果你期望编写一个inline function template，你应该明确的使用关键字inline。

预编译头文件（Precompiled headers）

可以把所有使用到的标准程序库写在一个表头

#include "std.hpp"//稳定层
#include ".h"
...

---

Template的除错（debugging）

• syntactis constraints(语法约束)
• semantic constraints(语意约束)
• consepts(概念)，表示一个约束集…

解读长篇错误讯息（Decoding the error novel）

小工具 STL filt

浅具现化（Shallow instantiation）

安插一些用不到的程序码，它们不干别的，只为了在template arguments无法满足更深层次templates的需求时，引爆错误。

template<typenmae T>
inline void ignore(T const&)
{
}

template<typename T>
void shell(T const& env)
{
    class ShallowChecks
    {
        void deref(T::index ptr)
        {
            ignore(*ptr);
        }
    };
typename T::index i;
fun(i);
}

ShallowChecks是一个local class实际上并未被使用，因此不会对shell的执行有影响。不幸的是编译器会给出警告说ShallowChecks class和其成员并未被使用到，用ignore（）抑制这个警告。
Concept Check Library - Boost-BCCL。

Long symbols（长符号）

std::string - STL::basic_string<char, STL::char_traits<char>, _STL::allocator<char>>

Tracers（追踪器）

追踪器是用户自定义的class

Oracles-run-time analysis oracles

原型/模本Archetypes