我无法访问指向成员的指针。为什么？

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

我认为这与 Visual C++ 不知道此时指向成员的指针的大小有关。例如，检查此缺陷报告 (这里是指向成员变量的指针的另一个问题）。我认为您又发现了一个 Visual C++ 错误，应该将其报告给 connect.microsoft.com。

Answer 2

这是一个错误

Answer 3

我偶然发现了同样的问题。 VC++ 中对指向成员模板参数的支持仍然有限（请参阅错误报告） 。

就我而言，我可以通过使用模板函数 iso 模板类来解决它：

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