Я не могу получить доступ к указателю на член. Зачем?

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)

---

New

Я отправил эту ошибку на connect.microsoft.com .

Answer 1

Я думаю, что это как-то связано с тем, что Visual C ++ не знает размер указателя на член в этой точке. Проверьте этот отчет о дефектах, например ( здесь - другая проблема с указателем на переменную-член). Я думаю, что вы нашли еще одну ошибку Visual C ++, и о ней следует сообщить на connect.microsoft.com.

Answer 2

Это ошибка

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;
    }
};