шаблонный класс в качестве аргумента шаблона

Здравствуйте. Можно ли шаблонный класс указать в качество аргумента шаблона? Так не прокатывает:

Код (Text):

1. template <int i>
2. class A
3. {
4. public:
5.     static int const value = i + 1;
6. };
7.  
8. template <class T>
9. class X
10. {
11. public:
12.     static int const m = T<0>::value;
13. };
14.  
15. int main()
16. {
17.     X<A> x;
18. }

 

Код (Text):

1. template<int x>
2. class T
3. {
4. public:
5.     static void bar()
6.     {
7.     }
8. };
9.  
10. template<template<int x> class T>
11. void foo()
12. {
13.     T<0>::bar();
14. }
15.  
16. ...
17. foo<T>();

 

100gold, не, это немного не то. В моём примере class X должен быть именно классом, у него есть несколько мемберов, которые инициализируются посредством шаблонного класса, т.е.

Код (Text):

1. template <class T>
2. class X
3. {
4. public:
5.     static int const m[] = {T<5>::value, T<7>::value, ... }
6. };

А вот T может быть функцией, т.е. меня устроит и такой вариант

Код (Text):

1. template <class T>
2. class X
3. {
4. public:
5.     static int const m[] = {T(5), T(7), ... }
6. };
7.  
8. inline int func(int x)
9. {
10.     return x + 1;
11. }
12.  
13. int main()
14. {
15.     X<func> x;
16. }

 

X<A<0> > x;

 

это тоже не то.

 

template <int i>
class A
{
public:
static int const value = i + 1;
};

template <template <int> class T>
class X
{
public:
static int const m = T<0>::value;
};

не поможет?

 

RedLord, спасибо. То, что нужно.

 

srm

Код...
Концепция...
What the fuck?