Передача указателя на класс в качестве параметра шаблона

Я хотел бы написать функцию, которая применяет процесс к члену класса. Следующий код работает:Передача указателя на класс в качестве параметра шаблона

class AA 
{ 
public: 
    AA(){}; 
    ~AA(){}; 
    std::string type="AA"; 
}; 

class BB 
{ 
public: 
    BB(){}; 
    ~BB(){}; 
    template <typename T, typename TT> 
    void test(T& a, TT(T::*memberPtr)) 
    { 
     std::cout<<"test: "<<(a.*memberPtr)<<std::endl; 
    } 
    std::string type="BB"; 
}; 

int main() 
{ 
    AA a; 
    BB b; 
    b.test(a, &AA::type); 
}

Но я знаю, что все, что во время компиляции, так что я интересно, если это возможно, чтобы написать что-то эквивалентное, но только с шаблонами? Так что я мог бы написать что-то вроде:

b.test<&AA::type>(a);

, который вызывает в тесте (а):

std::cout<<"test: "<< (a.*MEMBER) <<std::endl; // MEMBER is given in template

или что-то в этом роде.

источник

2015-08-20 StormRider

Вы можете передать указатель на метод геттера вместо переменной-члена. –

Переменная 'memberPtr' в вашей функции' test' уже делает то, что вы хотите - указатели на функции-члены - это значения времени выполнения. – Griwes

Я понимаю, что я, возможно, неправильно понял, что мой указатель memberPtr действительно ... это определяется во время компиляции или во время выполнения? Есть ли какая-либо стоимость для использования (a. * MEMBER) по сравнению с просто ссылкой «a.type»? – StormRider

Вы не можете сделать только test<&AA::type>, так как вам нужно также сообщить шаблону функции, что типа указателя на член, которого вы ожидаете. Типичная картина:

template <class M, M member, class T> // deduced go last 
void test(T& a) { 
    cout << (a.*member); 
}

С использованием:

test<decltype(&AA::type), &AA::type>

Я считаю, что в настоящее время предложение о сокращении подробности, но до тех пор, это не самое худшее в мире, и вы могли бы всегда:

#define TYPE_AND_VAL(foo) decltype(foo), foo 
test<TYPE_AND_VAL(&AA::type)>

источник

2015-08-20 13:15:43 Barry

Спасибо за ваш ответ, он ближе к тому, что я хочу, но мне интересно: вы все еще используете указатель, поэтому я думаю, что он определяется во время выполнения? (Я действительно не знаю указателей на функции) Поскольку я точно знаю, какой член я укажу на время компиляции, я догадался, что во время компиляции можно определить все. – StormRider

@ user52730 Это * * во время компиляции. Аргументы шаблона должны быть известны во время компиляции. – Barry

Хорошо, и можете ли вы подтвердить, что мой код имел дело с указателем во время выполнения? Указатели функций по-прежнему довольно мрачны для меня. – StormRider

Просто устраните это несколько сильно типизированное. Вместо того, чтобы просить пользователя предоставить вам класс и членский указатель, просто примите шаблонный функтор и вызовите его operator(). Это будет наиболее гибким и наименее подробным.

источник

2015-08-20 13:37:55 SergeyA

Это не ответит на вопрос, но вы, вероятно, правы, я исследую эту возможность, спасибо! – StormRider

Это связано с ответом Сергея, но компромисс должен был пройти ваш класс и лямбда. Компилятор может to inline the lambda так что вы, вероятно, не платить за это время выполнения:

struct BB 
{ 
public: 
    template <typename T, typename F> 
    void test(T& a, F f) 
    { 
     std::cout<<"test: "<< f(a) <<std::endl; 
    } 
    std::string type="BB"; 
}; 

int main() 
{ 
    AA a; 
    BB b; 
    b.test(a, [](AA& a){return a.type;}); 
}

Вы можете (или не может) найти это яснее, чем при использовании указатель на класс-члена.

источник

2015-08-21 08:37:35

Это интересно спасибо!Однако я ищу что-то более читаемое, чем лямбда. – StormRider

@ user52730 Лично я считаю, что лямбда более читабельна, чем синтаксис функции-указатель-член, но нормально. Вы можете использовать 'auto' с lambdas, если хотите дать ему имя. –

Передача указателя на класс в качестве параметра шаблона

ответ

Смежные вопросы