0

この質問では、テンプレートの引数に応じて異なるpimpl実装を使用する方法を尋ねましたが失敗しました。

たぶん、この例は私がやろうとしていることをよりよく示しています：

#include <iostream>

template< int N, typename T >
struct B
{
    B() : c( new C< N > )
    {}

    template< int M >
    struct C;
    C< N > *c;
};

template< int N, typename T >
template< int M >
struct B< N, T >::C
{
    int a[M];
};

// version 1 that doesn't work    
    template< int N, typename T >
    template< >
    struct B< N, T >::C< 0 >
    {
        int a;
    };
// version 2 that doesn't work
    template< typename T >
    template< int M >
    struct B< 0, T >::C
    {
        int a;
    };


int main()
{
    B< 0, float >   b0;
    B< 1, int >     b1;

    std::cout << "b0 = " << sizeof(b0.c->a) << std::endl;
    std::cout << "b1 = " << sizeof(b1.c->a) << std::endl;
}

構造体Cを特殊化しようとしても失敗します（上記はコンパイルされません）

それで、それは可能ですか？

私はこのような回避策を知っています：

template< int M >
struct D
{
  int a[M];
};
template<  >
struct D<0>
{
  int a;
};

template< int N, typename T >
template< int M >
struct B< N, T >::C
{
    D< M > helper;
};

でもできれば避けたい

4

1 に答える 1

3

あなたがやろうとしていることは、その言語では許可されていません。

§14.7.3.16（FCD 2010-03-26）は次のように述べています。

クラステンプレートのメンバーまたは名前空間スコープに表示されるメンバーテンプレートの明示的な特殊化宣言では、メンバーテンプレートとそれを囲むクラステンプレートの一部が特殊化されないままになる場合があります。ただし、宣言がクラスメンバーテンプレートを明示的に特殊化しない場合を除きます。同封のクラステンプレートも明示的に特殊化されていません。このような明示的な特殊化宣言では、メンバーの明示的な特殊化宣言の前にあるtemplate <>の代わりに、キーワードtemplateの後にtemplate-parameter-listを指定する必要があります。template-parameter-listのtemplate-parametersのタイプは、プライマリテンプレート定義で指定されたものと同じでなければなりません。

[ Example:
template <class T1> class A {
    template<class T2> class B {
        template<class T3> void mf1(T3);
        void mf2();
    };
};
template <> template <class X>

class A<int>::B {
    template <class T> void mf1(T);
};
template <> template <> template<class T>
void A<int>::B<double>::mf1(T t) { }
template <class Y> template <>
void A<Y>::B<double>::mf2() { } // ill-formed; B<double> is specialized but
// its enclosing class template A is not
—end example ]
于 2011-03-24T20:50:19.833 に答える