C++模板化模板推导回避可能吗？

Question

我有一个可以通过使用宏来解决的编译时情况，但我想知道是否有更好的方法。这是一个非常简化的概念版本，用于说明目的(真实的东西有更多的“Do”状态并在宏中使用开关):

int DoA(int a, int b)
{
    return a + b;
}

int DoB(int a, int b)
{
    return a - b;
}

template <typename F> int DoFunc1(int a, int b, F func)
{
    return func(a,b);
}

template <typename F> int DoFunc2 (int a, int b, F func)
{
    a *= 2;
    b++;
    return func(a,b);
}

#define ChooseFunc(type, a, b, func)  (((type)) ? (func)((a), (b), (DoA)) : (func)((a), (b), (DoB)))

int CallerA(bool state, int a, int b) 
{
    return ChooseFunc(state, a, b, DoFunc1);
}

int CallerB(bool state, int a, int b) 
{
    return ChooseFunc(state, a, b, DoFunc2);
}

现在我想做的就是放弃宏，改用这样的东西:

int ChooseFunc(bool type, int a, int b, auto func)
{
    if (type)
        return func(a, b, DoA);

    return func(a, b, DoB);
}

但显然这不会编译，因为编译器无法推断模板类型。

问题是，有没有更好的巧妙方法来做到这一点？

Answer 1

写一个仿函数类

struct Func1 {
    template<typename F>
    int operator()(int a, int b, F func) { return DoFunc1(a, b, func); }
};

// Likewise for DoFunc2

并改为传递一个仿函数。