ポインタの部分的な特殊化

Question

Iのポインタ（つまりI *）を格納できるように、クラスGListの部分的な特殊化を行う方法？

template <class I> 
struct TIList 
{ 
    typedef std::vector <I> Type; 
}; 


template <class I> 
class GList 
{ 
     private: 
      typename TIList <I>::Type objects; 
}; 

Answer 1

これを許可するために特化する必要はありません。既にポインタを格納することができます。

GList<int*> ints; 

とにかく、GListにポインターを特殊化する場合は、次の構文を使用します。

template <class I> 
class GList<I*> 
{ 
    ... 
}; 

通常のテンプレートと同じようにIを使用してください。上記の例では、GList<int*>で、ポインタの特殊化が使用され、Iはintになります。

Answer 2

前の記事では、ポインタタイプを特化する必要はありませんが、そうかもしれないと述べています。

は、次のことを考えてみましょう：

struct Bar { 
    void bar(void) { /* do work */ } 
}; 

template <class T> struct Foo { 
    T t; 

    void foo(void) 
    { 
     t.bar(); // If T is a pointer, we should have used operator -> right? 
    } 
}; 

int main(int argc, char * argv[]) 
{ 
    Foo<Bar *> t; 

    t.foo(); 
} 

これはコンパイルされません。 Foo :: fooではポインタがあるので、変数として使用します。

次を追加した場合、それは専門を使用し、罰金コンパイルします：

// This is a pointer to T specialization! 
template <class T> class Foo<T *> { 
    T * t; 
public: 
    void foo(void) 
    { 
     t->bar(); 
    } 
};