60 - 数组类模板

---- 整理自狄泰软件唐佐林老师课程

1. 预备知识

模板参数可以是 数值型参数（非类型参数）

• 数值型模板参数的 限制

  • 变量不能作为模板参数
  • 浮点数不能作为模板参数
  • 类对象不能作为模板参数

• 本质：模板参数是在 编译阶段 被处理的单元，因此，在编译阶段必须准确无误的 唯一确定

2. 问题

最高效 的方法求 1 + 2 + 3 + … + N 的值

2.1 编程实验：数值型模板参数

#include 
#include 

using namespace std;

template
< typename T, int N >
void func()
{
    T a[N] = {0};
    
    for(int i=0; i<N; i++)
    {
        a[i] = i;
    }
    
    for(int i=0; i<N; i++)
    {
        cout << a[i] << endl;
    }
}

template
< int N >
class Sum
{
public:
    static const int VALUE = Sum<N-1>::VALUE + N;
};

template
< >
class Sum < 1 >
{
public:
    static const int VALUE = 1;
};


int main()
{
    cout << "1 + 2 + 3 + ... + 10 = " << Sum<10>::VALUE << endl;
    cout << "1 + 2 + 3 + ... + 100 = " << Sum<100>::VALUE << endl;
    
    return 0;
}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46

2.2 编程实验：数组模板类

// array.h
#ifndef _ARRAY_H_
#define _ARRAY_H_

template
<typename T, int N>
class Array {
    T m_array[N];
public:
    int length();
    bool set(int index, T value);
    bool get(int index, T& value);
    T& operator[] (int index);
    T operator[] (int index) const;
    virtual ~Array();
};

template
<typename T, int N>
int Array<T, N>::length() {
    return N;
}

template
<typename T, int N>
bool Array<T, N>::set(int index, T value) {
    bool ret = (0 <= index) && (index < N);
    if (ret) {
        m_array[index] = value;
    }

    return ret;
}

template
<typename T, int N>
bool Array<T, N>::get(int index, T& value) {
    bool ret = (0 <= index) && ( index < N);
    if (ret) {
        value = m_array[index];
    }

    return ret;
}

template
<typename T, int N>
T& Array<T, N>::operator[] (int index) {
    return m_array[index];
}

template
<typename T, int N>
T Array<T, N>::operator[] (int index) const {
    return m_array[index];
}

template
<typename T, int N>
Array<T, N>::~Array() {

}

#endif
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64

2.3 编程实验：堆数组模板类

// HeapArray.h
#ifndef _HEAPARRAY_H_
#define _HEAPARRAY_H_

template
< typename T >
class HeapArray {
private:
    int m_length;
    T* m_pointer;
    
    HeapArray(int len);
    HeapArray(const HeapArray<T>& obj);
    bool construct();
public:
    static HeapArray<T>* NewInstance(int length); 
    int length();
    bool get(int index, T& value);
    bool set(int index ,T value);
    T& operator [] (int index);
    T operator [] (int index) const;
    HeapArray<T>& self();
    ~HeapArray();
};

template
< typename T >
HeapArray<T>::HeapArray(int len) {
    m_length = len;
}

template
< typename T >
bool HeapArray<T>::construct() {
    m_pointer = new T[m_length];
    
    return m_pointer != NULL;
}

template
< typename T >
HeapArray<T>* HeapArray<T>::NewInstance(int length)  {
    HeapArray<T>* ret = new HeapArray<T>(length);
    
    if( !(ret && ret->construct())) {
        delete ret;
        ret = 0;
    }
    
    return ret;
}

template
< typename T >
int HeapArray<T>::length() {
    return m_length;
}

template
< typename T >
bool HeapArray<T>::get(int index, T& value) {
    bool ret = (0 <= index) && (index < length());
    
    if( ret ) {
        value = m_pointer[index];
    }
    
    return ret;
}

template
< typename T >
bool HeapArray<T>::set(int index, T value) {
    bool ret = (0 <= index) && (index < length());
    
    if( ret ) {
        m_pointer[index] = value;
    }
    
    return ret;
}

template
< typename T >
T& HeapArray<T>::operator [] (int index) {
    return m_pointer[index];
}

template
< typename T >
T HeapArray<T>::operator [] (int index) const {
    return m_pointer[index];
}

template
< typename T >
HeapArray<T>& HeapArray<T>::self() {
    return *this;
}

template
< typename T >
HeapArray<T>::~HeapArray() {
    delete[]m_pointer;
}

#endif
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107

3. 小结

• 模板参数可以是数值型参数
• 数值型模板参数必须在编译期间唯一确定
• 数组类模板是基于数值型模板参数实现的
• 数组类模板是简易的线性表数据结构