[c++][template]类模板

1. 在类模板中使用类型时要加上模板类型，如：Stack。而表示类时就只用类名，如：Stack。

2. 一个绝对异常安全并且返回被删除元素的pop()是不可能的。参考[CargillExceptionSafty]

3. 对于类模板，成员函数只有在被使用的时候才会被实例化。如果类模板中含有静态成员，那么用来实例化的每种类型，都会实例化这些静态成员。

4. 特化类模板

template<>

class Stack<std::string>

{

public:

void push(std::string const& elem);

void pop();

std::string top() const;

bool empty() const;

private:

//Stack(Stack<T> const&);

Stack<std::string>& operator=(Stack<std::string> const&);

private:

std::vector<std::string> m_elems;

};

void Stack<std::string>::push(const std::string &elem)

{

m_elems.push_back(elem);

}

1. 局部特化

template <typename T1, typename T2>

class MyClass {

...

};

可以局部特例化为以下几种类型：

template <typename T>

class MyClass<T,T> {

...

};

template <typename T>

class MyClass<T,int> {

...

};

template <typename T1, typename T2>

class MyClass<T1*,T2*> {

...

};

同等匹配问题：

比如：

Myclass<int,int> m; //equally suitable to MyClass<T,T> and MyClass<T,int>

MyClass<int*,int*> m; //equally suitable to MyClass<T,T> and MyClass<T1*,T2*>

解决上述二义性的方法就是提供一个完全匹配的类型的特化，比如提供一个相同类型的指针的特化：

template <typename T>

class MyClass<T*,T*> {

...

};

1. 缺省模板参数

下面的例子就将CONT的默认值设置为std::vector

template<typename T, typename CONT = std::vector<T> >

class Stack {

private:

CONT elems;

};

1. 非类型的类模板参数

template<typename T, int MAXSIZE>

class Stack {

private:

T elems[MAXSIZE];

...

};

非类型模板参数的限制：通常它们可以是常整数(包括枚举值)或者指向外部链接对象的指针。

浮点数和类对象是不允许作为非类型模板参数的

template <char const* name>

class MyClass {

…

};

MyClass<"hello"> x;   // ERROR: string literal "hello" not allowed

//You cannot use a global pointer either:

template <char const* name>

class MyClass {

…

};

char const* s = "hello";

MyClass<s> x;         // ERROR: s is pointer to object with internal linkage

//However, the following is possible:

template <char const* name>

class MyClass {

…

};

extern char const s[] = "hello";

MyClass<s> x;        // OK

原文链接: https://www.cnblogs.com/xuczhang/archive/2010/05/10/1732066.html

欢迎关注

微信关注下方公众号，第一时间获取干货硬货；公众号内回复【pdf】免费获取数百本计算机经典书籍