使用函数指针作为模板函数类型参数？

Question

#include <iostream>
#include <unordered_map>
#include <utility>
#include <typeinfo>

using namespace std;
class Handle{
    public:
    int val;
    bool getAskPrice(int& tmp) const
    {
        tmp = val;
        return true;
    }
    
    bool setAskPrice(int& tmp)
    {
        val = tmp;
        return true;
    }
};

template<class RT, class ARG>
struct convertToAFL{
    static RT to_afl(ARG);
};

template<class RT, class ARG>
struct convertFromAFL{
    static RT from_afl(ARG);
};

template<>
struct convertToAFL<float, int>
{
    static float to_afl(int& value)
    {
        return static_cast<float>(value);
    }
};

template<>
struct convertFromAFL<int, float>
{
    static int from_afl(float& val)
    {
        return static_cast<int>(val);
    }
};

struct Getter{
    template<typename TICK_D, bool (Handle::*Getter)(TICK_D&) const, typename AFL_D>
    static AFL_D getter(const Handle& handle)
    {
        TICK_D temp;
        bool exists;
        exists = (handle.*Getter)(temp);
        AFL_D x = convertToAFL<AFL_D, TICK_D>::to_afl(temp);
        return exists ? x : -1;
    }
};

struct Setter{
    template<typename TICK_D, bool (Handle::*Setter)(TICK_D&), typename AFL_D>
    static void setter(Handle& handle, AFL_D& val)
    {   
        TICK_D x;
        x = convertFromAFL<TICK_D, AFL_D>::from_afl(val);
        (handle.*Setter)(x);
    }
};

int main()
{   
    Handle h;
    float val = 20.0;
    Setter::setter<int, &Handle::setAskPrice, float>(h, val);
    std::cout<<Getter::getter<int, &Handle::getAskPrice, float>(h);
    
    //std::pair<, &Setter::setter<int, &Handle::setAskPrice, float>> x;
    return 0;
}

上面的代码按预期工作，但是，在 main() 中而不是调用函数，我如何存储指向模板化 Setter:setter() 和 Getter::getter() 的指针？我正在尝试

std::pair<&Setter::setter<int, &Handle::setAskPrice, float>, &Getter::getter<int, &Handle::getAskPrice, float>(h)> func_pair;

并且可以稍后调用函数。

但我收到一条错误消息

main.cpp: In function ‘int main()’:
main.cpp:85:118: error: type/value mismatch at argument 1 in template parameter list for ‘template struct std::pair’
     std::pair<&Setter::setter<int, &Handle::setAskPrice, float>, &Getter::getter<int, &Handle::getAskPrice, float>(h)> func_pair;
                                                                                                                      ^
main.cpp:85:118: note:   expected a type, got ‘& setter’
main.cpp:85:118: error: template argument 2 is invalid

Answer 1

您可以使用decltype获取指针类型。

示例：

std::pair<int, decltype(&Setter::setter<int, &Handle::setAskPrice, float>)> x = {
    1, &Setter::setter<int, &Handle::setAskPrice, float>
};

C++11 之前的版本：

std::pair<int, void(*)(Handle&, float&)> x(
    1, &Setter::setter<int, &Handle::setAskPrice, float>
);

Answer 2

你的问题是模板参数是一种类型，但你传递的是一个值（指针）作为参数。相反，您可以像这样使用 auto：

auto func_pair = std::make_pair(&Setter::setter<int, &Handle::setAskPrice, float>, &Getter::getter<int, &Handle::getAskPrice, float>);

编辑：如果您使用的是 C++03，std::make_pair() 仍然可用，但 auto 不可用。您将需要使用一系列 typedef 手动描述类型。

Answer 3

静态成员函数只是一个普通的函数。您可以像这样存储这些指针：

std::pair<void (*)(Handle& handle, float& val), float (*)(const Handle& handle)> 
    func_pair(&Setter::setter<int, &Handle::setAskPrice, float>, &Getter::getter<int, &Handle::getAskPrice, float>);

使用函数指针作为模板函数类型参数？

Use a function pointer as template function type parameter?

c++

templates

function-pointers

c++03