C++之模板（三）

1、缺省模板参数

可以将数据结构类型传递进来，比如=vectop<T>（如果没传就是默认）

把vector当作类型参数来传递，从而使用它的接口然后适配出新的接口。实际上这个Stack称为适配器。有时候可能需要vector，但是又需要超出vector本身自带的功能，这时候就需要适配器，将vector当作参数传进去，嵌入到新写的模板中，这样就能适配原vector和新功能。

Stack.h

#include <stdexcept>
#include <deque>
using namespace std;

template <typename T, typename CONT = deque<T> >
class Stack
{
public:
    explicit Stack();
    ~Stack();

    void Push(const T& elem);
    void Pop();
    T& Top();
    const T& Top() const;
    bool Empty() const;

private:
    CONT c_;
};

template <typename T, typename CONT>
Stack<T, CONT>::Stack() : c_()
{

}

template <typename T, typename CONT>
Stack<T, CONT>::~Stack() {

}

template <typename T, typename CONT>
void Stack<T, CONT>::Push(const T& elem)
{
    c_.push_back(elem);
}

template <typename T, typename CONT>
void Stack<T, CONT>::Pop()
{
    c_.pop_back();
}

template <typename T, typename CONT>
T& Stack<T, CONT>::Top()
{
    return c_.back();
}

template <typename T, typename CONT>
const T& Stack<T, CONT>::Top() const
{
    return c_.back();
}

template <typename T, typename CONT>
bool Stack<T, CONT>::Empty() const {
    return c_.empty();
}

main.cpp

#include <iostream>
using namespace std;
#include "Stack.h"
#include <vector>

int main() {
    Stack<int, vector<int> > s;
    s.Push(1);
    s.Push(2);
    s.Push(3);
    while (!s.Empty())
    {
        cout << s.Top() << endl;
        s.Pop();
    }

    return 0;
}

// 输出
3
2
1

2、成员模板

上面的最后一行会报错，因为d已经定义成了double型，但是此时传入了int型。所以要把成员函数定义成模板。

注意这样子定义的话，x不能直接访问私有成员value，因为调用Assign的时候，参数的类型有可能和对象的类型不一样，不一样的时候，其实是两个类，类之间不能直接访问私有成员。同一种类型才能访问私有成员。

3、关键字typename的作用

如果没有typename，那么编译器就会解析成这样：这个T是一个类型，然后::域运算符，取到这个类中的静态数据成员SubType，然后*被解析成乘以，变成了SubType 乘以 ptr；

所以有typename则表示，后面的是一个类型，定义一个T::SubType类型的指针ptr

template <typename T>
class MyClass
{
private:
    typename T::SubType* ptr_;
};

class Test
{
public:
    typedef int SubType;  // 这边的话必须声明为public
};

int main() {
    MyClass<Test> myclass;
}

4、派生类和模板

5、面向对象与泛型编程