is_stl_vectorの実装方法

Question

STLのベクトルテンプレート引数のテンプレートを特殊化したいと考えています。このようなもの：

// (1) 
template <typename T> 
class A 
{ 
    ... 
}; 

// (2) 
template <> 
class A<std::vector<> > 
{ 
    ... 
}; 

どのようなベクトル要素の種類は気にしません。一般的に

A<int> a1; // Will use the general specialization 
A<std::vector<int> > a2; // Will use the second specialization 

を私はブーストのタイプの特徴に似た何かを定義しようとしてきた：私は次のようにそれを使用したいと思います。それはあまりにも非テンプレートタイプ用にコンパイルする必要があるため

template <class T> 
struct is_stl_vector 
{ 
    // Will be true if T is a vector, false otherwise 
    static const bool value = ...; 
}; 

のようなものは、私は（私はそう思う）テンプレートテンプレートを使用することはできません。まったく可能ですか？

Answer 1

あなたは、単にこのように特化することができます

// (2) 
template <typename T, typename Alloc> 
struct A<std::vector<T, Alloc> > 
{...}; 

Answer 2

特殊化はこのように書きます：std::vectorのテンプレートパラメータ数が実装ごとに異なる可能性があるので、（特に動作を保証するだ他に方法がSIん）の動作が保証されていない

// (2) 
template <class T, class U> 
class A<std::vector<T, U> > 
{ 
    ... 
}; 

注こと。 C++ 0xでは、これはパラメータパックを使用して解くことができます。