Nie mogę uzyskać dostępu do wskaźnika do członka. Czemu?

Question

Rozważmy następujący kod:

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 

Dlaczego kompilator wygeneruje błąd? (VS2008)

---

New

Pisałem ten błąd do connect.microsoft.com.

Answer 1

To bug

Answer 2

Myślę, że jest to w jakiś sposób powiązane z tym, że Visual C++ nie zna wielkości wskaźnika do elementu w tym punkcie. Sprawdź na przykład raport o usterce this (inny problem ze wskaźnikiem na zmienną składową) (here). Myślę, że znalazłeś jeszcze jeden błąd Visual C++ i powinien zostać zgłoszony do connect.microsoft.com.

Answer 3

Natknąłem się na ten sam problem. Obsługa argumentów szablonu wskaźnik-do-członka jest nadal ograniczona w VC++ (patrz bug report).

W moim przypadku mógłbym obejść go, używając funkcji szablonu i.s.o. klasa szablon:

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