Как узнать тип auto-переменной

[БалаШагаЛ]

Есть шаблонный класс, в котором в качестве шаблона выступает тип Callback.

template <class Callback>
class MyClass
{
public:
    MyClass(Callback f): f(f) {}
    void run()
    {
        f();
    }
private:
    Callback f;
};

В качестве кэлбека используется лямбда-выражение, которое в коде создаётся в таком формате

auto f = [](){return 4;};

Потом мне нужно создать объект MyClass, которому я хочу в конструктор передать f. Распознать тип, он как я понимаю, не может, так это класс, а не функция (по крайней мере, у меня не распознаёт, пишет ошибку). А вот как определить шаблон, не прописывая подробно тип, не знаю.
Хотелось бы чего-то в формате

MyClass<type_of_value(f)>  m(f);

Помогите, пожалуйста.

[waleri]

Для классов тип шаблона всегда надо указывать явно, а вот для функций - нет.
Попробуйте так (не проверял):

template <typename callback> MyClass... { };

template <typename callback>
MyClass<callback> Function(callback argument)
{
  return MyClass<callback>(argument);
}

int main()
{
  auto f = ...;
  auto callback = Function(f);
}

[БалаШагаЛ]

Спасибо! Работает.

Но если кто-то из форумчан знает способ передать тип в описанном мной формате, то, пожалуйста, поделитесь - очень интересно.

[_Bers]

http://rextester.com/MCGZ12715

#include <iostream>


template <class Callback>
class MyClass
{
public:
    MyClass(Callback f): f(f) {}
    void run()
    {
        f();
    }
private:
    Callback f;
};

int main()
{
    std::cout << "Hello, world!\n";
    
    auto f = [](){ std::cout<<"run...\n"; return 4; };
    
    MyClass<decltype(f)> myclass(f);
    
    myclass.run();
}

[БалаШагаЛ]

Вот это идеально! Огромное спасибо!
Я счастлив!