代码之家 › 专栏 › 技术社区 › sovesti

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

function-templates template-argument-deduction c++17 templates c++

sovesti · 技术社区 · 3 年前

我有几个模板函数的实例。它们中的每一个都顺序地执行每个给定的lambda,并附带特定的消息。当我使用一个lambda时,一切都很好,但是当我尝试添加多个lambda时,我得到

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

从…起 叮当声 . 这是我的代码:


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++的初学者,可能不理解一些模板的细微差别。

2 回复 | 直到 3 年前

JeJo 3 年前

尽管两个传递的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

Ted Lyngmo 3 年前

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

推荐文章

sungjun cho · 函数模板重叠多个匹配项

7 月前

Kaiyakha · 模板模板部分专业化

8 月前

Amaterastis · 基类接受子类和内部子类的模板参数

8 月前

111111 · 确定作为模板参数传递的函数的参数类型

8 月前

timmy george · 当类具有非constexpr std::array时,如何将std::array.size()用作模板参数

8 月前

Sam · 在LaTeX中将图像添加到预制的投影仪中

8 月前

xmllmx · 在C++20中,是否有一种优雅的方式在编译时对类型进行排序?

8 月前

Giogre · C++:类成员函数的模板特化,与另一个成员函数的不同之处仅在于通过引用而不是值接受参数

8 月前

user416983 · 模板函数成员作为模板参数

8 月前

PyOPTProblem · c++如何模板化模板参数的部分实例化?

9 月前