c++ - Error with pointers to member variables as parameters; why?

Question

Why do I keep on getting the following error in this code in Visual C++ 2010, and how do I fix it while maintaining the type inference capability for the member variable?

error C2825: 'Foo<T>::value_type': must be a class or namespace when followed by '::'

template<class T>
struct Foo
{
    typedef typename T::value_type value_type;

    template<class M>
    void foo(M value_type::*member) const;   // error
};
struct S { typedef int value_type; };

int main() { Foo<S> s; }

Answer 1

テンプレートパラメータTはtypeSであることvalue_typeが判明したため、int（でネストされたタイプS）であることが判明しました。では、どのように書くことができますvalue_type::*memberか？int::*memberそれは意味をなさないことが判明したことに注意してください。intクラスタイプではありません。

私はあなたがT::*memberの代わりに意味したと思いますvalue_type::*member。

Answer 2

value_type は構造体 S のメンバーではありません。これは単なる typedef であるため、アクセスすることはできません。