Visual Studio 2005 SP1のリリースノートより。
template <class T>
class A
{
public:
typedef int N_A;
};
template <class T>
class B : public A<T>
{
public:
typename A<T>::N_A test();
};
template <class T>
typename A<T>::N_A B<T>::test() /* 1 */
{
return 0;
}template <class T>
class A
{
public:
typedef int N_A;
};
template <class T>
class B : public A<T>
{
public:
typedef A<T>::N_A N_B; // typedef definition
typename N_B test(); // use of the typedef in the return type
};
template <class T>
typename B<T>::N_B B<T>::test() // use of the typedef in the return type
{
return 0;
}