跳转至内容

Ada 编程/属性/“已初始化”

Add links
从维基百科，面向开放世界的开放书籍
< Ada 编程 | 属性
此页面可能需要进行 评审 以确保高质量。

说明

[编辑 | 编辑源代码]

有关此属性的语法和语义，请参阅 SPARK 2014 参考手册第 6.10 节。

摘自“https://wikibooks.cn/wiki/Ada_Programming/Attributes/%27Initialized”
华夏公益教科书