У меня есть следующее определение типа:
template<typename G, typename T, typename R>
using my_func_type = typename R(T::*)(G, int) const;
Это функция-член, которую я часто использую, поэтому я играю с созданием разных оболочек. Предпосылка заключается в том, что мне нужен объект, который реализует эти функции через общий вызов функции, чтобы я мог комбинировать их по-разному (в настоящее время я использую простой способ обертывания вызова в виде лямбда-выражения).
Однако другой метод заключается в передаче этой функции в качестве параметра шаблона, отличного от типа (это улучшает мою производительность по сравнению с лямбда-решением, поскольку я постоянно его оцениваю), а именно.
template<typename G, typename T, typename R, my_func_type<G, T, R> f>
struct MyWrapper
{
MyWrapper(G g, T t) : g{ g }, t{ t } {}
auto eval(int n) const
{
return (t.*f)(g, n);
}
protected:
G g;
T t;
};
int main()
{
AnObject g;
TheCallingObject t;
auto f = &TheCallingObject::callit;
MyWrapper<AnObject, TheCallingObject, double, f> wrap(g, t)
}
Но это кажется немного избыточным, поэтому можно ли вывести аргументы шаблона из f
?
Половинчатое решение, которое я нашел, это:
template<auto f, typename G, typename T>
struct MyWrapper
{
OpFuncDerivative(G g, T t) : g{ g }, t{ t } {}
auto eval(int n) const
{
return (t.*f)(g, n);
}
protected:
G g;
T t;
};
int main()
{
AnObject g;
TheCallingObject t;
auto f = &TheCallingObject::callit;
// it won't automatically deduce AnObject and TheCallingObject
// through the parameters to the constructor though!
MyWrapper<f, AnObject, TheCallingObject> wrap(g, t)
}
Вы можете написать вспомогательную функцию:
template<typename G, typename T, auto f>
struct MyWrapper
{
MyWrapper(G g, T t) : g{g}, t{t}
{}
auto eval(int n) const
{
return (t.*f)(g, n);
}
protected:
G g;
T t;
};
template<auto f, typename G, typename T>
MyWrapper<G, T, f> make_wrapper(G g, T t)
{
return {g, t};
}
а затем используйте его следующим образом:
int main()
{
AnObject g;
TheCallingObject t;
constexpr auto f = &TheCallingObject::callit;
auto wrap = make_wrapper<f>(g, t);
}