Вычисление шаблона из указателя на член базового класса

Question

Вычисление шаблона из указателя на член базового класса

0

Я не могу понять, что я делаю неправильно. Проблема в выводе шаблона из указателя на элемент базового класса - & DerivedClass :: BaseClassMemeber.

Полный пример:

#include <vcl.h>
#include <tchar.h>

struct Base
{
   int BaseClassMember;
};

struct Derived : public Base
{
};

template<class T1, class T2>
void Test(T1& Param1, T2 T1::* Param2)
{
}

int _tmain()
{
   Derived inst;
   // Compile error E2285 Could not find a match for 'Test<T1,T2>(B,int A::*) - BCC32
   // Error 1 error C2782: 'void Test(T1 &,T2 T1::* )' : template parameter 'T1' is   ambiguous - MS VS8
   Test(inst, &Derived::BaseClassMember);

   // Works great
   Test<Derived>(inst, &Derived::BaseClassMember);
   return 0;
 }

Я могу найти несколько обходных решений, например, перегрузка дополнительной функции тестирования с помощью еще одного параметра шаблона, static_cast, неявной частичной специализации (Test).

Но меня интересуют причины, по которым complier просто не может использовать класс, который явно указан в & DerivedClass :: BaseClassMemeber. Вот в чем вопрос. И если у вас есть более элегантное решение проблемы, добро пожаловать.

skondratov 28 фев. 2014, в 06:55

Источник

0

Вам также может быть интересно, что ваши «Отлично работает» не на clang 3.3. Test<Base> , однако, делает .
WhozCraig 28 фев. 2014, в 06:03
0

Хорошо, это исключает один обходной путь, но, тем не менее, где проблема?
skondratov 28 фев. 2014, в 06:39
0

Для вашего обходного пути с другим параметром шаблона я бы сказал, реализовать его как template<class T1, class T2, class T3> typename std::enable_if<std::is_convertible<T2 T3::*, T2 T1::*>::value, void>::type Test(T1& Param1, T2 T3::* Param2) или, если C ++ 11 является опцией, template<class T1, class T2, class T3> auto Test(T1& Param1, T2 T3::* Param2) -> decltype(Param1.*Param2, void()) . Они помогут вам, если вы добавите дополнительные перегрузки Test , где вы хотите, чтобы разрешение перегрузки игнорировало недопустимые попытки вызовов для этого конкретного Test ( Test(inst, &Unrelated::ClassMember); ).
user743382 28 фев. 2014, в 08:10
0

Не знал о std :: enable_if, спасибо. К сожалению, C ++ 11 не вариант.
skondratov 28 фев. 2014, в 08:26

Показать ещё 2 комментария

Теги:

c++

templates

template-deduction

pointer-to-member

1 ответ

Ещё вопросы

Вам также может быть интересно, что ваши «Отлично работает» не на clang 3.3. Test<Base> , однако, делает .
Хорошо, это исключает один обходной путь, но, тем не менее, где проблема?
Для вашего обходного пути с другим параметром шаблона я бы сказал, реализовать его как template<class T1, class T2, class T3> typename std::enable_if<std::is_convertible<T2 T3::*, T2 T1::*>::value, void>::type Test(T1& Param1, T2 T3::* Param2) или, если C ++ 11 является опцией, template<class T1, class T2, class T3> auto Test(T1& Param1, T2 T3::* Param2) -> decltype(Param1.*Param2, void()) . Они помогут вам, если вы добавите дополнительные перегрузки Test , где вы хотите, чтобы разрешение перегрузки игнорировало недопустимые попытки вызовов для этого конкретного Test ( Test(inst, &Unrelated::ClassMember); ).
Не знал о std :: enable_if, спасибо. К сожалению, C ++ 11 не вариант.

n.m. · Accepted Answer · 2014-02-28T04-21-00.000Z

&Derived::BaseClassMember имеет тип int Base::*, а не int Derived::*. Quot the Standard:

Результатом унарного оператора & является указатель на его операнд. Операнд должен быть lvalue или identified-id. Если операнд является квалифицированным идентификатором, именящим нестатический член m некоторого класса C с типом T, результат имеет тип "указатель на член класса C типа T " и является присвоением знака C::m. [... skip...] [Пример:

struct A { int i; };
struct B : A { };
... &B::i ...             // has type int A::*i

- конец примера]

Вы должны указать значение int Derived::* если вам нужен этот тип.

Спасибо за ответ, я нашел эту ссылку после вашей подсказки. Оставьте это здесь для подробной информации. open-std.org/JTC1/SC22/WG21/docs/papers/2013/n3772.pdf