传递静态成员函数作为模板参数

Pass static member function as template parameter

本文关键字：参数 静态成员 函数      更新时间：2023-10-16
template<typename T> struct A 
{
    static T x(T, T) { }
    static T y(T, T) { }
};
template<typename T> struct B 
{
    static T x(T, T) { }
    static T y(T, T) { }
};
struct Dispatcher
{
    template<template<typename> class TC, ??? TStaticFunc, 
             typename T1, typename T2> 
    static std::common_type_t<T1, T2> call(T1 mI, T2 mJ)
    {
        return TC<std::common_type_t<T1, T2>>::*TStaticFunc(mI, mJ);
    }
};
Dispatcher::call<A, x>(12.f, 5);
Dispatcher::call<B, x>(1.f, 51);
Dispatcher::call<A, y>(2.f, 25);
Dispatcher::call<B, y>(5.f, 3);

是否有可能创建一个像Dispatcher::call一样工作的模板化函数?我想分别传递类类型和静态函数名。

或者通过A<..:>::x是实现这种调度的唯一可能方法吗?

如果你真的，真的，真的想的话，你可以做到的。您只需为每个静态函数名定义一个类型、一个函数或一个变量(基本上是编译时唯一的东西)。这是其中一个选项:

namespace detail
{
    template <typename T>
    struct x
    {
        static decltype(&T::x) get() { return &T::x; }
    };
    template <typename T>
    struct y
    {
        static decltype(&T::y) get() { return &T::y; }
    };
    // etc, you can use macros here to avoid boilerplate
}

现在改变Dispatcher一点…

struct Dispatcher
{
    template<template<typename> class TC, template<typename> class FuncGetter,
        typename T1, typename T2> 
        static typename std::common_type<T1, T2>::type call(T1 mI, T2 mJ)
    {
        typedef TC<typename std::common_type<T1, T2>::type> T;
        auto staticMemberFunc = FuncGetter<T>::get();
        return staticMemberFunc(mI, mJ);
    }
};

现在是下面的代码:

using namespace detail;
Dispatcher::call<A, x>(12.f, 5);
Dispatcher::call<B, x>(1.f, 51);
Dispatcher::call<A, y>(2.f, 25);
Dispatcher::call<B, y>(5.f, 3);

。如果您决定遵循此模式，我建议您将x和y更改为x_tag或类似的内容。

或者，您可以直接编写一个宏来代替Dispatcher::call。

相关文章：