包不可见错误

Question

我在包可见性方面遇到了麻烦。我有一个非常简单的包，代码如下所示。错误消息如下所示：

viterbi.adb:12:14: "Integer_Text_IO" is not visible (more references follow)
viterbi.adb:12:14: non-visible declaration at a-inteio.ads:18
gnatmake: "viterbi.adb" compilation error

程序包规范如下：

package Viterbi is

  procedure Load_N_File(
    Filename : in String;
    N : in out Integer;
    M : in out Integer);

end Viterbi;

程序包主体如下：

with Ada.Integer_Text_IO; use with Ada.Integer_Text_IO;
with Ada.Strings; use Ada.Strings;

package body Viterbi is

  procedure Load_N_File(
    Filename : in String;
    N : in out Integer;
    M : in out Integer
  ) is
    N_File : File_Type;
  begin
    Open( N_File, Mode=>In_File, Name=>Filename );
    Get( N_File, N ); 
    Get( N_File, M );
    Close( N_File ); 
  end Load_N_File;

end Viterbi;

我的程序包主体中的什么导致程序包保持隐藏状态？ use 子句不应该将 Integer_Text_IO 引入视图吗？

Answer 1

提供的包体代码存在语法错误：“use with Ada.Integer_Text_IO;”中的虚假“with”条款。

修复此问题后，我收到了围绕无法解析 File_Type、Open 和 Close 的编译错误。添加 Ada.Text_IO 的“with”和“use”给了我一个干净的编译。

所以包体的开头看起来像：

with Ada.Integer_Text_IO; use Ada.Integer_Text_IO;
with Ada.Strings; use Ada.Strings;
with Ada.Text_IO; use Ada.Text_IO;

package body Viterbi is
   ...

如果修复这些错误后仍然出现“找不到 Integer_Text_IO”错误，那么我会对您的开发环境产生怀疑，即所有内容是否都安装正确？

Answer 2

正如已经指出的，通过使用逗号分隔样式，您可以避免“use with”样式的错误：
和
-- 测试，
Ada.Integer_Text_IO，
艾达.字符串；

Use
-- Testing,
Ada.Strings,
Ada.Integer_Text_IO;

这还允许您注释掉特定的包“withs”或“usues”，如图所示。