问题标签 [carries-dependency]

有人能用凡人都能理解的语言来解释吗？

在[dcl.attr.depend]/1中，我读到：

属性[...] carries_dependency[...] 可以应用于函数声明或 lambda 中declarator-id的parameter-declaration该对象的转换（4.1）。该属性也可以应用于declarator-id函数声明，在这种情况下，它指定返回值（如果有）携带对函数调用表达式求值的依赖。

我缺少的是一种将属性应用于隐式this参数的方法。

例如，考虑这个自由函数：

它是等效的（但对于属性）成员版本：

我发现了一些问题（比如这个），问什么[[carries_dependency]]是，这不是我在这里要问的。

我想知道你什么时候不应该使用它，因为我读过的所有答案都让人觉得你可以在任何地方粘贴这段代码，并且神奇地你会得到相同或更快的代码。一条评论说代码可以相同或更慢，但张贴者没有详细说明。

我想使用 this 的适当位置是在作为指针或引用的任何函数返回或参数上，并且将在调用线程中传递或返回，并且不应在回调或线程入口点上使用它。

有人可以评论我的理解并详细说明该主题，何时以及何时不使用它？

编辑：我知道这个主题有这本书，如果任何其他读者感兴趣的话；它可能包含我的答案，但我还没有机会阅读它。

我在这篇SO帖子中阅读了有关 [[carries_dependency]] 的内容。

但我无法理解的是接受的答案中的以下句子：

“特别是，如果将使用 memory_order_consume 读取的值传递给函数，然后没有 [[carries_dependency]]，那么编译器可能必须发出内存围栏指令以保证支持适当的内存排序语义。如果参数用 [[carries_dependency]] 注释，则编译器可以假设函数体将正确携带依赖项，并且可能不再需要此栅栏。

类似地，如果一个函数返回一个用 memory_order_consume 加载的值，或者从这样的值派生的值，那么在没有 [[carries_dependency]] 的情况下，编译器可能需要插入一个栅栏指令以保证支持适当的内存排序语义。使用 [[carries_dependency]] 注释，可能不再需要此栅栏，因为调用者现在负责维护依赖关系树。”

让我们一步一步来：

“如果将使用 memory_order_consume 读取的值传递给函数，然后没有 [[carries_dependency]]，那么编译器可能必须发出内存栅栏指令以确保支持适当的内存排序语义。”

因此，对于释放-消耗内存模型中的原子变量，当原子变量作为参数传递给函数时，编译器将引入栅栏硬件指令，以便它始终具有提供给函数的原子变量的最新和更新值。

下一个 -

“如果参数用 [[carries_dependency]] 注释，那么编译器可以假设函数体将正确地携带依赖关系，并且这个栅栏可能不再需要。”

这让我很困惑 - 原子变量值已经被消耗了，然后这个函数被携带了什么依赖？

相似地 -

“如果一个函数返回一个加载了 memory_order_consume 的值，或者从这个值派生的值，那么如果没有 [[carries_dependency]]，编译器可能需要插入一个栅栏指令以保证支持适当的内存排序语义。使用 [[ carry_dependency]] 注释，这个栅栏可能不再需要，因为调用者现在负责维护依赖树。"

从示例中不清楚它试图说明携带依赖项的意义是什么？

根据 C++ 标准：

如果 - 将 A 的值用作 B 的操作数，则评估 A 对评估 B 具有依赖性，除非：

— B 是对 std::kill_dependency (29.3) 的任何特化的调用，或

— A 是内置逻辑 AND（&&，参见 5.14）或逻辑 OR（||，参见 5.15）运算符的左操作数，或

— A 是条件 (?:, 见 5.16) 运算符的左操作数，或

— A 是内置逗号 (,) 运算符 (5.18) 的左操作数；(...)

我可以理解为什么在关系之前排序的依赖会在 kill_dependency 调用时停止，但是为什么逻辑 AND、OR、逗号等运算符也会破坏依赖链？

这是否意味着下面的代码具有未定义的行为？