Delphi编译器是否执行优化？

Question

我正在使用Delphi 7 IDE。 Delphi编译器是否像在下面的链接中C ++编译器所做的那样优化代码？

http://msdn.microsoft.com/zh-CN/library/aa366877(VS.85).aspx

WCHAR szPassword[MAX_PATH];
// Retrieve the password
if (GetPasswordFromUser(szPassword, MAX_PATH))    
   UsePassword(szPassword);
// Clear the password from memory
SecureZeroMemory(szPassword, sizeof(szPassword));

如果在此示例中调用了ZeroMemory而不是SecureZeroMemory ，则编译器可以优化该调用，因为在超出范围之前未读取szPassword缓冲区。 该密码将保留在应用程序堆栈中，可以在故障转储中捕获该密码或由恶意应用程序进行探测。

Answer 1

是的，Delphi当然会执行优化。 但是，它不会执行SecureZeroMemory函数要规避的优化。 无需在Delphi中使用该函数。 只需使用普通的ZeroMemory甚至FillChar 。 它们不是宏，也不执行Delphi认为是可以优化的未使用的赋值语句。

Answer 2

默认情况下，Delphi会执行代码优化，您可以在Project> Options> Compiler中将其禁用。

Delphi帮助提供了一些有关使用哪种类型的优化的提示：

$ O指令控制代码优化。 在{$ O +}状态下，编译器执行许多代码优化，例如将变量放置在CPU寄存器中，消除常见的子表达式，并生成归纳变量。

它还指出“编译器不会执行“不安全”的优化” ，但从某种意义上说，它们不会改变执行路径，而不是从安全角度来看。

Answer 3

Delphi当然可以优化代码（它是一种现代且出色的编译器）。 优化删除行的另一个示例是：

SomeFunction();  // Set breakpoint here, then step (F10)
myInt := 7;      // Next line will not hit this...
myInt := 13;     // ...but will instead skip to here

我想通过在项目的每个.pas文件中添加{$I MyProjectOptions.inc}来确保优化处于正确的状态（并且不会意外地处于打开或关闭状态）。 它位于单位名称的正下方（文件顶部的右侧）。 在“ MyProjectOptions.inc”中，您只需添加以下代码：

// Is this a debug or non-debug build?
{$IF Defined(DEBUG)}
    {$O-}   // Turn optimization off
{$ELSEIF Defined(NDEBUG)}
    {$O+}   // Ensure optimisation is on
{$IFEND}

最后，请确保在“项目”>“选项”>“部门/条件”的“条件定义”部分中定义了“ DEBUG”和“ NDEBUG”（或在Delphi的较早版本中为等效项）。

Answer 4

我不相信编译器会消除如此明显的死代码。 我从来没有遇到过在断点上设置断点的麻烦，这些断点可以消除为冗余。

Answer 5

在某些情况下，编译器可以检测代码是否不可访问并消除代码。

例如，编译器正确消除了下面代码的“无法访问”部分。
它不会为该行生成代码，因此：

1. 因此，没有蓝色的项目符号表示有代码
2. 该行上的断点将在视觉上标记为“无法到达”

刚刚在Delphi XE中进行了测试，但是较早的Delphi版本具有类似的行为。

program Project1;

{$APPTYPE CONSOLE}

uses
  SysUtils;

procedure Test;
begin
  if (True = False) then
    Writeln('Unreachable')
  else
    Writeln('Reachable');
end;

begin
  try
    Test();
  except
    on E: Exception do
      Writeln(E.ClassName, ': ', E.Message);
  end;
end.

需要花费一些时间来学习何时（或何时不）在代码级别和喜欢者级别启动优化器。

例如：打开优化功能后，编译器还将在不使用变量时立即消除它们。
有时，它甚至消除了全局符号。 Danny Thorpe （前Delphi编译器工程师兼首席科学家）曾经写过一种神奇的Touch方法来防止这种情况。
只需在方法末尾调用此Touch方法即可在调试过程中欺骗优化器：

procedure Touch(var arg);
begin
end;

--jeroen