В этот вопрос Я безуспешно спросил, как использовать различную реализацию 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;
};
но, если возможно, я хотел бы избежать этого
То, что вы пытаетесь сделать, не допускается языком.
В § 14.7.3.16 (FCD 2010-03-26) указано:
В явной специализации объявление для члена класса шаблон или шаблон участника, который появляется в области пространства имен, член шаблон и некоторые из его шаблоны классов могут оставаться неспециализированы, за исключением того, что декларация не должна быть явно специализировать шаблон члена класса, если его закрывающие шаблоны классов не явно специализированный. В такая явная специализация объявление, шаблон ключевого слова а затем список параметров шаблона должны быть предоставлены вместо template < > перед явным декларация специализации член. Типы шаблонные параметры в template-parameter-list должен быть так же, как указано в первичной определение шаблона.
[ 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 ]
B<N,T>::C<M>
N
и / илиT
вообще? Если нет, то почему он должен быть членом шаблона классаB
?