备忘：

template造成的代码膨胀问题？

 实际上，膨胀的是多数是目标代码，而非源代码，后者通常是变小了。template主要目的之一就是为了源代码复用，复用当然是避免代码冗余了。

 几种膨胀的情形：

1。template中参数无关的代码会导致代码膨胀。

解决：分离之，如可以提到模版的基类。

typename与class 关键字的区别？

template的参数

参数可以是type和non-type，个数无限制，但不能有相同名称相同但参数个数不同的模版共存。

template<class T>

class MyTemplateClass {...} ;

template<int i>

class MyTemplateClass {...};

template的特化

 template必须特化才能使用。特化分全特化和局部特化。

其中，局部可以是参数的个数，也可以是参数的类型范围，如type和pointer type

编译器会匹配最符合的版本。

 template<typename T>

class MyTemplateClass {};

特化版本：（指针类型）

template<typename T>

class MyTemplateClass<T*> {};

所有指针类型都会使用这一实现，如： MyTemplateClass<int* > c;

Functor

与callback function的比较:

1.Functor的灵活性更好，无需signature

2.Functor能携带更多的信息，因为它是一个object

 template function的返回值类型

只能跟参数类型一致，如果有的话。

Adapter

Container Adapters

例子：stack,queue: 配接/使用deque

Function/Functor Adapters

例子：negater,binder,composer

就是一个Functor包装其内部adaptable functor的接口变成想要的接口

Iterator Adapters

例子：istream_iterator,ostream_iterator,reverser,inserter

Proxy

为对象提供一个代理，用以控制对该对象的存取。

 例子：std::vector<bool>, std::string (support ref couting)

details:

std::string (support ref couting)

[] 操作符不能区分是lvalue or rvalue，就不好判断该操作是否会改变对象值。此时，如使用proxy，可以判断对象的读写操作。

一般rvalue肯定用到了proxy的转型函数，如：cout<<s[1];

lvalue对应proxy的assignment操作符或者copy constructor，或者operator &

如:s[2] = 'x'; / s[3] = s[4]; / char* p = &(s[5]);

支持ref couting的std::string与smartpointer对象的区别：

后者一般会传递所指对象的所有权，而前者不会。

五种iterator的类型以及关系

input_iterator_tag/output_iterator_tag

/|\

 |

forward_iterator_tag

/|\

 |

bidirectional_iterator_tag

/|\

 |

random_access_iterator_tag

其中，random_access_iterator_tag灵活性最高，类似native pointer行为。

forward_iterator_tag是继承自input_iterator_tag,它派生了什么行为？

Traits
 

 type traits

type特性指的是这个type是否具有non-trival default ctor/copy ctor/assignment op/dtor?如果是否定的，那么在对这些type进行构造拷贝赋值析构时就可以采取优化措施。

iterator traits

能够由iterator得到其所指的对象类型以及相应类型（associated types）： value type/difference type/reference type/pointer type/iterator tags