也许这个例子可以更好地说明我试图做些什么:
#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;
};
但是,如果可能,我希望避免。