- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
考虑以下片段(假设 T
是平凡可构造和平凡可破坏的):
std::optional<T> opt;
opt.emplace();
T& ref = opt.value();
opt.emplace();
// is ref guaranteed to be valid here?
来自 the definition of std::optional
我们知道包含的实例保证在 std::optional
容器内分配,因此我们知道引用 ref
将始终引用相同的内存位置。是否存在指向对象被销毁并再次构造后该引用将不再有效的情况?
最佳答案
C++20 有如下规则,[basic.life]/8:
If, after the lifetime of an object has ended and before the storage which the object occupied is reused or released, a new object is created at the storage location which the original object occupied, a pointer that pointed to the original object, a reference that referred to the original object, or the name of the original object will automatically refer to the new object and, once the lifetime of the new object has started, can be used to manipulate the new object, if the original object is transparently replaceable (see below) by the new object. An object o1 is transparently replaceable by an object o2 if:
- the storage that o2 occupies exactly overlays the storage that o1 occupied, and
- o1 and o2 are of the same type (ignoring the top-level cv-qualifiers), and
- o1 is not a complete const object, and
- neither o1 nor o2 is a potentially-overlapping subobject (6.7.2), and
- either o1 and o2 are both complete objects, or o1 and o2 are direct subobjects of objects p1 and p2 ,respectively, and p1 is transparently replaceable by p2.
这表明只要T
不是 const 限定的,破坏了 T
在 std::optional<T>
里面然后重新创建它应该导致对旧对象的引用自动引用新对象。正如评论部分所指出的,这是对旧行为的更改,取消了 T
的要求。不得包含 const 限定或引用类型的非静态数据成员。 (编辑:我之前断言更改是追溯性的,因为我将它与 C++20 中的不同更改混淆了。我不确定 N4858 中指示的 RU 007 和 US 042 的决议是否具有追溯性,但我怀疑答案是肯定的,因为需要更改来修复涉及标准库模板的代码,这些模板可能不是打算从 C++11 到 C++17 被破坏。)
但是,我们假设新的 T
“在 [旧] 对象占用的存储被重用或释放之前”创建对象。如果我正在编写标准库的“对抗性”实现,我可以将其设置为 emplace
调用在创建新的 T
之前重用底层存储目的。这将防止旧的 T
对象被新对象透明地替换。
实现如何“重用”存储?通常,底层存储可以这样声明:
union {
char no_object;
T object;
};
当 optional
的默认构造函数时被称为,no_object
已初始化(值无关紧要)1。一个emplace()
调用检查是否有 T
是否反对(通过检查此处未显示的标志)。如果 T
对象存在,则 object.~T()
叫做。最后,类似于 construct_at(addressof(object))
的内容被调用以构建新的 T
对象。
并不是说任何实现都会这样做,但您可以想象一个实现,在对 object.~T()
的调用之间和 construct_at(addressof(object))
, 重新初始化 no_object
成员。这将是对先前由 object
占用的存储空间的“重用”。 .这意味着不满足 [basic.life]/8 的要求。
当然,您的问题的实际答案是:(1) 没有理由让实现做这样的事情,并且 (2) 即使实现做了,开发人员也会确保您的代码仍然运行好像 T
对象被透明地替换。在标准库实现合理的假设下,您的代码是合理的,并且编译器开发人员不喜欢使用该属性破坏代码,因为这样做会不必要地激怒他们的用户。
但是,如果编译器开发人员倾向于破坏您的代码(基于未定义行为越多,编译器可以优化的越多的论点),那么他们甚至可以破坏您的代码,甚至 <optional>
头文件。用户需要将标准库视为一个“黑匣子”,它只保证标准明确保证的内容。因此,根据对标准的迂腐阅读,未指定是否尝试访问 ref
。在第二个之后emplace
调用具有未定义的行为。如果未指定它是否是 UB,则允许编译器在需要时开始将其视为 UB。
1 这是历史原因; C++17 要求 constexpr
构造函数只初始化 union 的一个变体成员。此规则在 C++20 中被废除,因此 C++20 实现可以省略 no_object
成员(member)。
关于c++ - std::optional<>::emplace() 是否会使对内部值的引用无效?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/72349969/
这个问题在这里已经有了答案: 关闭 10 年前。 Possible Duplicate: template pass by value or const reference or…? 以下对于将函数
我用相同的参数列表重载了一个运算符两次。但返回类型不同: T& operator()(par_list){blablabla} const T& operator()(par_list){bla
假设我有实现接口(interface) I 的 Activity A。我的 ViewModel 类 (VM) 持有对实现接口(interface) I 的对象的引用: class A extends
PHP 如何解释 &$this ?为什么允许? 我遇到了以下问题,这看起来像是 PHP 7.1 和 7.2 中的错误。它与 &$this 引用和跨命名空间调用以及 call_user_func_arr
谁能解释一下下面“&”的作用: class TEST { } $abc =& new TEST(); 我知道这是引用。但是有人可以说明我为什么以及什么时候需要这样的东西吗?或者给我指向一个对此有很好解
引用变量是一个别名,也就是说,它是某个已存在变量的另一个名字。一旦把引用初始化为某个变量,就可以使用该引用名称或变量名称来指向变量。 C++ 引用 vs 指针 引用很容易与指针混淆,它们之间有三
目录 引言 背景 结论 引言 我选择写C++中的引用是因为我感觉大多数人误解了引用。而我之所以有这个感受是因为我主持过很多C++的面试,并且我很少
Perl 中的引用是指一个标量类型可以指向变量、数组、哈希表(也叫关联数组)甚至函数,可以应用在程序的任何地方 创建引用 定义变量的时候,在变量名前面加个 \,就得到了这个变量的一个引用 $sc
我编写了一个将从主脚本加载的 Perl 模块。该模块使用在主脚本中定义的子程序(我不是维护者)。 对于主脚本中的一个子例程,需要扩展,但我不想修补主脚本。相反,我想覆盖我的模块中的函数并保存对原始子例
我花了几个小时试图掌握 F# Quotations,但我遇到了一些障碍。我的要求是从可区分的联合类型中取出简单的函数(只是整数、+、-、/、*)并生成一个表达式树,最终将用于生成 C 代码。我知道使用
很多时候,问题(尤其是那些标记为 regex 的问题)询问验证密码的方法。似乎用户通常会寻求密码验证方法,包括确保密码包含特定字符、匹配特定模式和/或遵守最少字符数。这篇文章旨在帮助用户找到合适的密码
我想通过 MIN 函数内的地址(例如,C800)引用包含文本的最后一个单元格。你能帮忙吗? Sub Set_Formula() ' ----------------------------- Dim
使用常规的 for 循环,我可以做类似的事情: for (let i = 0; i < objects.length; i++) { delete objects[i]; } 常规的 for-
在 Cucumber 中,您定义了定义 BDD 语法的步骤;例如,您的测试可能有: When I navigate to step 3 然后你可以定义一个步骤: When /^I navigate t
这是什么UnaryExpression的目的,以及应该怎样使用? 最佳答案 它需要一个 Expression对象并用另一个 Expression 包裹它.例如,如果您有一个用于 lambda 的表达式
给出以下内容 $("#identifier div:first, #idetifier2").fadeOut(300,function() { // I need to reference jus
我不知道我要找的东西的正确术语,但我要找的是一个完整的引用,可以放在双引号之间的语句,比如 *, node()、@* 以及所有列出的 here加上任何其他存在的。 我链接到的答案提供了一些细节,但还
This question's answers are a community effort。编辑现有答案以改善此职位。它当前不接受新的答案或互动。 这是什么? 这是常见问答的集合。这也是一个社区Wi
Closed. This question does not meet Stack Overflow guidelines。它当前不接受答案。 想改善这个问题吗?更新问题,以便将其作为on-topic
考虑下一个代码: fn get_ref(slice: &'a Vec, f: fn(&'a Vec) -> R) -> R where R: 'a, { f(slice) } fn m
我是一名优秀的程序员,十分优秀!