No puedo obtener acceso al puntero al miembro. ¿Por qué?

Question

Considere el siguiente código:

template<class T, class F>   struct X {}; 
template<class T, class F, T F::* m> struct Y {}; 

struct Foo { 
    int member; 
    typedef X<int, Foo>    x_type; // works well 
    typedef Y<int, Foo, &Foo::member> y_type; // ERROR 
}; 

typedef Y<int, Foo, &Foo::member> y_type2; // OK 

¿Por qué generan error del compilador? (VS2008)

---

Nueva

he publicado este error a connect.microsoft.com.

Answer 1

Ésta es una bug

Answer 2

Creo que está relacionado de alguna manera con que Visual C++ no conoce el tamaño del puntero al miembro en ese punto. Compruebe this informe de defectos, por ejemplo (here es otro problema con el puntero a la variable miembro). Creo que encontraste un error más de Visual C++ y debería informarse a connect.microsoft.com.

Answer 3

Me encontré con el mismo problema. El soporte para argumentos de plantilla de puntero a miembro aún es limitado en VC++ (consulte bug report).

En mi caso podría solucionarlo utilizando una función de plantilla i.s.o. una clase de plantilla:

template< typename Class > struct CMemberDumper { 
    Class& object; 
    template< typename M > void visit_member(M C::*pm) { 
     std::cout << object.*pm; 
    } 
};