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

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

이것은 벌레

Answer 2

나는 그것이 시각적 인 C ++와 어떻게 든 관련되어 있다고 생각합니다. 확인하다 이것 예를 들어 결함 보고서 (여기 멤버 변수에 대한 포인터의 또 다른 문제). 시각적 C ++ 버그가 하나 더 발견되었으며 Connect.microsoft.com으로보고해야합니다.

Answer 3

나는 같은 문제를 우연히 발견했습니다.멤버에 대한 포인터 템플릿 인수에 대한 지원은 VC++에서 여전히 제한되어 있습니다(참조: 버그 보고서).

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

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