テンプレート仮引数 | Programming Place Plus　C++編【言語解説】　第２２章

この章の概要 🔗

この章の概要です。

• 型のテンプレート仮引数
• ノンタイプテンプレート仮引数
• テンプレートテンプレート仮引数
• C++11 (可変個テンプレート仮引数)
• 練習問題
• 参考リンク
• 更新履歴

型のテンプレート仮引数 🔗

この章まで、テンプレート仮引数と言えば、次のように型を当てはめるものでした。

template <typename T>  // テンプレート仮引数 T
class DataStore {
};

template <typename T1, typename T2>  // テンプレート仮引数 T1、T2
void write_max(T1 a, T2 b);


DataStore<int> iStore;
write_max<int, double>(5, 5.5);  // 明示的な指定
write_max(5, 5.5);  // 自動的に推測

クラステンプレート^📘の場合は、テンプレート実引数は明示的に指定しなければなりませんが、関数テンプレート^📘の場合は、関数の実引数から自動的に推測させることもできます（第９章）。

ノンタイプテンプレート仮引数 🔗

今度は、テンプレート仮引数が型でないパターンを取り上げます。このようなテンプレート仮引数は、ノンタイプテンプレート仮引数（非型テンプレート仮引数）と呼ばれます。

単に「テンプレート仮引数」と書いた場合、型であろうと型でなかろうと、クラステンプレートや関数テンプレートの宣言のところに書くパラメータのことを指しているか、型によるテンプレート仮引数のことを指しているかのどちらかになります。分かりづらいですが、文脈から区別は付くと思います。

ノンタイプテンプレート仮引数は、次のように記述します。

template <int SIZE>
class IntArray {
private:
    int  mArray[SIZE];
};

型のテンプレート仮引数の場合なら、typename（あるいは class）と書いていた部分に、具体的な型名を記述します。テンプレート実引数には、その型の定数値だけが指定できます。

IntArray<100> iArray;         // 定数は OK

IntArray<50 + 50> iArray;     // 結果的に定数なので OK

int size = 100;
IntArray<size> iArray;        // 変数は使えない

const int ARRAY_SIZE = 100;
IntArray<ARRAY_SIZE> iArray;  // 定数は OK

enum { ARRAY_SIZE = 100; }
IntArray<ARRAY_SIZE> iArray;  // enum も定数なので OK

この例で、テンプレート実引数に 100 が指定されたとすれば、テンプレート仮引数 SIZE の部分が 100 に置き換えられて、次のようなクラスがインスタンス化されます。

template <int SIZE>
class IntArray {
private:
    int  mArray[100];  // SIZE == 100
};

なお、ノンタイプテンプレート仮引数には制約がいくつかあります。具体的には、浮動小数点型、void型、クラス型、内部結合されるオブジェクトを指しているポインタは使えません。４つ目の制約のため、文字列リテラルを使えないことに注意が必要です。

また、テンプレート実引数が異なると、別の型がインスタンス化されることになります。そのため、たとえば、「IntArray<100>」と「IntArray<200>」は別の型であることに注意してください。互いに関係性がないので、一方の型の変数を、他方の型の変数に代入したり、互いを比較したりはできません。

テンプレートテンプレート仮引数 🔗

次のコードを見てください。

template <typename DATA_STRUCT>
class IntDataStore {
public:
    /* 省略 */

private:
    DATA_STRUCT<int>  mValues;
};

意図としては、int型の複数の要素を管理するために使うデータ構造^📘を、テンプレート実引数で指定したいのです。しかし、たとえば、第２０章で作った Stack を使って管理させるため、次のように実体化しようとすると、エラーになります（実際には、Stackクラステンプレートにデフォルトコンストラクタが必要です）。

IntDataStore<Stack> store;  //エラー

問題は、テンプレート仮引数 DATA_STRUCT に対して、さらに <int> のようにテンプレート実引数が指定される使い方をしている点です。つまり、テンプレート仮引数 DATA_STRUCT に当てはめる具体的な型が、テンプレートになるような使い方は、この章までの記述方法では表現できません。

そこで、テンプレートテンプレート仮引数という方法を使います。これは、テンプレート仮引数がクラステンプレートであることを表現するものです。

template <template <typename T> class DATA_STRUCT>
class IntDataStore {
public:
    /* 省略 */

private:
    DATA_STRUCT<int>  mValues;
};

テンプレートテンプレート仮引数の記述「template <template <typename T> class DATA_STRUCT>」は、かなり難解だと思うので、少し詳細に説明します。以下の説明の中で「***」となっている箇所は、今は考えなくていいことを示しています。

