멤버에 대한 포인터에 액세스 할 수 없습니다. 왜?

Question

다음 코드를 고려하십시오.

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 

컴파일러에서 오류가 발생하는 이유는 무엇입니까? (VS2008)

---

새로운

이 버그를 connect.microsoft.com에 게시했습니다.

Answer 1

이것은 bug

Answer 2

Visual C++에서는 그 시점에서 멤버에 대한 포인터의 크기를 알지 못하는 것과 관련이 있다고 생각합니다. 예를 들어 this 결함 보고서를 확인하십시오 (here은 구성원 변수에 대한 포인터의 또 다른 문제점입니다). Visual C++ 버그가 하나 더 발견되어 connect.microsoft.com에보고해야한다고 생각합니다.

Answer 3

같은 문제가 발생했습니다. VC++에서 포인터 - 구성원 템플릿 인수에 대한 지원은 여전히 ​​제한적입니다 (bug report 참조).

내 경우에는 템플릿 함수 i.s.o를 사용하여 문제를 해결할 수있었습니다. 템플릿 클래스 :

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