Рекурсивная специализация шаблонов

[akhomyak2]

Объясните, пожалуйста, почему код ниже компилируется в VC7.1, но не компилируется в VC9?

namespace aux {

template< typename > struct unused;

template<typename RootT, template< typename > class T0>
struct TrimUnused
{
typedef T0<
typename TrimUnused< RootT, unused >::Result
> Result;
};

template< typename RootT >
struct TrimUnused< RootT, unused >
{
typedef RootT Result;
};
}

template< typename T > struct A : public T
{
void check(char* p)
{
*p = 'A';
T::check(++p);
}
};

struct Root
{
void check(char* p)
{
*p = 'R';
}
};

//! Класс-наследник
struct D : public aux::TrimUnused< Root, A >::Result
{
typedef aux::TrimUnused< Root, A >::Result _BaseT;

void check(char* p)
{
*p = 'D';
_BaseT::check(++p);
}
};

int _tmain(int argc, _TCHAR* argv[])
{
char temp[32] = { 0 };
D d;
d.check(temp);

return 0;
}

[_Bers]

похоже на баг студии

[Пепел Феникса]

лучше год студии писать...я не помню которая из них 9-ая.
и какие ошибки выдала она?

[_Bers]

Сообщение от Пепел Феникса

лучше год студии писать...я не помню которая из них 9-ая.
и какие ошибки выдала она?

У мя в 2008 залагала, а вот гцц сожрал сразу

Сама ошибка:
: error C3200: 'A<T>' : invalid template argument for template parameter 'T0', expected a class template


Причем, в коде:
http://codepad.org/evtcvanO

template< class T > struct unused;

template<class RootT, template< class T> class T0>struct TrimUnused
{
    typedef T0<typename TrimUnused< RootT, unused >::Result > Result;
};

template< class RootT >struct TrimUnused< RootT, unused >
{
    typedef RootT Result;
};


template< class T > struct A : T{   void check(char* p){ *p = 'A'; T::check(++p); }};
struct Root{  void check(char* p){*p = 'R';} };

//! Класс-наследник
struct D : public TrimUnused< Root, A >::Result
{
    typedef TrimUnused< Root, A >::Result _BaseT;            //<--- typedef ломает компиляцию. 
     //: error C3200: 'A<T>' : invalid template argument for template parameter 'T0', expected a class template


    void check(char* p){    *p = 'D';_BaseT::check(++p); } 
};

int main()
{
    typedef TrimUnused< Root, A > T1;   //<--- а вот здесь прокатывает на ура
    cout<<typeid(T1::Result).name()<<endl;
    char temp[32] = { 0 };
    D d;
    d.check(temp);
    return 0;
}

Видно, что сам по себе typedef синтаксически правильный, ибо объявленный в функции main отрабатывает корректно.

А так же тот факт, что гцц нормально переваривает, наводит на мысль, что сие есть баг студийного компиля.

[akhomyak2]

Сообщение от Пепел Феникса

лучше год студии писать...я не помню которая из них 9-ая.
и какие ошибки выдала она?

vc9 - vc 2008, также аналогичная ошибка выпадает и в vc 2010

[akhomyak2]

Сообщение от _Bers

У мя в 2008 залагала, а вот гцц сожрал сразу

Сама ошибка:
: error C3200: 'A<T>' : invalid template argument for template parameter 'T0', expected a class template


Причем, в коде:
http://codepad.org/evtcvanO

...

Видно, что сам по себе typedef синтаксически правильный, ибо объявленный в функции main отрабатывает корректно.

А так же тот факт, что гцц нормально переваривает, наводит на мысль, что сие есть баг студийного компиля.

Да, поскольку вынос typedef aux::TrimUnused< Root, A >::Result _BaseT; за пределы класса D (например, перед классом D в примере ниже):

namespace aux {

	template< typename > struct unused;

	template<typename RootT, template< typename > class T0>
	struct TrimUnused
	{
		typedef T0<
			typename TrimUnused< RootT, unused >::Result
		> Result;
	};

	template< typename RootT >
	struct TrimUnused< RootT, unused >
	{
		typedef RootT Result;
	};
}

template< typename T > struct A : public T
{
	void check(char* p)
	{
		*p = 'A';
		T::check(++p);
	}
};

struct Root
{
	void check(char* p)
	{
		*p = 'R';
	}
};

typedef aux::TrimUnused< Root, A >::Result BaseT;

//! Класс-наследник
struct D : public BaseT
{
	void check(char* p)
	{
		*p = 'D';
		BaseT::check(++p);
	}
};

int _tmain(int argc, _TCHAR* argv[])
{
	char temp[32] = { 0 };
	D d;
	d.check(temp);

	std::cout << strcmp(temp, "DAR") << std::endl;
	return 0;
}

решает проблему, то, очевидно, имеет мест ошибка VC 2008 (и, кстати, и VC 2010, где аналогиная проблема).

[_Bers]

Если это ещё актуально: я запостил feedback по поводу этого жучка, и получил от майкрософт ответ:

Posted by Microsoft on 09.07.2013 at 23:27

Hi Kartonagnick,

Thank you for taking the time to provide your feedback. After reviewing your reported issue, in the context of all the issues reported to us, we have decided not to take any action on this feedback at this time. We will re-consider our decision for a future release.

If this issue is severe, causing critical business situations or blocking your product development or deployment, please go to http://support.microsoft.com or call 1-800-MICROSOFT for assistance.
For Microsoft premier customers, please contact your administrator, your Technical Account Manager, or your Microsoft premier account representative.

Thanks,
Karl Niu

Posted by Microsoft on 09.07.2013 at 23:27

The workaround is to use '::A' in the class definition. Change:

typedef TrimUnused< Root, A >::Result _BaseT;

to

typedef TrimUnused< Root, ::A >::Result _BaseT;

И в общем то, предложенный обходной путь действительно работает. И не противоречит стандарту:
http://codepad.org/hDK0Uo2g