Очередной странный вопрос. Навеян книгой Discovering Modern C++ Готтшлига. Пытаюсь написать шаблон, который бы возвращал функтор, применяющий некоторую функцию рекурсивно предопределенное количество раз. Примерно так:
template<typename Func, typename X, int N>
class Recurs
{
public:
Recurs(Func f):f(f){}
X operator()(X x)
{
return f(Recurs<Func,X,N-1>(f)(x));
}
private:
Func f;
};
template<typename Func, typename X>
class Recurs<Func,X,1>
{
public:
Recurs(Func f):f(f){}
X operator()(X x)
{
return f(x);
}
private:
Func f;
};
Так как использование в духе
auto f = [](double x) { return cos(x); };
Recurs<decltype(f),double,10> r(f);
r(0.1);
душу не греет, сделал такую функцию:
template<int N, typename X, typename Func>
auto calc_N(Func f, X x) -> decltype(f(x))
{
return Recurs<Func,X,N>(f)(x);
}
Функция сама по переданным значениям выводит типы, так что можно вычислять как
calc_N<10>(f,0.1);
Но мне не понравилось, что каждый раз создается объект Recurs...
. Хотелось бы получать его один раз, и вызывать как функтор - типа,
template<int N, typename Func>
decltype(auto) make_N(Func f)
...
auto g = make_N<10>(f);
g(0.1);
И вот тут у меня затык. Я написал примерно так -
template<int N, typename Func>
decltype(auto) make_N(Func f)
{
return Recurs<Func,???,N>(f);
}
но что мне теперь писать вместо ???
. В принципе, меня устроит в данном случае и тип аргумента f
, и тип ее возвращаемого значения (для рекурсии они должны совпадать), но как их записать?
И еще - насколько я помню, decltype(auto)
- это уже C++14. А можно ли такое сотворить на версиях языка помладше, и как?