模板构造函数类型推导不起作用(没有匹配的构造函数用于初始化...)使用function<>参数
模板构造函数类型推导不起作用是指在使用function<>参数时，无法找到匹配的构造函数进行初始化。function<>是C++11引入的一个模板类，用于包装可调用对象（函数、函数指针、成员函数指针等），并提供一种统一的方式来调用这些可调用对象。
在使用function<>参数时，编译器会尝试根据传入的参数类型推导出匹配的构造函数，然后进行初始化。但是，如果没有找到匹配的构造函数，就会出现模板构造函数类型推导不起作用的情况。
解决这个问题的方法有以下几种：
- 显式指定模板参数类型：可以通过显式指定模板参数类型来解决类型推导失败的问题。例如，如果function<>参数是一个函数指针，可以使用function<void(int)>来指定参数类型为void(int)的函数。
- 使用lambda表达式：lambda表达式可以用来创建匿名函数对象，并且可以自动推导参数类型。通过使用lambda表达式作为function<>参数，可以避免类型推导失败的问题。例如，可以使用function<void(int)>({})来创建一个接受int类型参数的函数对象。
- 使用std::bind：std::bind是一个函数模板，用于将可调用对象与其参数进行绑定，并返回一个新的可调用对象。通过使用std::bind将可调用对象与参数进行绑定，然后将绑定后的对象作为function<>参数，可以解决类型推导失败的问题。
总结起来，当模板构造函数类型推导不起作用时，可以通过显式指定模板参数类型、使用lambda表达式或者使用std::bind来解决问题。具体的解决方法需要根据具体的代码和需求来确定。
相关·内容
2回答
从std::function参数类型推断模板参数
c++、c++20
为什么下面的类A不能在下面的代码中推导出它的模板参数：
#include <functional>
template <class... Ts>
class A
{
public:
using Func = std::function<void(std::decay_t<Ts>...)>;
A(Func func) : m_func(func)
{
}
private:
Func m_func;
};
int main()
{
//compiles
A<int, bool&
浏览 6提问于2021-01-18得票数 1
回答已采纳
2回答
C++模板演绎不起作用
c++、templates、c++14、template-argument-deduction
关于下列代码：
#include<functional>
template<typename T>
void f(std::function<void(T)> g) {
}
template<typename T>
void g(T x) {
}
int main() {
f(&g<int>);
}
C++14编译器产生错误：
no matching function for call to 'f(<unresolved overloaded function type>)'
浏览 3提问于2016-12-22得票数 1
回答已采纳
1回答
具有指定模板参数的C++11 make_pair无法编译
c++、templates、g++、c++11、rvalue-reference
我只是在玩启用了-std=c++11的g++ 4.7 (后来的快照之一)。我试图编译一些现有的代码库，但有一个案例失败了，这让我有点困惑。
如果有人能解释一下发生了什么，我将不胜感激。
代码如下：
#include <utility>
#include <iostream>
#include <vector>
#include <string>
int main ( )
{
std::string s = "abc";
// 1 ok
std::pair < std::string, int &g
浏览 167提问于2012-03-10得票数 85
回答已采纳
2回答
可变模板函数接受lambda
c++、templates、c++11、lambda、variadic-templates
我正在试图理解下面的代码所得到的编译器错误。我获得了一个可变模板函数，它接受具有指定类型的lambda，并试图调用该函数，由于不匹配，模板不会被视为有效的候选。
#include <functional>
template<typename ... ResultTypes>
void executeWithResultHandler(std::function<void (ResultTypes...)> lambda)
{
}
int main(int argc, char **argv)
{
executeWithResultHandler&
浏览 4提问于2014-07-13得票数 4
回答已采纳
2回答
c++ std::bind如何返回赋值给std::function？
c++、function、c++11、stl、bind
考虑下面一些简单的代码：
int f1(int a) {
std::cout << a << std::endl;
}
int main (int agrc, char* argv[]) {
std::function<int(int)> f = std::bind(&f1, std::placeholders::_1);
f(123);
return 0;
}
我已经阅读了一些关于std::function和std::bind的文档，但仍然不了解它是如何工作的。
编译器显示std::bind的调用返回一个_Bind_helper
浏览 0提问于2020-05-07得票数 3
1回答
返回std::bind隐式转换为两个不同的显式构造函数的类型
c++、c++11、std-function、stdbind
给定两个explicit构造函数重载(基于不同的std::function<...>类型)，std::bind的返回值可以选择或(从而使调用变得模糊)
call of overloaded ‘Bar(std::_Bind_helper<false, void (Foo::*)(int),
Foo*, int>::type)’ is ambiguous
如果我注释掉了，那么代码就编译了！
我想让构造函数explicit要么选择正确的重载，要么阻止两者被选中？
当然，显式在绑定点创建std::function的工作原理是：
Bar b(std::funct
浏览 2提问于2013-09-22得票数 1
回答已采纳
2回答
std：：使用可变模板函数绑定
c++、variadic-templates、stdbind
我正在尝试编写一个泛型obj工厂，使用各种模板调用各种类的构造函数。守则如下：
#include <iostream>
#include <string>
#include <memory>
#include <functional>
#include <unordered_map>
template<typename T>
class ObjFactory {
public:
typedef std::shared_ptr<T> ObjPtr;
typedef st
浏览 0提问于2018-08-10得票数 4
1回答
如何使C++从lambda推断模板类型参数？
c++、templates、lambda、c++17、type-inference
这是我的密码：
#include<iostream>
struct Item {
int val;
};
struct XItem {
int val;
};
void transform(const Item &i, XItem &target) {
target.val = i.val;
}
template<typename T>
void show(const T &v) {
std::cout << v.val << std::endl;
}
template<typename P
浏览 0提问于2020-08-12得票数 1
回答已采纳
2回答
通过参数传递lambda (没有函数类型模板)
c++、lambda、function-pointers、c++17
我想在这里传递一个lambda，而不是使用函数模板，而是使用std::function或类型化函数指针。
#include <iostream>
#include <list>
#include <functional>
template<typename T>
std::list<T> mapll(std::function<T(T)> f, std::list<T> l) {
for(auto it = l.begin(); it != l.end(); ++it) {
*it =
浏览 0提问于2018-08-22得票数 1
回答已采纳
2回答
传递以模板化参数作为参数的函数，函数指针与std::function
c++、c++11、templates
所以我有一些泛型类，其中有两个函数，它们以函数作为参数。一个是函数指针，另一个是std::function。两者都有一个模板参数。
#include <functional>
#include <memory>
namespace {
void example(const std::shared_ptr<const int>&) {}
}
class Generic {
public:
Generic() {}
virtual ~Generic() {}
template <typename Targ>
浏览 4提问于2016-11-14得票数 1
回答已采纳
4回答
为什么std::function不参与过载解析？
c++、templates、translation、std-function
我知道下面的代码不会编译。
void baz(int i) { }
void baz() { }
class Bar
{
std::function<void()> bazFn;
public:
Bar(std::function<void()> fun = baz) : bazFn(fun){}
};
int main(int argc, char **argv)
{
Bar b;
return 0;
}
因为正如我在std::function中所读到的，据说不考虑过载解析。
我不完全理解迫使这种解决办法的技术限制。
我读过关
浏览 6提问于2019-12-13得票数 18
回答已采纳
2回答
是否可以将std：：绑定的返回值实际转换为不带构造的std：：函数？
c++、c++11、casting、stl
在中，OP声称main函数的第三行是将std::bind的返回值转换为std::function。
但是，对我来说，这似乎是一个简单的构造函数调用。
是否有合法的方法可以在不构造新对象的情况下将的返回值std::bind转换为std::function？
或者，将std::bind的返回值的地址转换为std::function*，然后通过延迟来调用它(而不是未定义的行为)，这是合情合理的吗？
假设我知道std::function的适当模板参数。也就是说，假设它们是相同的模板参数，如果我们从std::bind的返回值构造一个std::bind实例，就会使用这些参数。
浏览 6提问于2016-05-16得票数 1
回答已采纳
1回答
将lambda参数传递给没有中间变量的std::function参数
c++、templates、lambda、std-function、template-argument-deduction
这看起来可能类似于，但是我实际上是通过值传递std::function参数，所以这个问题不适用。我定义了以下函数。
template<typename T>
std::vector<T> countSort(const std::vector<T> &v, std::function<int(T)> keyFunc, int n);
第二个参数是一个std::function，它将T映射到int (通过值传递)。
在调用它时，我希望使用lambda表达式，如下所示：
std::vector<int> v;
[...]
v =
浏览 5提问于2020-08-24得票数 1
回答已采纳
1回答
推导尾随模板-函数模板显式专业化声明中的参数(没有函数arg )。扣减)
c++、templates、language-lawyer、template-specialization
(这个问题是评论中讨论的一个分支。)
说强调地雷
在命名显式函数模板专门化的 时，可以在中留下未指定的，条件是它可以从函数参数类型中推导出来。 示例：
模板类数组{ /* . */ }；模板空排序( Array & v)；//显式专门化排序(Array&) //带有推导的模板- int template<>空洞排序(Array&)类型的参数；
- 端例
它显然适用于foo(T)的(完全)显式专门化，在下面的示例中：
#include <iostream>
template <typename T>
void foo(T
浏览 3提问于2020-04-23得票数 5
回答已采纳
1回答
将lambda函数作为参数传递时，没有匹配的函数错误
c++、c++11、lambda、type-conversion、callable-object
我有一份数字清单。
我正在尝试过滤列表，只保留正数。
我试图通过传递一个lambda作为参数来做到这一点。
我想知道为什么会出现函数不匹配错误。
#include <vector>
#include <algorithm>
#include <functional>
template<typename T>
std::vector<T> keep(
const std::vector<T> &original,
std::function<bool(const T&)
浏览 4提问于2015-09-29得票数 10
回答已采纳
2回答
为什么c++11中的lambda函数没有function<>类型？
c++、lambda、functional-programming、c++11
我正在尝试c++11的功能特性。我发现奇怪的一件事是，lambda函数的类型实际上不是function<>类型。更重要的是，lambda似乎并不能很好地处理类型推断机制。
附件是一个小例子，在这个例子中，我测试了翻转函数的两个参数来添加两个整数。(我使用的编译器是MinGW下的gcc 4.6.2。)在这个例子中，addInt_f的类型是使用function<>显式定义的，而addInt_l是一个lambda，它的类型是使用auto进行类型推断的。
当我编译代码时，flip函数可以接受显式类型定义的addInt版本，但不能接受lambda版本，这会给出一个错误，即test
浏览 20提问于2012-07-24得票数 17
回答已采纳
2回答
模板函数查找失败
c++、templates、language-lawyer
考虑下面的例子。
#include <iostream>
#include <boost/optional.hpp>
template < typename A >
int boo( const boost::optional< A > &a );
template < typename A >
int foo( const A &a )
{
return boo( a );
}
template < typename A >
int boo( const boost::optional<
浏览 7提问于2011-02-09得票数 1
回答已采纳
2回答
为什么我不能用可选的UnaryPredicate参数创建一个模板函数？
c++、templates、template-argument-deduction
我正在尝试创建一个带有可选参数的模板化函数，并且我很难理解为什么编译失败。这是我的测试代码(人为的)：
#include <iostream>
#include <vector>
template <class UnaryPredicate>
int GetCountIf(std::vector<int> v, UnaryPredicate pred = [](auto) { return true; }) {
int count=0;
for (auto i: v) {
if (pred(i)) {
count++
浏览 0提问于2019-02-21得票数 8
回答已采纳
2回答
为什么该模板参数推断失败？
c++、templates、lambda、c++11、type-inference
我正在尝试理解为什么这个代码片段失败了：
#include <iostream>
using namespace std;
template <typename Lambda>
struct Handler
{
bool _isCompleted;
bool isCompleted() { return _isCompleted; }
Lambda _l;
Handler(Lambda&& l) : _l(l) {}
void call() { _l(this); }
};
int main()
{
auto l1
浏览 1提问于2012-05-22得票数 1
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
活动推荐
腾讯云开发者
