포인터의 부분 특수화

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