Ada 编程/属性/'通用字面量字符串
外观
Universal_Literal_String
的前缀必须是命名数字。静态结果是字符串,包含原始源代码中定义的数字的字符。这允许用户程序访问命名数字的实际文本,无需中间转换,也无需将字符串用引号括起来(这会阻止它们用作数字)。
例如,以下程序打印 pi 的前 50 位数字
with Text_IO; use Text_IO;
with Ada.Numerics;
procedure Pi is
begin
Put (Ada.Numerics.Pi'Universal_Literal_String);
end;