Question

导入时，使用gnat的DLL构建中的初始化代码不会自动运行。我做了一个MCVE，包括：

division.ads

with System;
with Interfaces.C;

package Division is
   --Neither of these work
   procedure DllMainCRTStartup ;
   pragma Export (StdCall, DllMainCRTStartup , "DllMainCRTStartup"); --Edited as noticed by Brian
   -- procedure DllMain
   -- pragma Export (StdCall, DllMain , "DllMain ");

   function Div (A : in INTEGER; B : in INTEGER) return INTEGER;
   pragma Export (C, Div, "MyDivision");

   -- --If I put this, it does not compile... maybe a wrong linkage option set?
   -- procedure AdaInit; 
   -- pragma Import (C, AdaInit, "adainit");
end Division;

division.adb

with text_io;

package body Division is
   procedure DllMainCRTStartup  is begin --DllMain or DllMainCRTStartup
      text_io.put("INIT CODE YEAH!!!*************!"); --This does not execute :(
      --AdaInit;
   end DllMainCRTStartup ;

   function Div(A : in INTEGER; B : in INTEGER) return INTEGER is
      X : INTEGER := A/B;
   begin
      return X;
   end Div;
end Division;

和gpr：

library project Proj_Name is
  for Library_Name use "math";
  for Object_Dir use "obj";
  for Source_Dirs use ("src");
  for Library_Dir use "lib";
  for Library_Interface use ("Division");
  for Library_Kind use "dynamic";
  for Library_Options use ("-LC:\GNAT\2015\lib\gcc\i686-pc-mingw32\4.9.3\adalib",
                           "-LC:\GNAT\2015\lib\gcc\i686-pc-mingw32\4.9.3\adalib\libgnat");
end Proj_Name;

我正在使用ctypes测试python中的dll。我用ctypes.CDLL导入它，我可以使用MyDivision。但是，导入dll时init代码不会运行，因为text_io没有执行。

另一方面，如果我将AdaInit过程添加到代码中，我在编译时得到类似的东西：

undefined reference to `adainit'

非常感谢！

Answer 1

我不知道你怎么知道初始化代码没有运行？

我正在运行macOS，但Ada方面应该是类似的。我把这个包spec / body写成你的简单版本：

package Division is

   function Div (A : in INTEGER; B : in INTEGER) return INTEGER;
   pragma Export (C, Div, "MyDivision");

end Division;

with Ada.Text_IO;
package body Division is

   function Div(A : in INTEGER; B : in INTEGER) return INTEGER is
      X : INTEGER := A/B;
   begin
      return X;
   end Div;

   procedure Test_For_Elaboration is
   begin
      Ada.Text_IO.Put_Line ("hello world!");
   end Test_For_Elaboration;

begin
   Test_For_Elaboration;
end Division;

使用这个更简单的GPR

library project Proj_Name is
  for Library_Name use "math";
  for Object_Dir use "obj";
  for Source_Dirs use ("src");
  for Library_Dir use "lib";
  for Library_Interface use ("Division");
  for Library_Kind use "dynamic";
end Proj_Name;

并使用此C代码进行测试：

#include <stdio.h>

extern int MyDivision(int, int);

int main()
{
  printf("42 / 2 => %d\n", MyDivision(42, 2));
  return 0;
}

，结果是

$ ./caller 
hello world!
42 / 2 => 21

如此清楚，对我而言，在没有必要做任何事情的情况下，库被调用。

原因是您在项目文件中指定了Library_Interface，这意味着您正在构建stand-alone library，

是一个库，其中包含用于详细说明库中包含的Ada单元的必要代码。独立库是一种将Ada子系统添加到更全局系统的便捷方式，该系统的主要部分不在Ada中，因为它使得Ada部分的细化大部分都是透明的。

您可以使用

指定一个独立的动态库 not 自动初始化

for Library_Auto_Init use "false";

在这种情况下，您需要自己调用库的初始化过程;它被称为{library-name}init（在您的情况下，mathinit）。但是你需要从主程序中调用它;它需要在C

中声明

extern void mathinit();

DllMain / DllMainCRTStartup不在DLL中执行

1 个答案: