在Ada中使用空字符初始化字符串

SD.*_*SD. 1 ada gnat

我是Ada的新手,我需要初始化一个包含空字符的字符串,我该怎么办呢?到目前为止,我可以使用空格初始化字符串,如下所示:

user_str : String(1..50) := (others => ' ');
Run Code Online (Sandbox Code Playgroud)

Kei*_*son 6

user_str : String(1..50) := (others => Character'Val(0));
Run Code Online (Sandbox Code Playgroud)

要么

user_str : String(1..50) := (others => Ada.Characters.Latin_1.NUL);
Run Code Online (Sandbox Code Playgroud)

与其他一些语言不同,Ada没有特殊的语法来嵌入字符或字符串文字中的speclal字符(例如C语言'\0').

(当然后者需要适当的with条款.)