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

写一个函子class

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

// Likewise for DoFunc2

并传递一个仿函数。

Answer 2

将函数编写为函数对象：

constexpr auto DoFunc1 = [](int a, int b, auto func)->int
{
    return func(a,b);
};

constexpr auto DoFunc2 = [](int a, int b, auto func)->int
{
    a *= 2;
    b++;
    return func(a,b);
};

通过这种方法，您可以保留 ChooseFunc() 函数模板。

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

C++ templated template deduction sidestep possible?

c++

templates

template-argument-deduction

c++17