[C ++詳細分析] 45.配列クラステンプレート

1数値テンプレートパラメータ

テンプレートパラメータは数値パラメータでもかまいませんが、以下に示すように、テンプレートパラメータNは数値です。

数値テンプレートパラメータの制限

• 変数、浮動小数点数、クラスオブジェクトはテンプレートパラメータとして使用できません

本質：テンプレートパラメータは、コンパイルフェーズ中に処理される単位であるため、コンパイルフェーズ中に一意かつ正確に決定する必要があります。

プログラミング実験：1 + 2 + 3 + ... + Nを計算する最も効率的な方法

// 45-1.cpp
#include<iostream>
using namespace std;

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;
}

数値テンプレートパラメータを使用してクラステンプレートを定義すると、VALUEは再帰的に定義され、Sum :: VALUE + Nに等しくなります。次に、テンプレートの特殊化を使用して、Nが1のときにVALUE値を定義します。

特定のクラスは、特定のN値に基づいて生成されます。コンパイル時にクラスのVALUEが決定されているため、ランタイムは計算なしで値を取得するだけであり、最速です。

コンパイルして実行：

$ g++ 45-1.cpp -o 45-1
$ ./45-1
1+2+3+...+10 = 55
1+2+3+...+100 = 5050

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 = (index >= 0) && (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 = (index >= 0) && (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

// 45-2.cpp
#include<iostream>
#include"Array.h"
using namespace std;
int main()
{
    Array<char, 10>a;
    for (int i = 0; i < 10; i++)
    {
        a[i] = 'a' +  i;
    }
    for (int i = 0; i < 10; i++)
    {
        cout << a[i] << ", ";
    }
    cout << endl;
    return 0;
}

テンプレートおよび数値テンプレートパラメータを使用して、配列クラステンプレートを定義します。

$ g++ 45-2.cpp -o 45-2
$ ./45-2
a, b, c, d, e, f, g, h, i, j, 

3配列クラスの変換

[12]、深さ分析C ++コンストラクタ、コピーコンストラクタとデストラクタ、我々は、配列クラスを定義し、コピーコンストラクタを増加させるとディープコピーを実施しました。半完成オブジェクトの生成を防ぐために、[C ++詳細分析] 17では、2次構造を改善する2 次構造モード。ここでは、変換にクラステンプレートを使用します。

// HeapArray.h
#ifndef _HEAPARRAY_H_
#define _HEAPARRAY_H_
template<typename T>
class HeapArray
{
private:
    HeapArray(int len);
    HeapArray(const HeapArray& obj);
    bool construct();
    int m_length;
    T* m_pointer;
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 != NULL && ret->construct()))
    {
        delete ret;
        ret = NULL;
    }
    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 = (index >= 0) && (index < m_length);
    if (ret)
    {
        value = m_pointer[index];
    }
    return ret;
}

template<typename T>
bool HeapArray<T>::set(int index, T value)
{
    bool ret = (index >= 0) && (index < m_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

// 45-3.cpp
#include<iostream>
#include"HeapArray.h"
using namespace std;
int main()
{
    HeapArray<char>* pa = HeapArray<char>::NewInstance(10);
    if (pa != NULL)
    {
        HeapArray<char>& ai = pa->self();
        for (int i = 0; i < ai.length(); i++)
        {
            ai[i] = 'a' + i;
        }
        for (int i = 0; i < ai.length(); i++)
        {
            cout << ai[i] << ", ";
        }
        cout << endl;
    }
    return 0;
}

$ g++ 45-3.cpp -o 45-3
$ ./45-3
a, b, c, d, e, f, g, h, i, j, 

4まとめ

1.テンプレートパラメータは数値パラメータにすることができます
2.数値テンプレートパラメータはコンパイル中に一意に決定される必要があります