Ada语言矩阵函数编译报错：declarations must come before 'begin'

错误原因 #

Ada是严格的静态类型语言，所有变量声明必须放在代码块的begin关键字之前。如果需要在执行逻辑（比如循环内部）中声明局部变量，必须通过declare块创建临时作用域，将声明语句包裹其中。

你的代码中，Adjoint函数的双层for循环内部直接声明了temp和sign变量，违反了Ada的语法规则，触发了编译报错。

修改后的代码 #

with Ada.Text_IO;  use Ada.Text_IO;
with Ada.Numerics.Linear_Algebra;

procedure main is

  type Square_Matrix is array(Integer range <>, Integer range <>) of Float;
  
  function Determinant(matrix : in Square_Matrix) return Float is
    (Ada.Numerics.Linear_Algebra.Determinant(matrix));

  function Adjoint(matrix : in Square_Matrix) return Square_Matrix is
    result : Square_Matrix := matrix;
    dimension : Integer := matrix'Length;
  begin
    for i in 1 .. dimension loop
      for j in 1 .. dimension loop
        -- 使用declare块包裹内部变量声明
        declare
          temp : Square_Matrix(1 .. dimension - 1, 1 .. dimension - 1);
          sign : Integer := (if (i + j) mod 2 = 0 then 1 else -1);
        begin
          for m in 1 .. dimension - 1 loop
            for n in 1 .. dimension - 1 loop
              if m < i and n < j then
                temp(m, n) := matrix(m, n);
              elsif m < i and n >= j then
                temp(m, n) := matrix(m, n + 1);
              elsif m >= i and n < j then
                temp(m, n) := matrix(m + 1, n);
              else
                temp(m, n) := matrix(m + 1, n + 1);
              end if;
            end loop;
          end loop;
          result(j, i) := sign * Determinant(temp);
        end; -- 结束declare块
      end loop;
    end loop;
    return result;
  end Adjoint;

  matrix : Square_Matrix(1 .. 6, 1 .. 6) := ((2.0, -2.0, 4.0, -2.0, 0.0, 2.0),
                                             (1.0, 0.0, 4.0, -3.0, 0.0, 0.0),
                                             (1.0, 1.0, 1.0, 1.0, 1.0, 1.0),
                                             (1.0, 0.0, 0.0, -1.0, 0.0, 0.0),
                                             (3.0, 0.0, 0.0, -3.0, 0.0, 2.0),
                                             (1.0, 0.0, 0.0, -2.0, 0.0, 4.0));
  adjoint_matrix : Square_Matrix(1 .. 6, 1 .. 6);

begin
  adjoint_matrix := Adjoint(matrix);
  
  Put_Line("Original Matrix:");
  for i in matrix'Range(1) loop
    for j in matrix'Range(2) loop
      Put(Float'Image(matrix(i, j)), 4, 2);
    end loop;
    New_Line;
  end loop;
  
  Put_Line("Adjoint Matrix:");
  for i in adjoint_matrix'Range(1) loop
    for j in adjoint_matrix'Range(2) loop
      Put(Float'Image(adjoint_matrix(i, j)), 6, 2);
    end loop;
    New_Line;
  end loop;
  
end main;

关键修改点 #

• 在双层for循环内部添加declare块，将temp和sign的声明移到块内，确保声明位于该局部作用域的begin之前
• 调整代码缩进，保证declare块内的逻辑正确闭合

额外提示 #

1. 建议使用数组的实际范围而非硬编码1 .. dimension，比如matrix'Range(1)来获取矩阵的行索引范围，避免因为矩阵起始索引不是1导致的错误
2. 可以直接使用Ada.Numerics.Linear_Algebra.Matrix类型替代自定义的Square_Matrix，该库类型已内置更多矩阵操作支持，能减少重复代码

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