- mongodb - 在 MongoDB mapreduce 中,如何展平值对象?
- javascript - 对象传播与 Object.assign
- html - 输入类型 ="submit"Vs 按钮标签它们可以互换吗?
- sql - 使用 MongoDB 而不是 MS SQL Server 的优缺点
提前道歉,我知道评估顺序的一般主题已经有很多关于它的问题。但是,在看过它们之后,我想澄清一些我认为不构成重复的具体点。假设我有以下代码:
#include <iostream>
auto myLambda(int& n)
{
++n;
return [](int param) { std::cout << "param: " << param << std::endl; };
}
int main()
{
int n{0};
myLambda(n)(n);
return 0;
}
上面的程序在我编译时输出“n: 0”。在这里,我们有未指定的顺序:它可以很容易地输出“n:1”,但发生了不同的评估顺序。
我的问题是:
在上面的最终函数调用(即 lambda 表达式调用)期间,后缀表达式 myLambda(0)
之间的排序关系到底是什么? , 它的论点 n
,以及后续的函数调用本身?
以上是 undefined 或 unspecified 行为的示例吗?为什么(引用标准)?
如果我将 lambda 代码更改为 [](int param) { std::cout << "hello" << std::endl }
(即,使结果独立于其参数,因此任何评估顺序决策,使行为具有确定性)上面 2)的答案是否仍然相同?
编辑:我已将 lambda 参数名称从“n”更改为“param”,因为这似乎会引起混淆。
最佳答案
具有讽刺意味的是(因为该示例使用 C++11 功能,并且其他答案已被此分散了注意力)使该示例具有未指定行为的逻辑可以追溯到 C++98,第 5 节,第 4 段
Except where noted, the order of evaluation of operands of individual operators and subexpressions of individual expressions, and the order in which side effects take place, is unspecified. Between the previous and next sequence point a scalar object shall have its stored value modified at most once by the evaluation of an expression. Furthermore, the prior value shall be accessed only to determine the value to be stored. The requirements of this paragraph shall be met for each allowable ordering of the subexpressions of a full expression; otherwise the behavior is undefined.
基本上相同的子句存在于所有 C++ 标准中,尽管正如 Marc van Leeuwen 的评论所指出的,最近的 C++ 标准不再使用序列点的概念。最终效果是相同的:在语句中,运算符的操作数和单个表达式的子表达式的顺序或求值仍未指定。
出现未指定的行为是因为表达式 n
在语句中被计算了两次
myLambda(n)(n);
表达式 n
的一个评估(以获取引用)与第一个 (n)
和表达式 n
的另一个评估相关联>(获取值)与第二个(n)
相关联。这两个表达式的求值顺序(即使它们在光学上都是 n
)是未指定的。
类似的子句存在于所有 C++ 标准中,并且具有相同的结果 - 语句 myLambda(n)(n)
上的未指定行为,无论 myLambda()
如何实现
例如,myLambda()
可以像这样在 C++98(以及所有后来的 C++ 标准,包括 C++11 和更高版本)中实现
class functor
{
functor() {};
int operator()(int n) { std::cout << "n: " << n << std::endl; };
};
functor myLambda(int &n)
{
++n;
return functor();
}
int main()
{
int n = 0;
myLambda(n)(n);
return 0;
}
因为问题中的代码只是实现与此相同效果的 (C++11) 技术(或简写)。
以上回答了OP的问题1和2。未指定的行为发生在main()
中,与myLambda()
本身的实现方式无关。
要回答 OP 的第三个问题,如果 lambda(或我的示例中的仿函数的 operator()
)被修改为不访问其参数的值,则行为仍未指定。唯一的区别是整个程序不会产生可见的输出,这可能会因编译器而异。
关于C++ 后缀表达式未定义与未指定行为,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/37344370/
我找到了 this excellent question and answer它以 x/y(加上 center x/y 和 degrees/radians)开始并计算旋转- 到 x'/y'。这个计算很
全部: 我已经创建了一个 Windows 窗体和一个按钮。在另一个线程中,我试图更改按钮的文本,但它崩溃了;但是如果我尝试更改按钮的颜色,它肯定会成功。我认为如果您更改任何 Windows 窗体控件属
本网站的另一个问题已证实,C 中没有缩写的字面后缀,并且可以执行以下操作: short Number = (short)1; 但是转换它和不这样做有什么区别: short Number = 1; 您使
我有下表: ID (int) EMAIL (varchar(50)) CAMPAIGNID (int) isSubscribe (bit) isActionByUser (bit) 此表存储了用户对事
也就是说,无需触发Javascript事件即可改变的属性,如何保留我手动选中或取消选中的复选框的状态,然后复制到另一个地方? 运行下面的代码片段并选中或取消选中其中的一些,然后点击“复制”: $('#
我在网上找到的所有关于递增指针导致段错误的示例都涉及指针的取消引用 - 如果我只想递增它(例如在 for 循环的末尾)并且我不在乎它是否最终进入无效内存,因为我不会再使用它。例如,在这个程序中,每次迭
我有一个 Spring MVC REST 服务,它使用 XStream 将消息与 XML 相互转换。 有什么方法可以将请求和响应中的 xml(即正文)打印到普通的 log4j 记录器? 在 Contr
做我的任务有一个很大的挑战,那就是做相互依赖的任务我在这张照片中说的。假设我们有两个任务 A 和 B,执行子任务 A1、A2 和 B1、B2,假设任务 B 依赖于 A。 要理想地执行任务 B,您应该执
通过阅读该网站上的几个答案,我了解到 CoInitialize(Ex) should be called by the creator of a thread 。然后,在该线程中运行的任何代码都可以使
这个问题已经困扰我一段时间了。我以前从未真正使用过 ListViews,也没有使用过 FirebaseListAdapters。我想做的就是通过显示 id 和用户位置来启动列表的基础,但由于某种原因,
我很难解释这两个(看似简单)句子的含义: “受检异常由编译器在编译时检查” 这是什么意思?编译器检查是否捕获了所有已检查的异常(在代码中抛出)? “未经检查的异常在运行时检查,而不是编译时” 这句话中
我有一个包含排除子字符串的文本文件,我想迭代该文件以检查并返回不带排除子字符串的输入项。 这里我使用 python 2.4,因此下面的代码可以实现此目的,因为 with open 和 any 不起作用
Spring 的缓存框架能否了解请求上下文的身份验证状态,或者更容易推出自己的缓存解决方案? 最佳答案 尽管我发现这个用例 super 奇怪,但您可以为几乎任何与 SpEL 配合使用的内容设置缓存条件
我有以下函数模板: template HeldAs* duplicate(MostDerived *original, HeldAs *held) { // error checking omi
如果我的应用程序具有设备管理员/设备所有者权限(未获得 root 权限),我如何才能从我的应用程序中终止(或阻止启动)另一个应用程序? 最佳答案 设备所有者可以阻止应用程序: DevicePolicy
非常简单的问题,但我似乎无法让它正常工作。 我有一个组件,其中有一些 XSLT(用于导航)。它通过 XSLT TBB 使用 XSLT Mediator 发布。 发布后
我正在将一个对象拖动到一个可拖放的对象内,该对象也是可拖动的。放置对象后,它会嵌套在可放置对象内。同样,如果我将对象拖到可放置的外部,它就不再嵌套。 但是,如果我经常拖入和拖出可放置对象,则可拖动对象
我正在尝试为按钮和弹出窗口等多个指令实现“取消选择”功能。也就是说,我希望当用户单击不属于指令模板一部分的元素时触发我的函数。目前,我正在使用以下 JQuery 代码: $('body').click
我从 this question 得到了下面的代码,该脚本用于在 Google tasks 上更改 iframe[src="about:blank"] 内的 CSS使用 Chrome 扩展 Tempe
我有一些 @Mock 对象,但没有指定在该对象上调用方法的返回值。该方法返回 int (不是 Integer)。我很惊讶地发现 Mockito 没有抛出 NPE 并返回 0。这是预期的行为吗? 例如:
我是一名优秀的程序员,十分优秀!