まず「template <*** class DATA_STRUCT>」が、IntArrayクラステンプレートのテンプレート仮引数 DATA_STRUCT です。ここで classキーワードが登場していることがポイントで、これは typenameキーワードではダメです。

次に「*** template <typename T> ***」の部分ですが、これは DATA_STRUCT に当てはめられるクラステンプレートのテンプレート仮引数を表しています。つまり、クラステンプレートを定義するときにいつも先頭に書いている「template <typename T>」のことです（だから、これに続く class は class でなければなりません）。したがって、もし DATA_STRUCT に当てはめられるクラステンプレートが、２つ以上のテンプレート仮引数を持っているなら、ここの記述も増えることになります。

ところで「*** template <typename T> ***」の中に登場する T は、どこからも使用されていません。このように使われない名前は省略できます。したがって、「template <template <typename> class DATA_STRUCT>」と書いても構いません。

これで、先ほどのような Stack による実体化が可能になります。プログラム全体を示すと、以下のようになります。

#include <iostream>

template <typename T>
class Stack {
public:
    explicit Stack(std::size_t capacity = 128);
    ~Stack();

    void Push(const T& data);
    void Pop();
    inline const T Top() const
    {
        return mData[mSP - 1];
    }

    inline std::size_t GetSize() const
    {
        return mSP;
    }
    inline std::size_t GetCapacity() const
    {
        return mCapacity;
    }

private:
    const std::size_t      mCapacity;
    T*                     mData;
    int                    mSP;
};

template <typename T>
Stack<T>::Stack(std::size_t capacity) :
    mCapacity(capacity),
    mData(new T[capacity]),
    mSP(0)
{
}

template <typename T>
Stack<T>::~Stack()
{
    delete [] mData;
}

template <typename T>
void Stack<T>::Push(const T& data)
{
    assert(static_cast<std::size_t>(mSP) < mCapacity);
    mData[mSP] = data;
    mSP++;
}

template <typename T>
void Stack<T>::Pop()
{
    assert(mSP > 0);
    mSP--;
}


template <template <typename T> class DATA_STRUCT>
class IntDataStore {
public:
    /* 省略 */

private:
    DATA_STRUCT<int>  mValues;
};


int main()
{
    IntDataStore<Stack> store;
}

【上級】もし、Stack の代わりに、std::vector（【標準ライブラリ】第５章）を指定したとすると、コンパイルエラーになります。これは、vector のテンプレート仮引数は２つあるため、IntDataStore のテンプレートテンプレート仮引数の数と一致しないからです。この場合、IntDataStore のテンプレートテンプレート仮引数を「template <template <typename T, typename ALLOCATOR = std::allocator<T> > class DATA_STRUCT>」のように修正する必要があります。

C++11 (可変個テンプレート仮引数) 🔗

#include <iostream>

template <typename... TYPES>
class Tuple {
};


template <typename FIRST, typename... TYPES>
class Tuple<FIRST, TYPES...> {
public:
    FIRST               value;
    Tuple<TYPES...>     children;
};


int main()
{
    Tuple<int>                       tuple0;
    Tuple<int, double>               tuple1;
    Tuple<int, double, const char*>  tuple2;

    tuple0.value = 10;
    tuple1.children.value = 3.5;
    tuple2.children.children.value = "abc";
}

練習問題 🔗

問題①　Stackクラステンプレートに、要素の上限数を指定するノンタイプテンプレート仮引数を追加し、 任意の型の要素を扱う固定サイズのスタックを作成してください。

解答ページはこちら。

参考リンク 🔗

• Programming Place Plus　C++編　参考書籍
  • 当サイトの参考書籍一覧ページ。C++ に関する書籍を多数紹介。
• Programming Place Plus　C++編　リンク集
  • 当サイトの参考Webサイト集。C++ の全般的な学習に有益なサイトを紹介。

更新履歴 🔗

• ’2018/1/5
  • コンパイラの対応状況について、対応している場合は明記しない方針にした。
• ’2017/7/30
  • clang 3.7 (Xcode 7.3) を、Xcode 8.3.3 に置き換え。
• ’2017/3/25
  • VisualC++ 2017 に対応。
• ’2016/10/15
  • clang の対応バージョンを 3.7 に更新。
• ’2015/12/20
  • 「コンテナ」の項を、第２３章へ移動。
• ’2015/11/15
  • 新規作成

前の章へ　（第２１章　テンプレートのインスタンス化）

次の章へ　（第２３章　テンプレートの特殊化）

C++編のトップページへ

Programming Place Plus のトップページへ