传递记录：constref vs var

编程问答 2022-06-09

问题描述

我一直在阅读将参数传递给过程和函数的各种方法，但是对于var和constref应用于记录的语义仍然感到困惑（这与语言的免费Pascal方言v3.x。）

我的理解是：

  1. var和constref都强制通过引用传递参数
  2. var建议可以更改参数，而const[ref]则不能

这种区别对于简单类型（例如数字和字符串）有意义，但是结构化类型呢？假设我有以下记录：

  A = record
    x: Integer;
  end;

以及对A起作用的过程，如下所示：

procedure proc(var rec: A);
begin
  rec.x := 42;
end;

即proc不会 重新分配rec，但是确实会产生副作用，因为它会改变其形式参数的字段。我可以使用fpc 3.0.4或var在constref下进行编译，但是我的直觉是rec应该在这里声明为var以便表明该记录实例所占用的内存已被过程调用更改了？

换句话说，只要我不重新分配形式参数并且想强制通过引用传递记录，或者仅在该记录确实是不可变的意义上，则应该使用constref不写入其任何字段吗？而且，从编译器的角度来看， 的区别是什么，因为显然它无法捕捉到这样的事实，即使使用constref我也可以使通过的记录的字段进行突变。参考？

更新：

正如响应者所指出的那样，上述示例代码应该（并且确实）无法使用fpc 3.x编译；我简化了。在我的情况下，A记录保存着对动态数组的引用，正是那些我能够通过constref参数重新分配的数组元素使我感到困惑：

A = record
  x: Array of Integer;
end;

procedure proc(constref rec: A);
begin
  rec.x[0] := 42; // this works
end;

听起来像是因为动态数组本质上只是一个指针，arr[i]是取消引用该指针的语法糖。

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）

freepascalpascal