PROSAGA码农传奇-Ada-使用ada中静态库中的包

<div class =“post-text”itemprop =“text”>
  
    这里有一些你可以开始的东西。我希望它可以让你朝着一个好方向前进。
  
  
    当您将库用于GPR时，我知道有3个案例。
请记住，这不是一个完整的答案，肯定存在更多的案例，我可能会忘记一些事情。该主题存在缺陷，因此您应该深入研究interwebs，AdaCore / GNAT文档和stackoverflow，因为这个主题经常被提出。根据您拥有/生成的库的类型以及一些特定的编译/构建/链接选项，这里可能不会涉及一些所述缺陷。
  
  
    前言：当您包含静态库时，其唯一的文件名不会告诉您调用它包含的代码有什么用处。因此，如果静态库是'serivices.a'，它只是一个文件名和扩展名。
     <code>
 with Services.A
 </code>
     将不足以调用代码。
  
  
    的
      情况1
    </强>
  
  
    您可以访问GPR
     <code>
 my_lib.gpr
 </code>
     它产生了库，它是用Ada编写的。
只需包含GPR，在您的代码中，您将被允许
     <code>
 with
 </code>
     暴露的接口。 （它对应于Simon Wright对此的评论
     <code>
 with "services.gpr";
 </code>
     在你的GPR）
  
  <UL>
    <LI>
      如果
       <code>
 my_lib.gpr
 </code>
       产生一个静态的lib，无所事事！ GPR为你做了必要的事情（构建/链接）。
    </LI>
    <LI>
      如果lib是动态的（dll），则需要在OS搜索路径中执行时找到dll（在可执行文件旁边，或在路径环境变量中）
    </LI>
  </UL>
  
    的
      案例2
    </强>
  
  
    您可以访问GPR
     <code>
 my_lib.gpr
 </code>
     它产生了库，它是用另一种语言编写的。
  
  <UL>
    <LI>
      建立图书馆
    </LI>
    <LI>
      定义另一个GPR
       <code>
 my_lib_install.gpr
 </code>
       包含库接口声明（
       <code>
 .ads
 </code>
       文件）。如果文件没有存在，请参阅
      的
        案例3
      </强>
      。
    </LI>
    <LI>
      将GPR引用到您自己的GPR项目中
    </LI>
    <LI>
      您现在可以使用中定义的方法/类型
       <code>
 .ads
 </code>
       代码中的文件。该
       <code>
 .ads
 </code>
       通常包含
       <code>
 pragma Import(...)
 </code>
       公约宣言。它们被定义一次，所以没有
       <code>
 unit "Services.A" cannot belongs to several projects
 </code>
       错误信息。
    </LI>
  </UL>
  
    或者您可以直接包含库接口声明（
     <code>
 .ads
 </code>
     文件）进入你的项目。
  
  <UL>
    <LI>
      如果
       <code>
 my_lib.gpr
 </code>
       生成一个静态库，你应该包含适当的链接指令来使用.a文件。
    </LI>
    <LI>
      如果lib是动态的（dll），则需要在OS搜索路径中执行时找到dll（在可执行文件旁边，或在路径环境变量中）
    </LI>
  </UL>
  
    的
      案例3
    </强>
  
  
    图书馆
     <code>
 my_lib
 </code>
     是一个COTS，它是用另一种语言编写的。
它应该与接口定义一起提供。
  
  
    通常的方法是写一个
     <code>
 .ads
 </code>
     与提供的合同定义相对应的文件。应该用一些标记类型和方法
     <code>
 pragma Import(...)
 </code>
     对应于库的构建方式的约定（Ada惯例，C约定，见
    <a href="https://gcc.gnu.org/onlinedocs/gcc-3.3.6/gnat_rm/Implementation-Defined-Pragmas.html" rel="nofollow noreferrer">
      臂
    </A>
     要么
    <a href="https://en.wikibooks.org/wiki/Ada_Programming/Pragmas/Import" rel="nofollow noreferrer">
      这个维基
    </A>
    ）
  
  
    通常一个接口契约是一个
     <code>
 .h
 </code>
     文件（大多数库是使用C约定生成的）。所以你可以使用Ada's
     <code>
 Interfaces.c
 </code>
     专为此而设计的包装。下面给出了与C接口的一个例子
    <a href="https://stackoverflow.com/questions/42938883/interface-ada-dynamic-library-with-java-using-jna-and-adas-interface-c-packages/42938971#42938971">
      这个通过C约定将Ada与Java连接起来的例子
    </A>
    ）。主要的区别是你会去
     <code>
 pragma Import
 </code>
     代替
     <code>
 pragma Export
 </code>
    
这应该是：
  
  <BLOCKQUOTE>
    
      是否有任何官方方法可以在C中包含标题，如标题
  来自ada的外部静态库？
    
  </BLOCKQUOTE>
  
    你可以直接包括这个
     <code>
 .ads
 </code>
     将文件放入您的源代码中，或者编写您自己的GPR以执行该托管，如开头所示。它是由你决定。
  
  
    最后一句话，如果你的图书馆是用Ada语言编写的，你可以看看在有关的文件
    
      阐述
    
    ，'初始化'和'敲定'符号。
  
</DIV>