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

debugcn 发表于 Dev

维托里奥·罗密欧（Vittorio Romeo）

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。

本文收集自互联网，转载请注明来源。

如有侵权，请联系[email protected] 删除。