2

пытаюсь спроектировать шаблонный класс который хранит унарную функцию(указатель на неё) с его типом аргумента и типом выходного параметра. Затем пытаюсь создать объект данного класса с использованием определённой унарной функции(см. исходник). Всё то вроде бы и удалось, но аппетиты выросли. хотелось бы доработать (возможно класс или что-то ещё) чтобы он уже не требовал параметры шаблона. Ведь скажем функция std::ptr_fun умеет.

#include <iostream>


template <typename arg0, typename res0>
struct F1 {
    typedef arg0 arg;
    typedef res0 res;
    typedef arg(*func)(res x);
    func f;
    F1(func _f) : f(_f) {}
    res0 operator()(arg0 x) { return f(x); }

};
char foo(int u) { return 's'; }





template<typename arg0, typename res0>
F1<arg0, res0> F1_func(typename F1<arg0, res0>::func _func) {
    return F1<arg0, res0>(_func);
}


int main() { 

    auto F1 = F1_func<char,int>(foo);

}

то есть хочется чтобы работало и как-то так :

int main() { 
    auto F1 = F1_func(foo);
}
3
  • 1
    ¿А зачем здесь F1_func? Проще было бы сразу создавать экземпляр класса. 11 янв 2023 в 10:38
  • @user7860670 а я так не умею. у меня так не получалось. не удалось с передачей в конструктор функцию. поэтому я подсмотрел у функций bind и binder. один класс, другой функция :) 11 янв 2023 в 10:47
  • @user7860670 а с функцией у меня вышло. и я подумал, что так и надо делать и поэтому так и сделано в биндерах. но выяснилось, что функция должна принимать параметр другого типа. а разницу между этими типами я не очень понимаю 11 янв 2023 в 10:53

2 ответа 2

7

А если так написать, вам годится?

template<typename arg0, typename res0>
F1<arg0, res0> F1_func( arg0(*_func)(res0)) {
    return F1<arg0, res0>(_func);
}

Вы же передаете указатель на функцию, а не структуру...

10
  • гениально ! а можете объяснить почему в вашем случае параметры автоматически определяются , а в моём (когда параметр функции имеет тип typename F1<arg0, res0>::func _func) - нет. 11 янв 2023 в 9:08
  • 1
    это не его случай, а общее правило указывать правильный тип 11 янв 2023 в 9:17
  • 1
    Потому что вы указываете не тот тип, который передаете. Фактически вы говорите своим кодом — эй, компилятор, преврати-ка эту функцию в объект F1 и передай мне ее в качестве аргумента, а я уж в функции верну копию. Кстати, в этом смысле ваша функция не имеет особого смысла: вы по сути возвращаете то, что передано в нее. Как упрощенный пример — функция для превращения int в double, которая по логике должна быть double i2d(int i) { return double(i);}, но у вас получается double i2d(double d) { return double(d);}. Т.е. преобразование выполняется не в функции, а до нее.
    – Harry
    11 янв 2023 в 9:38
  • объясню свои мотивы: я предполагал , что вот этот тип аргумента F1<arg0, res0>::func в моей функции подсказывает, что в качестве аргумента мы хотим видеть не объект структуры , а именно тип func который там описан как typedef arg(*func)(res x); 11 янв 2023 в 9:55
  • 1
    Тогда ("не понимал как без неё создать объект структуры") все еще проще: все, как у вас, выбрасываем функцию вообще, и просто пишем F1 f = foo;. VC++ 2019 спокойно это съедает (если только силком не заставлять его соответствовать стандарту C++14).
    – Harry
    11 янв 2023 в 13:15
2

Промежуточная функция F1_func не нужна, в актуальной версии С++ параметры шаблона выводятся из аргументов конструктора.

#include <iostream>

template <typename arg0, typename res0>
struct F1
{
    typedef arg0 arg;
    typedef res0 res;
    typedef arg(*func)(res x);
    func f;
    F1(func _f) : f(_f) {}
    res0 operator()(arg0 x) { return f(x); }
};

char foo(int u) { return 's'; }

int main()
{ 
    F1 f1{foo};
}

online compiler

1
  • Комментарии не предназначены для расширенной дискуссии; разговор перемещён в чат.
    – Grundy
    12 янв 2023 в 17:56

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.