Delphi 有与 C 的 volatile 变量等效的东西吗？

Question

在 C 和 C++ 中，变量可以标记为 易失性，这意味着编译器不会优化它，因为它可能在声明对象的外部被修改。 Delphi 编程中有等效的吗？ 如果不是关键字，也许有解决方法？

我的想法是使用Absolute，但我不确定，这可能会带来其他副作用。

Answer 1

简短的回答：不。

但是，如果您遵循以下方法，我不知道编译器的保守方法会改变读取或写入的次数：

当读取跨线程可见位置时，在执行任何进一步操作之前将其值保存到本地操纵； 类似地，将写入限制为单个分配。

当表达式之间存在对非内联方法的调用时，Delphi 编译器不会对非局部位置表达式执行公共子表达式消除 (CSE)，因为编译器不会进行过程间优化，因此即使对于单个位置表达式，它也不会正确。 - 线程代码。

因此，您可能需要使用 InterlockedExchange() 进行读取和写入来强制执行此操作； 此外，这将导致完整的内存屏障，因此处理器也不会重新排序读取和写入。

Answer 2

根据 在 Delphi 移动开发语言白皮书中，Delphi 的移动编译器支持 [易失性] 属性自首次引入以来：

易失性属性用于标记可能被不同线程更改的字段，以便代码生成不会优化在寄存器或其他临时内存位置中复制值的操作。

您可以使用易失性属性来标记以下声明：

• 变量（全局变量和局部变量）
• 参数
• 记录或类的字段。

不能使用 volatile 属性来标记以下声明：

• 类型
• 过程、函数或方法
• 表达式

<前><代码>类型
TMyClass = 类
私人的
[易失性] FMyVariable: TMyType;
结尾;

从 Delphi 10.1 Berlin 开始，桌面编译器现在也支持 [易失性]。

所有编译器支持的属性

现在，所有 Delphi 编译器都支持以下属性：

• 不安全
• 易失性
• 弱

Answer 3

我不知道有任何等效的指令，我也不认为 absolute 指令会对您有帮助。 absolute 允许您有两个使用相同地址的变量，但我认为这不会阻止编译器优化对该内存的引用。

我想你可以使用指针并自己管理它。 这样，无论编译器在优化指针值的检索方面做什么，它都不应该假设存储在该地址的值与上次读取它时的值相同，但这纯粹是猜测。

Answer 4

Delphi for .Net 也没有关键字，但 .Net 平台有它的 util 函数。 请参阅 Thread.VolatileRead 和 Thread.VolatileWrite。

Answer 5

使用动态分配的指针？

var
  MyVarPtr: ^integer;
begin
  New(MyVarPtr);
  MyVarPtr^ := 5;
...

这应该可以防止编译器使用寄存器来存储整数值（但它可能仍然使用一个寄存器作为地址）。 不过，我不确定这与易失性相比如何。