テンプレートテンプレートをテンプレートに含めることを特化する

Question

テンプレートプログラミングをC++で教えているので、私の前提のいくつかが間違っている可能性があります。

STLリストを関数のテンプレートパラメータとして使用しようとしています。この関数はあらゆる種類のデータ型で使用されるはずですので、元の宣言でtemplate<template<> class T>ではなく関数をtemplate<class T>と定義しました。私は今、それをテンプレートクラスをサポートするように特化したいと思っています。

template<class T> 
void function(T param) 
{ 
    // do something with T 
} 

template<template <class T, class Allocator> class listPlaceholder> 
void function(std::list<T, Allocator> param) 
{ 
    // do something with every element in param (I actually need to know it's a list) 
    std::list<T, Allocator>::iterator current = param.begin(); 
    std::list<T, Allocator>::iterator end = param.end(); 

    do { 
    function<T>(*current); 
    } while (++current != end); 
} 

の問題は、私はそれがTとAllocatorは、スコープで定義されていないことを述べている（GCCの下で）このコードをコンパイルしようとします。私の主な質問は、 "私はどのようにテンプレートクラスを専門にするのですか？"第2に、可能であれば、「どのようにテンプレートテンプレートパラメータを抽出するのですか？」

前述のように、私はテンプレートプログラミングを学んでいるので、明白な解決策は大歓迎です。

Answer 1

パラメータ

template<template <class T, class Allocator> class listPlaceholder, 
     class T, class Allocator> 
void function(listPlaceholder<T, Allocator> param) 
{ 
    // do something with every element in param (I actually need to know it's a list) 
    typename listPlaceholder<T, Allocator>::iterator current = param.begin(); 
    typename listPlaceholder<T, Allocator>::iterator end = param.end(); 

    do { 
    function<T>(*current); 
    } while (++current != end); 
} 

仮パラメータ・リストで使用した名前は意味を持ちません。実際にlistPlaceholderの使用を忘れてしまった。しかし、私はそれが偶然だったと仮定しています。

別のポスターによると、dependent namesという名前のため、typenameというキーワードも必要です。仮リスト内の名前は関数ポインタと比較し、無意味である理由については

：重要である

void f(void (*p)(int t, int allocator), int t, int allocator) { 
    p(t, allocator); 
} 

void g(int a, int b) { 
} 

int main() { 
    f(&g, 0, 1); 
} 

何がパラメータの種類のみである、と私はあまりにもvoid(*p)(int, int)を書かれている可能性があります。あなたの場合、重要なのは、両方のパラメータが型パラメータであることだけです。したがって、テンプレートテンプレートパラメータもtemplate<class, class> class listPlaceholderと完全に同等であると書くことができます。

最後に、がではなくfunctionであることを強調したいと思いますが、別のテンプレートでオーバーロードしました。だから、functionは、全く異なる2つの関数テンプレートです。

Answer 2

使用typename：

typename std::list<T, Allocator>::iterator current = param.begin(); 
typename std::list<T, Allocator>::iterator end = param.end(); 

そのiteratorが依存名ですので、それはiteratorが実際にタイプ、ない静的な値であることを知ることができるようにtypenameは、コンパイラによって必要とされるため。このFAQを読んで、これを詳細に知ることが

：

• Where and why do I have to put the "template" and "typename" keywords?

に加えて、あなたは関数テンプレートを書くべきであるとして：あなたはそれらを宣言したい

template <class T, class Allocator> 
void function(std::list<T, Allocator> param) 
{ 
    //code.. 
} 

Answer 3

g++は実際にはここで正しいです。この範囲にTまたはAllocatorを宣言していません。あなたが持っているテンプレート宣言

template<template <class T, class Allocator> class listPlaceholder> 
    void function(std::list<T, Allocator> param) 

"私は引数として2つのクラスを取るクラステンプレートに対してパラメータ化されています。"と言っています。ただし、これらの引数の名前には、テンプレートの本文のどこにでもアクセスすることはできません。彼らは、プレースホルダとして主にそこにいる、と上記のテンプレート宣言は

template<template <class, class> class listPlaceholder> 
    void function(std::list<T, Allocator> param) 

これはどのように引数として別の関数を取り、通常のC++関数を宣言した場合、あなたがアクセスすることはできませんに似ていると等価ですパラメータの名前それは私はあなたがこのように見えるためにあなたのテンプレート関数のシグネチャを変更されて何をしたいのかと考えてい

void DoSomething(void function(int, int)) { 
    x = 5; // Error! 
} 

と同等なので

void DoSomething(void function(int x, int y)) { 
    x = 5; // Error! 
} 

：たとえば、これは違法である

template<class T, class Allocator> 
    void function(std::list<T, Allocator> param) 

これは「この関数は2つの型に渡ってパラメータ化されています。型とアロケータでパラメータ化されたstd::listの引数として渡されるとき、この関数の本体はth oseタイプはTとAllocatorです。