参数较少的模板函数中的演绎

尽管两个传递的lambda做的相同或看起来相似,但它们的类型完全不同。因此,在中需要两种不同的模板类型 doTasks .

Easy fix为两个lambda提供模板参数

template <class T1, class T2>
void doTasks(T1 task1, T2 task2)
{
  // ...
}

否则,使用可变模板函数和 fold expression ,您可以执行以下操作:

#include <type_traits> // std::conjunction_v, std::is_invocable

template <class... Ts>
void doTasks(Ts&&... lmds) {
    if (std::conjunction_v<std::is_invocable<Ts>...>) // maybe if constexpr
    {
        (lmds(), ...);
    }
}

由于参数是可变的,因此它也适用于 点任务 因此没有代码重复。

Live demo

Lambda有不同的类型。您需要为第二个添加另一个模板参数:

#include <type_traits> // for the proper `std::invocable`

template <class Task, class AnotherTask>
void doTasks(Task task1, AnotherTask task2) {
    if constexpr (std::is_invocable_v<Task> && std::is_invocable_v<AnotherTask>) {
        std::cout << "doing first task\n";
        task1();
        std::cout << "doing second task\n";
        task2();
    }
}

注意:由于它是C++17,您还可以使用 constexpr if 处理 if 仅在编译时。

Demo