Question

我认为展示问题的最简单方法就是举例。代码：

PROGRAM CONSTANTSTRING(OUTPUT);

CONST
    C_MaxLength = 30;

VAR
    small_string : VARYING[5] OF CHAR VALUE 'alpha';

PROCEDURE LocalProc(
    localstring : VARYING[C_MaxLength] of CHAR
);
BEGIN
    writeln('localstring length: ', localstring.LENGTH);
    writeln('localstring size: ', SIZE(localstring.BODY));
    writeln('C_MaxLength: ', C_MaxLength);
END;

BEGIN
    writeln('small_string length: ', small_string.LENGTH);
    writeln('small_string size: ', SIZE(small_string.BODY));
    writeln('C_MaxLength: ', C_MaxLength);

    LocalProc(small_string);
END.

编译：

>pascal /version
HP Pascal I64 V6.1-116 on OpenVMS I64 V8.4
>pascal constantstringinit
>link constantstringinit
>run constantstringinit

输出：

small_string length:          5
small_string size:          5
C_MaxLength:         30
localstring length:          5
localstring size:          5
C_MaxLength:          5

正如您所看到的，C_MaxLength过程中LocalProc的值已在本地更改。这很奇怪，因为它已被宣布为常数。

常量的新值仅在LocalProc过程的范围内。调用LocalProc后在main中运行的代码将使用常量的原始值。

起初这对我来说看起来像编译器错误，但我推断这个编译器已经存在很长时间，以至于已经检测到这样的东西并且已经修复或记录。但是，我无法找到有关此事的任何文件。 VARYING是HP扩展程序没有帮助，这意味着我无法与其他Pascal实现进行比较。

任何大师都知道更多关于这里发生了什么吗？

Answer 1

已经很长时间了，我找不到支持它的文档，但我认为这是使用varying[] of char作为参数类型的特殊情况：

    localstring : VARYING[C_MaxLength] of CHAR

这不仅声明了参数localstring，还声明了一个本地范围的常量，它接收传入的实际字符串的大小。这只是因为你将它命名为导致混淆的全局常量。您实际上没有更改值C_MaxLength。相反，你在本地范围内有另一个 C_MaxLength。

尝试将该行更改为：

    localstring : VARYING[foo] of CHAR

然后检查foo以及C_MaxLength。我希望您会看到foo为5，C_MaxLength仍为30。

当用作大小初始值设定项时，OpenVMS Pascal常量不是常量

1 个答案: