Akh пишет:
> Автор: "Akh"
> Есть код в котором сначала объявляем класс, потом мы его определяем, как
> инстанцированный шаблон:
>
> class X;
>
> class B {
> public:
> B(X &) {};
> };
>
> template<class T>
> class A {
> T t;
> };
>
> typedef A<int> X;
>
>
> Компилятор орет:

Правильно делает. Так нельзя делать, forward declaration класса X
определяет новый тип данных X. А typedef НЕ определяет новый тип данных.
Он только вводит синоним для существующего типа данных с новым именем.

В итоге что получается. Ты говоришь фактически \'у меня есть класс
X, который я опреледю позже. Но это будет класс\'. А потом
говоришь - \'у меня есть тип A<int>, и я его буду называть отныне
еще и как X\'. Но ты уже обещал, что X будет классом, а не синонимом
для X.

А то, что ты хочешь сделать, достигается с помощью forward declaration
шаблона. А там , где тебе уже нужен X, пишешь
typedef A<int> X;

Т.е.

template<typename T> class A;
typedef A<int> X;

.....

а потом где-то уже определяешь A полностью.

Posted via ActualForum NNTP Server 1.4