Ctor моего шаблонного класса принимает вызываемый объект в качестве аргумента, но не может быть инициализирован из него? - PullRequest
Новая
       28

Ctor моего шаблонного класса принимает вызываемый объект в качестве аргумента, но не может быть инициализирован из него?

0 голосов
/ 04 мая 2020

Меня попросили реализовать настольный калькулятор с использованием std::function через таблицу функций только для бинарных операторов. Итак, у меня есть этот код: 

#include <functional>
#include <iostream>
#include <string>

int main()
{
    std::map<std::string, std::function<int(int, int)>> binOp;
    binOp["+"] = [](int a, int b){return a + b;};
    binOp["*"] = [](int a, int b){return a * b;};

    binOp["-"] = [](int a, int b){return a - b;};

    binOp["/"] = [](int a, int b){return a / b;};

    binOp["%"] = [](int a, int b){return a % b;};

    for(const auto& p : binOp)
        std::cout << 9 << " " << p.first << " " << 8 << " = " << p.second(9, 8) << std::endl;

}

* Программа отлично работает для двоичных операторов для целочисленных операндов. То, что я думал, чтобы сделать мой шаблон класса универсальным c, который обрабатывает различные типы операндов int, double, std::string... Так что я попробовал это самостоятельно с помощью decltype: 

template <typename T>
struct BinOp
{
    BinOp() = default;
    BinOp(T f) : fn(f){}
    std::function<T> fn;
    using arg_type = decltype(fn(0, 0));
    arg_type operator()(arg_type a, arg_type b){return fn(a, b);}
};


int main()
{

    std::map<std::string, BinOp<int(int, int)>> calc;
    calc["+"] = BinOp<int(int, int)>([](int x, int y){return x + y;});
    calc["*"] = BinOp<int(int, int)>([](int x, int y){return x * y;});
    calc["-"] = BinOp<int(int, int)>([](int x, int y){return x - y;});
    calc["/"] = BinOp<int(int, int)>([](int x, int y){return x / y;});
    calc["%"] = BinOp<int(int, int)>([](int x, int y){return x % y;});

    for(const auto& e : calc)
        std::cout << 10 << " " << e.first << " " << 12 <<
        " = " << e.second(10, 12) << endl;

    //BinOp<std::string(std::string, std::string)> bstr = [](string s1, string s2){return s1 + s2;}; // it doesn't work?

    BinOp<std::string(std::string, std::string)> bstr;
    bstr.fn = [](string s1, string s2){return s1 + s2;}; // works fine!

    std::cout << bstr("Hello ", "Wold!") << std::endl;


    std::cout << "\nDone!\n";
}

  • Так почему же я не могу инициализировать bstr из лямбда-выражения, хотя класс BinOp имеет конструктор, который вызывает функцию? Но присвоение bstr прекрасно: bstr = [](){}... // работает!

  • Любая подсказка или предложение, критика c высоко ценится. Спасибо.

1 Ответ

2 голосов
/ 04 мая 2020

Вы можете использовать прямую инициализацию здесь, чтобы создать BinOp напрямую: 

BinOp<std::string(std::string, std::string)> bstr {[](string s1, string s2){return s1 + s2;}};

Причина, по которой ваш исходный код не будет компилироваться, вероятна, потому что вы просите компилятор выполнить два преобразования, и что это не сработает.

...