扣除模板功能很少

Question

我几乎没有一个模板功能的实例。他们每个人都依次执行每个给定的lambdas，并伴随着特定的消息。当我用一个lambda做到这一点时，一切都很好，但是当我尝试添加多个lambda时，我会

note: candidate template ignored: deduced conflicting types for parameter 'Task'

从 clang 中获得。这是我的代码：

template <class Task> void doTasks(Task task1)  // works fine
{  
    if (std::__is_invocable<Task>::value) 
    {
        std::cout << "doing first task" << endl;
        task1;
    }
}

template <class Task>
void doTasks(Task task1, Task task2) // deduced conflicting types
{ 
    if (std::__is_invocable<Task>::value) 
    {
        std::cout << "doing first task" << endl;
        task1();
        std::cout << "doing second task" << endl;
        task2();
    }
}


int main()
{
    doTasks([&] (){std::cout << "1" << endl;}); 

    doTasks([&] (){std::cout << "1" << endl;},
            [&] (){std::cout << "2" << endl;}); 
  
    return 0; 
}

有什么问题？我该如何处理我的问题？

抱歉，如果这是一个愚蠢的问题，我是C ++的某种初学者，可能不了解某些模板的细微差别。

Answer 1

即使两者通过了Lambdas相同或看起来相似，但它们具有完全不同的类型。因此，您需要在Dotasks中使用两种不同的模板类型。

简单修复程序是

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

使用variadic模板函数和 fold Expression < /a>，您可以做类似的事情：

#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(), ...);
    }
}

由于参数为variadic，因此它也适用于dotasks的单个/任何参数，因此无代码重复。

live demo

Answer 2

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

#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 仅在编译时处理 。

demo