为何同一OCaml矩阵打印函数输出格式不一致？

你的输出格式混乱，核心原因有两个：

1. 混合使用不同输出函数导致缓冲不同步 #

你在print_matrix中混用了print_string（直接输出到stdout）和Format.printf（输出到Format模块的格式化缓冲区），两者缓冲策略不同，导致内容打印顺序错乱。比如print_string "[ "先输出，但Format.printf打印的元素被留在缓冲中无法即时跟随，最终造成前几行只显示[ ]，元素被集中到后续行一次性输出。

2. 递归实现冗余且易出错 #

你通过递归构造新矩阵的方式遍历行，这种做法不仅低效（反复在数组和列表间转换），还完全没必要——直接遍历原矩阵的行数组即可完成打印。

修复后的代码 #

替换原有的print_row和print_matrix函数，统一使用Format模块的输出函数，并改用迭代方式遍历行：

let print_row r =
  Array.iter (fun v -> Format.printf "%2d " v) r

let print_matrix m =
  Array.iter (fun r ->
    Format.printf "[ ";
    print_row r;
    Format.printf "]\n"
  ) m.c

如果坚持使用递归风格，也可以改为直接处理行列表，避免构造新矩阵：

let rec print_row rl =
  match rl with
  | [] -> ()
  | v::cl -> Format.printf "%2d " v; print_row cl

let rec print_rows rows =
  match rows with
  | [] -> ()
  | r::rl ->
    Format.printf "[ ";
    print_row (Array.to_list r);
    Format.printf "]\n";
    print_rows rl

let print_matrix m =
  print_rows (Array.to_list m.c)

额外优化建议 #

• 你的zeroes函数硬编码了0，导致返回的矩阵只能是int matrix，如果要支持泛型，可以改为接收默认值参数：

  let zeroes n m default = {n= n; m= m; c= Array.make_matrix n m default}
  

  调用时传入0即可得到原有的整数零矩阵：zeroes 3 5 0。
• identity和init函数可以改用Array.init构造矩阵，避免手动循环赋值，代码更简洁。

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