gfortran使用-fcheck=all仍不检查子程序调用与定义的参数列表匹配问题

你遇到的参数不匹配不报错的核心原因是Fortran的隐式接口规则：如果子程序没有被封装在模块中、调用侧也没有声明显式接口，gfortran在编译调用侧代码时无法获取子程序的参数列表信息，自然无法做编译期的参数数量、类型匹配检查。
你之前添加的-g（生成调试信息）、-Og（调试级优化）、-fcheck=all（开启运行时检查）都不涉及编译期的接口校验逻辑，因此对这类问题无效。

方法1：将子程序放入Module（最推荐） #

这是Fortran现代语法的最佳实践，模块中的子程序会自动生成显式接口，调用侧只要use对应模块，编译器就会自动做严格的参数匹配检查，出现不匹配直接抛出编译错误。
示例写法：

! 定义模块
module my_modules
    implicit none
contains
    subroutine assemble_2c(iforce, itheory, natoms)
        integer, intent(in) :: iforce
        integer, intent(in) :: itheory
        integer, intent(in) :: natoms
        ! 原子程序逻辑
    end subroutine assemble_2c
end module my_modules

! 调用侧代码
program main
    use my_modules
    implicit none
    ! 下方调用参数不匹配，会直接触发编译报错
    call assemble_2c()
end program main

方法2：调用侧显式声明接口块 #

如果不想改动现有代码的组织结构、不方便把子程序移入模块，可以在调用侧手动写接口块，让编译器获知子程序的参数信息：

! 调用侧开头声明接口
interface
    subroutine assemble_2c(iforce, itheory, natoms)
        integer, intent(in) :: iforce
        integer, intent(in) :: itheory
        integer, intent(in) :: natoms
    end subroutine assemble_2c
end interface

! 后续调用参数不匹配会触发编译报错
call assemble_2c()

方法3：补充编译参数预警隐式接口 #

添加以下编译参数，让编译器对所有调用无显式接口子程序的行为抛出警告，提前发现风险：
-Wall -Wextra -Wimplicit-interface
如果需要强制修正这类问题，可以再加-Werror把所有警告转为编译错误。
完整编译命令示例：

gfortran -Wall -Wextra -Wimplicit-interface -g -Og -fcheck=all your_code.f90 -o exec

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