「無界」是不是在阿達

Question

可見我只是在阿達一個初學者，

我的代碼看起來像這樣，

with Ada.Strings.Unbounded; 
use Ada.Strings.Unbounded; 

procedure final is 
Input : Unbounded.String; 

begin 
null; 

end final; 

當我編譯這段代碼gnatmake， 編譯器會發出錯誤"Unbounded" is not visible"，這是什麼意思？

Answer 1

Ada.Strings.Unbounded的use子句使該包內的聲明直接可見。它不會使包名本身（Unbounded）直接可見，因此對名稱Unbounded的任何引用都不會在.之後出現，這將會不正確。

此外，該類型被稱爲Unbounded_String，而不是String。

更改此：

Input : Unbounded.String; 

這樣：

Input : Unbounded_String; 

（並請縮進代碼）