为什么不使用常量时没有警告或提示？

Question

当我试图向另一个人展示一些代码时，我微妙地发现除了不使用声明的变量时会有编译器提示消息之外，当不使用声明的常量时没有任何提示或消息。以下代码是一个示例：

program Project1;

{$APPTYPE CONSOLE}

uses
  SysUtils,
  Math;

const
  intM: Integer = 1000;

var
  valorDouble, notusedvar: Double;

begin
  try
    valorDouble   := 0.001;
    Writeln('--- Codigo atual --');
    Writeln('Double   -> ', Trunc(valorDouble   * 1000));
    Writeln('--- Correcao?? --');
    Writeln('Trunc(1.0000001) -> ', Trunc(1.0000001));
    Writeln('Trunc(0.001 * 1000.0)   -> ', Trunc(0.001 * 1000.0));
    Writeln('Trunc(0.0010 * 1000.0)  -> ', Trunc(0.0010 * 1000.0));
    Writeln('Trunc(0.00100 * 1000.0) -> ', Trunc(0.00100 * 1000.0));

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

为什么没有提示未使用的常量？对于这种差异有任何逻辑上的解释吗？

Answer 1

让我们直接跳到一个例子。假设您正在编写一个带有 1 个导出函数的 DLL。这些函数的参数之一是整数...

procedure DoSomething(const Value: Integer); stdcall;

现在假设您已经定义了多个常量来表示该函数可能识别的所有可能的整数值...

const
  CON_ONE = 1;
  CON_TWO = 2;
  CON_THREE = 3;
  //Maybe hundreds

现在假设当你实现这个功能时，你只需要第一个

CON_ONE

，而不需要另外两个。您真的想要每一项都得到提示吗？

更现实的例子是 Delphi 附带的

HKEY_LOCAL_MACHINE

、

HKEY_CURRENT_USER

等（与 Windows API 调用相关）。只要看一下

Windows.pas

中的所有常数即可。想象一下，如果所有这些可能的常量都会引发编译器提示。

本质上，当您获得未使用变量的编译器提示时，它通常意味着编码错误（或者只是您忘记删除的内容），而未使用的常量通常意味着未实现的功能。

Answer 2

有趣的问题。

对于在单元的接口部分中声明的常量（和变量），很容易理解为什么未使用的示例不会触发编译器提示：接口部分中的所有内容都会发布到外部世界以供该单元无法使用意识到。作为单元的程序员，您提供/呈现单元的用户可以在其代码中使用的可能值，尽管单元不一定必须在其实现中使用它们。例如，请参见

Consts.pas

，该单元的唯一目的是连接常量（好的，资源字符串）以供其他用途。

对于在单元的实现部分中声明的常量，以及 - 如代码示例中所示 - 显然也对于在程序文件中声明的常量，对我来说，似乎没有明确的原因为什么没有未使用常量的提示。

和 encore 一样，实现部分中的初始化变量之所以不会触发提示，是因为它们实际上是变量声明和赋值语句的串联，因此从编译器的角度来看，使用了初始化变量。