メンバーへのポインタにアクセスできません。どうして？

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は、メンバ変数へのポインタに関する別の問題です）。もう1つの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; 
    } 
};