- android - RelativeLayout 背景可绘制重叠内容
- android - 如何链接 cpufeatures lib 以获取 native android 库?
- java - OnItemClickListener 不起作用,但 OnLongItemClickListener 在自定义 ListView 中起作用
- java - Android 文件转字符串
C++11 有 lambda 和 std::function<>,但不幸的是,它们有不同的类型。一个结果是不能直接在高阶函数中使用 lambda,例如 lisp 中的 map。例如,在下面的代码中
#include <vector>
#include <functional>
using namespace std;
template <typename A,typename B>
vector<B> map(std::function<B (A)> f, vector<A> arr) {
vector<B> res;
for (int i=0;i<arr.size();i++) res.push_back(f(arr[i]));
return res;
}
int main () {
vector<int> a = {1,2,3};
map([](int x) -> int { return x;},a); //not OK
auto id_l = [](int x) -> int { return x;};
map(id_l,a); //not OK;
function<int (int)> id_f = id_l;
map(id_f,a); //OK
return 0;
}
,在 main() 的第 2 行中直接使用 lambda 是行不通的。 g++ -std=c++11 testfunc.cpp
返回 `... testfunc.cpp:14:37: 注意:'main()::__lambda0' 不是从 'std::function' 派生的。
C++11 类型推断也失败了,你可以看到如果将 lambda 存储到自动变量然后使用它,类型信息仍然丢失,可能是由于类型删除和性能损失小的原因(正如我被告知的那样:why do lambda functions in c++11 not have function<> types?)。
有效的方法是将 lambda 存储在 std:function<> 类型的变量中并使用该变量。这相当不方便,并且有点违背在 C++11 的函数式编程中使用 lambda 的目的。例如,不能用 bind 或 flip 之类的东西就地操纵 lambda,而是必须先将 lambda 存储到一个变量。
我的问题是,是否有可能(以及如何)克服这个问题并使 main() 的第 2 行合法,例如通过覆盖一些类型转换运算符? (当然,这意味着我不关心使用/不使用类型删除所涉及的小性能损失。)
提前致谢。
--- 编辑 ---
澄清一下,我使用 std::function
的原因std::function
而不是函数参数的泛型类型参数具有准确的类型信息,而泛型类型参数如 template <typename F> map(F f, ...)
不包含类型信息。另外,正如我最终发现的那样,每个 lambda 都是它自己的类型。因此,类型删除甚至不是 lambda 与其匹配 std::function
之间不兼容的问题。对象。
---更新---
关于如何使上面的 map 功能起作用或如何改进它们,已经有两个答案。只是为了澄清。我的问题不是关于如何使 map 工作。还有很多其他用例涉及使用 std::function<> 类型参数,我认为这至少可以使代码更具可读性并使类型推断变得容易。到目前为止的答案是关于如何不使用 std::function<> 作为参数。我的问题是关于如何使这样的函数(使用 std::function<> 类型参数)自动接受 lambda。
-- 更新 2 ---
作为对评论的回应,这里有一个实际案例示例,其中 std::function<> 中的类型信息可能会有用。假设我们要实现 fold_right : ('a -> 'b -> 'b) -> 'a list -> 'b -> 'b
的 C++ 等效项在 OCaml ( http://caml.inria.fr/pub/docs/manual-ocaml/libref/List.html ) 中。
有了 std::function<>,就可以做到
//approach#1
template <typename A,typename B>
B fold_right(std::function<B (A, B)> f, vector<A> arr, B b) {
...
}
从上面可以清楚的看出什么f
是什么,它能承受什么,不能承受什么。也许,也可以用
//approach#2
template <typename A,typename B, typename F>
auto fold_right2(F f, vector<A> arr, B b) -> decltype(f(???)) {
...
}
但是,当您试图找出要放入 decltype
中的内容时,这会变得有点丑陋。 .另外,f
到底是什么?服用,正确的使用方法是什么f
?从可读性的角度来看,我猜代码的读者只能通过解释函数体中的实现来弄清楚什么是 f(函数或标量)和 f 的签名。
这是我不喜欢的,也是我的问题的来源。如何使方法#1 方便地工作。例如,如果 f
表示两个数字相加,如果您先创建一个函数对象,则方法#1 有效:
std::function<int (int, int)> add = [](int x, int y) -> int { return x + y; }
fold_right(add,{1,2,3},0);
撇开效率问题不谈,上面的代码很不方便,因为 std::function 不能接受 lambda。所以,
fold_right([](int x, int y) -> int { return x + y; },{1,2,3},0);
目前在 C++11 中不起作用。我的问题具体是关于是否有可能制作像 fold_right
这样的功能上面定义的直接接受 lambda。也许期望太高了。我希望这能澄清问题。
最佳答案
为什么要通过 std::function<...>
创建动态间接寻址首先?只需对函数对象进行模板化,您就可以排序:
template <typename A, typename F>
auto map(F f, std::vector<A> arr) -> std::vector<decltype(f(arr[0]))> {
std::vector<decltype(f(arr[0]))> res;
for (int i=0; i<arr.size(); ++i)
res.push_back(f(arr[i]));
return res;
}
事实上,也没有必要确定容器类型,您可能希望通过 [ const
传递它。 ] 引用资料:
template <typename C, typename F>
auto map(F f, C const& c) -> std::vector<decltype(f(*c.begin()))> {
std::vector<decltype(f(*c.begin()))> res;
for (auto const& value: c)
res.push_back(f(value));
return res;
}
最后,请注意标准 C++ 库中已经有一个“映射”函数。它恰好拼写为std::transform()
并且有一个接口(interface)更适合 C++ 中的通用方法:
std::vector<int> result;
std::transform(a.begin(), a.end(), std::back_inserter(result),
[](int x){ return x;});
关于c++ - 如何使 C++11 函数采用 function<> 参数自动接受 lambdas,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/20722918/
我正在本地编程应用程序,但是当我迁移到服务器时,使用此行出现解析错误: if(!is_array($data[array_keys($data)[0]])) 返回值: Parse error: syn
关闭。这个问题是opinion-based 。目前不接受答案。 想要改进这个问题吗?更新问题,以便 editing this post 可以用事实和引文来回答它。 . 已关闭 9 年前。 Improv
我已经开始尝试用 C++ 学习 Winsock,但我遇到了一些问题。我首先遵循 MSDN 上的 Winsock 示例(一个基本的客户端-服务器)。 http://msdn.microsoft.com/
我有一段使用 epoll 的代码,但它有问题。当我运行它时,它给出输出:服务器套接字()没问题......服务器绑定(bind)()没问题......3个4个接受:无效参数 我在 ubuntu lin
我正在寻找一种方法来接受 $_GET 变量作为文件路径,例如 - /page/test将转换为 page.php?page=test .我已经搜索过,但找不到任何可以帮助我的东西,因此我在这里问。 我
我想要一个只接受从 0 到 9 和减号的浮点数的正则表达式。 请帮忙。 最佳答案 ^[-+]?[0-9]*\.?[0-9]+$ ^ - 字符串开头 [-+]? - 0 或 1 符号指示符 [0-9]*
请问如何接受\r\n无需将其更改为 \\r\\n , 与 fgets . 我想让程序翻译 \r\n到换行符而不是将其打印为字符串。 当前代码: char buff[1024]; printf("Msg
我正在编写一个 Cocoa 应用程序,该应用程序需要在其 Dock 图标上接受已安装卷的滴落。它不是基于文档的;我打算将每个卷分派(dispatch)到 application:openFiles 中
我在 SQLite 中发现了这种意外行为。 SQLite 似乎接受 SQL 连接语法中的任意关键字。如果我不小心键入了 natural join 而不是 natural join,则会生成笛卡尔积。这
我在 Windows 窗体的同一个窗体上有一个 TreeView 和一个多行文本框。我有拖放设置,以便我可以将节点从 TreeView 拖到文本框并将文本插入文本框(这是有效的)。 我想增强这一点,以
我正在创建一棵类似于 D3 Layout Tree 的树并尝试绑定(bind)我的自定义 JSON 对象。切换树节点的代码如下。 function toggleAll(d) { if (d.c
所以,我希望能够向我的 DOB 字段发送空选项。 这是我的表单生成器: ->add('birthDate', DateType::class, array( 'widg
错误可以在这里看到:http://djaffry.selfip.com:8080/ 我希望索引页接受参数,无论是 mysite.com/search/param_here 或 mysite.com/?
我想知道标准 Scala 解析器组合器是否包含一个解析器,该解析器接受 Scala 语言本身也接受的相同标识符(如 Scala 语言规范第 1.1 节中所指定)。 StdTokenParsers 特征
我暂时使用以下行在我的 Android 手机上创建 ServerSocket: socketl = new ServerSocket(port, 0, InetAddress.getByName("1
今天早上刚刚发布了一个应用程序,我在所有可能的设备和模拟器上测试了它,但是当我从商店下载它时,应用程序在启动时崩溃。我在很多设备和iOS版本上测试过,但结果都是一样的: Incident Identi
我想要 5 个名字中最长的一个。我想我应该使用 compareTo() 方法或 length()? 输出必须是这样的: enter 5 names : Joey Mark Catherine Zach
抱歉,我不熟悉泛型,我可以创建一个如下所示的泛型类: public class InfoField { } 上面的类可以接受如下值: , User> 但是我可以有接受 map 对象作为值的类吗?
我想让一个单元格等于它上面的单元格。 当我写作时 =address(row()-1;column()) 它只是写入上面单元格的名称(例如,对于 B2,它写入 $B$1) 是否有一个函数可以输入地址并放
我正在使用Asm访问java字节码来获取方法信息。看来ClassReader类的accept方法是异步调用的,所以不可能立即获取方法信息。我该怎么办? 最佳答案 实际上,accept 方法是从您自己的
我是一名优秀的程序员,十分优秀!