Указатель на член TypeName

Question

Рассмотрим это:

template < typename VectorType > 
void ff() 
{ 
    // This passes. 
    typedef typename VectorType::value_type VV; 
    typedef int VV::* MM; 

    // This FAILS!?? 
    typedef int typename VectorType::value_type::* MMM; 
} 

Почему второй не удается, и что такое правильный способ, чтобы получить желаемый ЬурейеЕ в одном ЬурейеЕ заявлении?

Мой компилятор GCC-4.7.2.

Answer 1

Как было отмечено в комментариях, у вас есть typename, где это не должно быть:

typedef int typename VectorType::value_type::* MMM; 

должно быть просто:

typedef int VectorType::value_type::* MMM; 

typename используется, когда у вас есть a::b внутри шаблона , a зависит от параметров шаблона и b - это тип. В этом случае вы должны использовать typename a::b, чтобы передать этот факт компилятору.

С другой стороны, вы делаете a::b::*, что указывает на то, что b должен быть типом, поэтому typename не может быть использован здесь.