如何避免 FPC 编译器上的 SIGSEGV 错误？

Question

我目前在为我的编程课程构建的程序中遇到访问冲突的几个问题。它是用 pascal（课程使用的语言）构建的，并使用 Lazarus IDE（类似于 Delphi，但开放）。

据我所知，当您尝试使用或解决无效的内存位置时，会发生访问冲突或 SIGSEGV 错误。我经历过很多这样的事情，特别是当我没有声明动态数组的长度时。

现在看来我遇到了字符串问题。 （或者我可能会使用多维数组）。

我将只粘贴 SIGSEGV 指向的过程，但上下文是：

我有一个整数数组和一个包含它的幂集 (subconjuntos) 的多维数组，弹出错误的函数（如下所述）用于将此幂集打印为文本框（由本地索引）：

procedure writeSub(local: TEdit);
var
  i, j: integer;
begin
 for i:= 0 to High(subconjuntos)+1 do
   if Length(subconjuntos[i])>1 then
   begin
     local.Text:=local.Text+'[';
     for j:=0 to High(subconjuntos[i])+1 do local.Text:=local.Text+'('+IntToStr(subconjuntos[i][j])+') ';
     local.Text:=local.Text+'] ';
   end
   else local.Text:=local.Text+'['+IntToStr(subconjuntos[i][0])+'] '; {this is where I'm having the SIGSEG, the program wont compile if I don't reference it without the double brackets}
end;  

知道为什么它会抛出 SIGSEGV 吗？

Answer 1

动态数组在low(arr) 到high(arr) 范围内具有有效索引。对于动态数组，low(arr) 始终为零。您尝试访问索引为 high(arr)+1 的元素。这超出了数组的末尾，当然是一个错误。

你写的地方

for i:= 0 to High(subconjuntos)+1 do

应该是

for i:= 0 to High(subconjuntos) do

或

for i:= Low(subconjuntos) to High(subconjuntos) do

同样适用于您的另一个循环。

最重要的是，如果Length(subconjuntos[i]) 为零，则subconjuntos[i][0] 是越界访问。

如果您在编译器选项中启用范围检查，那么编译器将发出代码来检查每个数组访问的有效性。这样做会导致您更快地出现此类错误。