Intel Fortran 2024.0与VB.NET交互时标量变量传递异常问题

在Visual Studio环境中开发VB.NET程序多年，程序调用Intel Fortran IFX编写的DLL。IFX 2023.2及之前版本下，程序运行结果完全正确，且VB和Fortran调试模式均验证无误。升级至IFX 2024.0版本后，出现运行结果异常：标量变量传递错误，但数组传递正常。

VB.NET示例代码 #

Public Class Form1
    
    'Public Declare Auto Sub ProcessArray Lib "TesteArrayFortran.dll" (
    '    ByRef n As Integer,
    '    <MarshalAs(UnmanagedType.LPArray)> arr As Double(),
    '    <MarshalAs(UnmanagedType.LPArray)> sai As Double(),
    '    <MarshalAs(UnmanagedType.LPArray)> sum1 As Double,
    '    <MarshalAs(UnmanagedType.LPArray)> sum2 As Double())
    
    Public Declare Auto Sub ProcessArray Lib "TesteArrayFortran.dll" (
        ByRef n As Integer,
        arr As Double(), sai As Double(),
        sum1 As Double, sum2 As Double())
    
    Private Sub Button1_Click(
            sender As Object, e As EventArgs
        ) Handles Button1.Click
    
        Dim sum1 As Double
        Dim sum2(0) As Double
    
        Dim arr() As Double = {1.0, 2.0, 3.0, 4.0, 5.0}
        Dim n As Integer = arr.Length
        Dim sai(4) As Double
    
        ProcessArray(n, arr, sai, sum1, sum2)
    
        WriteLine($"n      = {n}")
        WriteLine($"sai(0) = {sai(0)}")
        WriteLine($"sai(1) = {sai(1)}")
        WriteLine($"sai(2) = {sai(2)}")
        WriteLine($"sai(3) = {sai(3)}")
        WriteLine($"sai(4) = {sai(4)}")
        WriteLine($"sum1   = {sum1}")
        WriteLine($"sum2   = {sum2(0)}")
    End Sub
End Class

Fortran示例代码 #

SUBROUTINE ProcessArray(n, entra, sai, sum1, sum2)
    
!DEC$ ATTRIBUTES DLLEXPORT, ALIAS:'ProcessArray' :: ProcessArray
!DEC$ ATTRIBUTES REFERENCE :: n
        
    IMPLICIT NONE
    EXTERNAL :: Check
        
    INTEGER, INTENT(IN) :: n
    REAL*8, INTENT(IN)  :: entra(n)
    REAL*8, INTENT(OUT) :: sai(n), sum1, sum2(1)
        
    INTEGER :: i
    DO i = 1, n
        sai(i) = entra(i) * entra(i)
    END DO
    
    CALL Check(n, entra, sum1, sum2) 
        
END SUBROUTINE ProcessArray
        
SUBROUTINE Check(n, entra, sum1, sum2) 
    IMPLICIT NONE
          
    INTEGER,INTENT(IN)  :: n
    REAL*8,INTENT(IN)   :: entra(n)
    REAL*8,INTENT(OUT)  :: sum1, sum2(1) 
        
    INTEGER :: i
        
    sum1 = 0
    DO i = 1, n
        sum1 = sum1 + entra(i)
    END DO
        
    sum2(1) = sum1
        
    RETURN  
END SUBROUTINE Check

补充说明 #

• 是否需要<MarshalAs(UnmanagedType.LPArray)>指令？测试显示，当IFX配置为STDCALL调用约定（/iface:stdcall）时，使用与否无差异。
• 仅当IFX配置以下选项时，部分结果才正确：
  a) 初始化变量为信号NaN（/Qinit:snan）；
  b) 初始化变量为0（/Qinit:zero）；
  c) 同时初始化数组和标量（/Qinit:arrays）。
• 示例中，sai数组元素与arr数组元素平方一致，元素总和应为15，sum2数组第一个元素（sum2(0)）结果正确为15，但计算逻辑相同的标量sum1结果错误为0。

问题分析与配置建议 #

问题根源 #

IFX 2024.0在参数传递的默认处理或优化逻辑上发生了变化，对于INTENT(OUT)的标量参数，编译器可能未正确生成引用传递的代码，导致Fortran子程序中计算的结果无法回传至VB.NET的变量。而数组参数因显式的维度声明或默认的引用传递属性，未受影响。

修正建议 #

1. 显式指定所有输出参数的引用传递属性
   在Fortran代码中，为所有INTENT(OUT)的标量参数添加!DEC$ ATTRIBUTES REFERENCE属性，确保编译器强制按引用传递这些参数：

   SUBROUTINE ProcessArray(n, entra, sai, sum1, sum2)
   !DEC$ ATTRIBUTES DLLEXPORT, ALIAS:'ProcessArray' :: ProcessArray
   !DEC$ ATTRIBUTES REFERENCE :: n, sum1, sum2
   ...
   END SUBROUTINE ProcessArray
   

   同时在Check子程序中也补充该属性，保证参数传递一致性。

2. 统一VB与Fortran的调用约定和参数传递方式

   • Fortran编译时明确指定/iface:stdcall，可搭配/names:lowercase确保符号名匹配（VB的Declare Auto会自动适配，但显式指定更可靠）。
   • VB声明中，将标量参数sum1改为ByRef（默认ByVal会导致值传递，无法接收Fortran的回传结果），数组参数可显式添加<MarshalAs>指令明确传递规则：

     Public Declare Auto Sub ProcessArray Lib "TesteArrayFortran.dll" (
         ByRef n As Integer,
         <MarshalAs(UnmanagedType.LPArray)> ByRef arr As Double(),
         <MarshalAs(UnmanagedType.LPArray)> ByRef sai As Double(),
         ByRef sum1 As Double,
         <MarshalAs(UnmanagedType.LPArray)> ByRef sum2 As Double())
     

3. 禁用异常优化
   IFX 2024.0的默认优化可能对标量参数处理有误，先尝试用/O0（禁用优化）编译测试，若问题消失，可针对特定子程序添加!DEC$ NOOPTIMIZE指令避免全局优化影响：

   SUBROUTINE ProcessArray(n, entra, sai, sum1, sum2)
   !DEC$ NOOPTIMIZE
   !DEC$ ATTRIBUTES DLLEXPORT, ALIAS:'ProcessArray' :: ProcessArray
   !DEC$ ATTRIBUTES REFERENCE :: n, sum1, sum2
   ...
   END SUBROUTINE ProcessArray
   

4. 验证编译器默认参数传递规则
   查阅IFX 2024.0文档确认默认参数传递方式是否变更，确保所有需要回传结果的参数（INTENT(OUT)/INTENT(INOUT)）都被显式指定为引用传递。

内容的提问来源于stack exchange，提问作者Angelo Rubens Migliore Junior