PascalABC IDE中过程定义报'Expected type'错误的解决方法

我在PascalABC IDE中编写了一段用于处理方阵的Pascal程序，编译时在过程定义行procedure ReplaceNegativeDiagonalElementsByAbsoluteValue(var matrix: Matrix);处提示“Expected type”错误，代码如下：

program SquareMatrix;

const
  N = 3;

type
  Matrix = array[1..N, 1..N] of Real;

procedure ReplaceNegativeDiagonalElementsByAbsoluteValue(var matrix: Matrix);
begin
  for var i := 1 to N do
  begin
    if matrix[i, i] < 0 then
      matrix[i, i] := abs(matrix[i, i]);
  end;
end;

procedure ReadMatrixFromFile(var matrix: Matrix; fileName: string);
var
  f: TextFile;
begin
  AssignFile(f, fileName);
  Reset(f);
  for var i := 1 to N do
  begin
    for var j := 1 to N do
      Read(f, matrix[i, j]);
    ReadLn(f);
  end;
  CloseFile(f);
end;

procedure WriteMatrixToFile(matrix: Matrix; fileName: string);
var
  f: TextFile;
begin
  AssignFile(f, fileName);
  Rewrite(f);
  for var i := 1 to N do
  begin
    for var j := 1 to N do
      Write(f, matrix[i, j]:4:1, ' ');
    Writeln(f);
  end;
  CloseFile(f);
end;

var
  originalMatrix, newMatrix: Matrix;

begin
  ReadMatrixFromFile(originalMatrix, 'original_matrix.txt');
  newMatrix := originalMatrix;
  ReplaceNegativeDiagonalElementsByAbsoluteValue(newMatrix);
  WritetMatrixToFile(newMatrix, 'new_matrix.txt');
end.

错误原因及修正步骤 #

1. 循环变量声明语法错误（核心问题） #

PascalABC虽然支持部分语法扩展，但for var i := 1 to N do这种在循环内直接声明变量的写法不符合标准Pascal语法，会导致编译器无法正确识别类型，进而触发“Expected type”提示。需要将循环变量提前在对应过程的var块中声明。

2. 额外拼写错误 #

主程序中调用输出过程时写错了函数名：WritetMatrixToFile应为WriteMatrixToFile，多了一个t，这会导致编译时找不到对应过程。

修正后的完整代码 #

program SquareMatrix;

const
  N = 3;

type
  Matrix = array[1..N, 1..N] of Real;

procedure ReplaceNegativeDiagonalElementsByAbsoluteValue(var matrix: Matrix);
var
  i: Integer; // 提前声明循环变量
begin
  for i := 1 to N do
  begin
    if matrix[i, i] < 0 then
      matrix[i, i] := abs(matrix[i, i]);
  end;
end;

procedure ReadMatrixFromFile(var matrix: Matrix; fileName: string);
var
  f: TextFile;
  i, j: Integer; // 提前声明循环变量
begin
  AssignFile(f, fileName);
  Reset(f);
  for i := 1 to N do
  begin
    for j := 1 to N do
      Read(f, matrix[i, j]);
    ReadLn(f);
  end;
  CloseFile(f);
end;

procedure WriteMatrixToFile(matrix: Matrix; fileName: string);
var
  f: TextFile;
  i, j: Integer; // 提前声明循环变量
begin
  AssignFile(f, fileName);
  Rewrite(f);
  for i := 1 to N do
  begin
    for j := 1 to N do
      Write(f, matrix[i, j]:4:1, ' ');
    Writeln(f);
  end;
  CloseFile(f);
end;

var
  originalMatrix, newMatrix: Matrix;

begin
  ReadMatrixFromFile(originalMatrix, 'original_matrix.txt');
  newMatrix := originalMatrix;
  ReplaceNegativeDiagonalElementsByAbsoluteValue(newMatrix);
  WriteMatrixToFile(newMatrix, 'new_matrix.txt'); // 修正拼写错误
end.

验证说明 #

• 所有循环变量i、j均提前在对应过程的var块中声明，符合Pascal语法规范
• 修正了输出过程调用的拼写错误
• Matrix类型定义本身无问题，是合法的二维数组类型

内容的提问来源于stack exchange，提问作者user23517113