imported>Mhss：/* 重要特征 */

2025-12-09T03:39:36Z

重要特征

新页面

{{noteTA
|G1=IT
|1=zh-hans:阿丽亚娜5型运载火箭; zh-hant:阿麗亞娜5型火箭; zh-tw:亞利安5號運載火箭;
|2=zh-hans:阿丽亚娜;zh-hant:阿麗亞娜;zh-tw:亞利安;
}}
{{infobox programming language
| name = Ada
| logo = Ada horizon green logo with slogan.svg
| paradigm = [[编程范型|多范式]]
| year = 1980年
| designer = -{}-
* {{tsl|en|United States Military Standard|美國軍事規範}}MIL-STD-1815/Ada 83: {{Tsl|en|Jean Ichbiah|Jean Ichbiah}}
* Ada 95: Tucker Taft
* Ada 2005: Tucker Taft
* Ada 2012: Tucker Taft
| developer =
| latest_release_version = Ada 2012 TC1<ref>{{cite web |url=http://www.adaic.org/2016/01/technical-corrigendum-for-ada-2012-published-by-iso/ |title=Technical Corrigendum for Ada 2012 published by ISO |publisher=Ada Resource Association |date=2016-01-29 |access-date=2016-02-23 |archive-date=2016-03-04 |archive-url=https://web.archive.org/web/20160304072607/http://www.adaic.org/2016/01/technical-corrigendum-for-ada-2012-published-by-iso/ |dead-url=no }}</ref><ref>{{cite web |url=http://www.ada-auth.org/standards/ada12_w_tc1.html |title=Consolidated Ada 2012 Language Reference Manual |publisher=Ada Conformity Assessment Authority |access-date=2016-02-23 |url-status=dead |archive-url=https://web.archive.org/web/20160303001815/http://www.ada-auth.org/standards/ada12_w_tc1.html |archive-date=2016-03-03 |dead-url=no }}</ref>
| latest_release_date = {{start date and age|2016|02|01}}
| latest_preview_version = Ada 2012 TC1<ref>{{cite web |url=http://www.ada-auth.org/corrigendum1-12.html |title=Technical Corrigendum 1 for Ada 2012 |publisher=Ada Conformity Assessment Authority |access-date=2016-02-23 |url-status=dead |archive-url=https://web.archive.org/web/20160302231200/http://www.ada-auth.org/corrigendum1-12.html |archive-date=2016-03-02 |dead-url=no }}</ref>
| latest_preview_date = {{start date and age|2015|04}}
| turing-complete = Yes
| typing = [[静态类型|静态]]、[[強型別|强类型]]、[[型別安全|安全]]、{{Tsl|en|Nominal type system|标明类型系統|标明}}
| implementations = AdaCore [[GNAT]], <br />
{{Tsl|en|Green Hills Software|Green Hills Software}} Optimising Ada 95 compiler,<br />
{{Tsl|en|DDC-I|DDC-I}} Score
| influenced_by = [[ALGOL|ALGOL 68]], [[Pascal (程式語言)|Pascal]], [[C++]]（Ada 95）, [[Smalltalk]]（Ada 95）, [[Modula-2]] (Ada 95) , [[Java]]（Ada 2005），[[Eiffel]]（Ada 2012）
| influenced = [[C++]], [[Eiffel]], [[PL/SQL]], [[VHDL]], [[Ruby]], [[Java]]
| operating_system = [[跨平台]]
| license =
| website = http://www.adaic.org/
| dialects = [[SPARK]]、{{link-en|Ravenscar profile}}
| wikibooks = Ada Programming
}}
[[File:Ada Mascot with slogan.svg|thumb|right|240px|Ada[[吉祥物]]]]
'''Ada'''，是一种[[程序设计语言]]。它源于[[美国]]国防部在二十世纪七十年代的计划，旨在整合美军系统程序设计语言，而当时美军系统运行着上百种不同的程序设计语言，并提高[[除錯]]能力和效率，由[[Pascal (程式語言)|Pascal]]及其他语言扩展而成，接近[[自然語言]]和数学表达式，用「Ada」命名以纪念[[愛達·勒芙蕾絲|-{zh-cn:埃达·洛夫莱斯;zh-tw:愛達·勒芙蕾絲;zh-hk:愛達·勒芙蕾絲;zh-sg:埃达·洛夫莱斯;}-]]（{{lang|en|Ada Lovelace}}）。

== 重要特征 ==
Ada语言最早针对[[嵌入式]]和[[实时计算|-{zh-hans:实时计算; zh-tw:即時運算}-]]设计，至今依然在这些领域广泛使用。Ada95版，是由INTERMETRICS公司的[[塔克·塔夫特]]于1992到1995年间设计的，旨在改进对于系统、数字、财务软件编程的支持。

Ada语言的重要特征就是其嵌入式风格，[[模块化编程]]，编译检查，[[平行处理]]，[[例外处理 (编程)|异常处理]]及[[泛型编程]]。Ada在1995年加入了对[[面向对象设计]]的支持，包括动态分配等。

Ada的编译检查主要是针对没有分配的内存读写的保护，[[堆栈溢出]]错误，单个错误空闲，队列读写错误以及其他可以避免的小问题。这些检查可以在为增加效率的情况下被取消，但是在编译的时候他们却能带来很高的效率。同样它也包括对程序的严正的设置。因为这些原因，它被广泛应用于一些非常重要的系统中，例如[[航空电子学]]，[[武器]]及航天飞行器的操作系统中。

同样它支持很多的编译时间检查，这些检查被用来避免一些错误的发生。这种错误往往是在其他语言中运行之前难以被察觉到的，需要在[[源码]]中加入特殊的检查设置才能被发现。

Ada的动态内存管理非常安全和高规格，类似于[[Java]]语言却不同于[[C语言]]的。这种特殊功能并不需要特殊的运行设置。尽管这种语言的语意结构允许对于不能读写的目标进行自动的碎片搜集，但是大多数[[运行时]]都不支持该特性。Ada却支持有限形式基于区域的存储管理。无效的读写常在运行时候被检查出来（除非这种检测被人为关闭）并且有时候在[[编译期]]就被发现。

Ada语言的定义同[[國際標準化組織]]的标准有很大不同，是一个自由内容形式的。这种做法的后果是被广大程序员只能从它的标准化文档（一般是Ada的参考使用手册）寻找细节性的技术问题，但是普遍情况是一本标准教科书却可以在其他不同语言上使用。

Ada语言由严格的巴斯特范式定义，不适合一般人阅读。它是第一种同时拥有IEC/ISO/美国军用标准认证的语言，其编译器经过严格的审查，以确保同样的代码在任一编译器上产生同样的可执行效果，并且保证并行性在代码级可以在无操作系统下同样运行。

== 历史 ==
在1970年代，[[美国国防部]]（DoD）所属的嵌入式计算机系统项目中使用的编程语言数量逐日增多，其中的很多语言十分陈旧或者依赖于硬件，而且没有一个支持安全的模块化编程，对此DoD感到十分担心。基于这个原因，在1975年成立了高级语言工作组（HOLWG），它的使命是就是寻找或者创造某种适合国防部需要的编程语言，以便减少现有编程语言数量。该小组最终的工作成果就是Ada语言。由此，类似项目中使用的高级编程语言的数量大大减少了，1983年的450种编程语言，到1996年只剩下37种。

{{Wikisourcelang|en|Steelman language requirements}}工作组开发出了语言要求文档—文档。许多现存的语言都被仔细地检查，但是1977年这个团队声称没有任何现存语言符合他们的条件。

== 应用 ==

1994年，中国已将Ada作为军事领域的标准语言，并将使用Ada构建北京空中交通管制系统。<ref name="china">{{Cite journal| doi = 10.1145/181476.181483| issn = 1094-3641| volume = XIV| issue = 4| pages = 72–75| last = Riehle| first = Richard| title = Ada in China| journal = ACM SIGAda Ada Letters| access-date = 2025-05-09| date = 1994-07| url = https://dl.acm.org/doi/10.1145/181476.181483}}</ref>

== Ada语言的示例程序 ==
[[Hello world|Hello, World!程序]]：
<syntaxhighlight lang="ada">
with Ada.Text_IO; use Ada.Text_IO;

procedure Hello is
begin
Put_Line("Hello, world!");
end Hello;
</syntaxhighlight>
在<tt>Ada.Text_IO.Put_Line</tt>处有一些捷径，不需要很多的文字输入，但是对于这里的理解来讲并没有多大意义。细节性的问题請参考[[Wikibooks:Ada Programming/Basic|Ada Programming/Basic]]。

判定一个字符串是否为[[回文]]的函数（递归）:<syntaxhighlight lang="ada2005">
-- 判定一个字符串是否是回文
function is_palindrome(str : in String) return Boolean is
len : Natural := str'Length;
begin
if len <= 1 then
return True;
elsif Element(To_Unbounded_String(str), 1) = Element(To_Unbounded_String(str), len) then
declare
new_str : String(1..len-2);
begin
new_str := Slice(Source => To_Unbounded_String(str),
Low => 2,
High => len - 1);
return is_palindrome(str => new_str);
end;
else
return False;
end if;
end is_palindrome;
</syntaxhighlight>定义一个函数用来判定一字符串是否为[[回文]]：<syntaxhighlight lang="ada">
-- 判定一个字符串是否是回文
function is_palindrome(str : in String) return Boolean is
len : Natural := str'Length;
begin
for i in 1 .. len / 2 loop
if Element(To_Unbounded_String(str), i) /= Element(To_Unbounded_String(str), len - i + 1)
then
return False;
end if;
end loop;
return True;
end is_palindrome;
</syntaxhighlight>

== 参见 ==
*[[SPARK]]

== 参考书目 ==
=== 国际标准 ===
* {{tsl|en|ISO 8652||ISO/IEC 8652}}：Information technology — Programming languages — Ada
* {{tsl|en|ISO 15291||ISO/IEC 15291}}：Information technology — Programming languages — Ada Semantic Interface Specification（[[wiktionary:ASIS|ASIS]]）
* {{tsl|en|ISO 18009||ISO/IEC 18009}}：Information technology — Programming languages — Ada: Conformity assessment of a language processor（[[wiktionary:ACATS|ACATS]]）
* [[POSIX|IEEE Standard 1003.5b-1996]]，the [[POSIX]] Ada binding
* [https://web.archive.org/web/20041209184612/http://www.omg.org/technology/documents/formal/ada_language_mapping.htm Ada Language Mapping Specification]，the [[CORBA]] [[接口描述语言|IDL]] to Ada mapping

=== 书目 ===
{{wikibooks|en:Ada Programming|Ada Programming}}
* [[Jan Skansholm]]：''Ada 95 From the Beginning'', Addison-Wesley, ISBN 0-201-40376-5
* {{tsl|en|John Barnes (computer scientist)||John Barnes}}：''Programming in Ada plus Language Reference Manual'', Addison-Wesley, ISBN 0-201-56539-0
* {{tsl|en|John Barnes (computer scientist)||John Barnes}}：''Programming in Ada 95'', Addison-Wesley, ISBN 0-201-34293-6
* {{tsl|en|John Barnes (computer scientist)||John Barnes}}：''High Integrity Ada: The SPARK Approach'', Addison-Wesley, ISBN 0-201-17517-7
* {{tsl|en|John Barnes (computer scientist)||John Barnes}}：''High Integrity Software: The SPARK Approach to Safety and Security'', Addison-Wesley, ISBN 0-321-13616-0
* {{tsl|en|Dean W. Gonzalez||Dean W. Gonzalez}}：''Ada Programmer's Handbook'', Benjamin-Cummings Publishing Company, ISBN 0-8053-2529-8
* {{tsl|en|M. Ben-Ari||M. Ben-Ari}}：''Ada for Software Engineers'', John Wiley & Sons, ISBN 0-471-97912-0
* {{tsl|en|Norman Cohen||Norman Cohen}}：''Ada as a Second Language'', McGraw-Hill Science/Engineering/Math, ISBN 0-07-011607-5
* {{tsl|en|Alan Burns||Alan Burns}}，{{tsl|en|Andy Wellings||Andy Wellings}}：''Real-Time Systems and Programming Languages. Ada 95, Real-Time Java and Real-Time POSIX.'', Addison-Wesley, ISBN 0-201-72988-1
* {{tsl|en|Alan Burns||Alan Burns}}，{{tsl|en|Andy Wellings||Andy Wellings}}：''Concurrency in Ada'', Cambridge University Press, ISBN 0-521-62911-X
* {{tsl|en|Colin Atkinson||Colin Atkinson}}：''Object-Oriented Reuse, Concurrency and Distribution: An Ada-Based Approach'', Addison-Wesley, ISBN 0-201-56527-7
* [[葛來迪·布區|Grady Booch]]，[[Doug Bryan]]：''Software Engineering with Ada'', Addison-Wesley, ISBN 0-8053-0608-0
* {{tsl|en|Daniel Stubbs||Daniel Stubbs}}，[[Neil W. Webre]]：''Data Structures with Abstract Data Types and Ada'', Brooks Cole, ISBN 0-534-14448-9
* [[Pascal Ledru]]：''Distributed Programming in Ada with Protected Objects'', Dissertation.com, ISBN 1-58112-034-6
* [[Fintan Culwin]]：''Ada, a Developmental Approach'', Prentice Hall, ISBN 0-13-264680-3
* {{tsl|en|John English||John English}}，[[Fintan Culwin]]：''Ada 95 the Craft of Object Oriented Programming'', Prentice Hall, ISBN 0-13-230350-7
* {{tsl|en|David A. Wheeler||David A. Wheeler}}：''Ada 95'', Springer-Verlag, ISBN 0-387-94801-5
* [[David R. Musser]]，{{tsl|en|Alexander Stepanov||Alexander Stepanov}}：''The Ada Generic Library: Linear List Processing Packages'', Springer-Verlag, ISBN 0-387-97133-5
* [[Michael B. Feldman]]：''Software Construction and Data Structures with Ada 95'', Addison-Wesley, ISBN 0-201-88795-9
* {{tsl|en|Simon Johnston||Simon Johnston}}：''Ada95 for C and C++ Programmers'', Addison-Wesley, ISBN 0-201-40363-3
* [[Michael B. Feldman]]，{{tsl|en|Elliot B. Koffman||Elliot B. Koffman}}：''Ada 95'', Addison-Wesley, ISBN 0-201-36123-X
* [[Nell Dale]]，[[Chip Weems]]，{{tsl|en|John McCormick||John McCormick}}：''Programming and Problem Solving with Ada 95'', Jones & Bartlett Publishers, ISBN 0-7637-0293-5
* [[Nell Dale]]，[[Susan Lilly]]，{{tsl|en|John McCormick||John McCormick}}：''Ada Plus Data Structures: An Object-Based Approach'', Jones & Bartlett Publishers, ISBN 0-669-41676-2
* [[Bruce C. Krell]]：''Developing With Ada: Life-Cycle Methods'', Bantam Dell Pub Group, ISBN 0-553-09102-6
* [[Judy Bishop]]：''Distributed Ada: Developments and Experiences'', Cambridge University Press, ISBN 0-521-39251-9
* [[Bo Sanden]]：''Software Systems Construction With Examples in Ada'', Prentice Hall, ISBN 0-13-030834-X
* [[Bruce Hillam]]：''Introduction to Abstract Data Types Using Ada'', Prentice Hall, ISBN 0-13-045949-6
* {{tsl|en|David Rudd||David Rudd}}：''Introduction to Software Design and Development With Ada'', Brooks Cole, ISBN 0-314-02829-3
* [[Ian C. Pyle]]：''Developing Safety Systems: A Guide Using Ada'', Prentice Hall, ISBN 0-13-204298-3
* [[Louis Baker]]：''Artificial Intelligence With Ada'', McGraw-Hill, ISBN 0-07-003350-1
* {{tsl|en|Alan Burns||Alan Burns}}，{{tsl|en|Andy Wellings||Andy Wellings}}：''HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems'', North-Holland, ISBN 0-444-82164-3
* [[Walter Savitch, Charles Peterson]]：''Ada: An Introduction to the Art and Science of Programming'', Benjamin-Cummings Publishing Company, ISBN 0-8053-7070-6
* [[Mark Allen Weiss]]：''Data Structures and Algorithm Analysis in Ada'', Benjamin-Cummings Publishing Company, ISBN 0-8053-9055-3

== Ada的百科 ==
=== 总体信息 ===
* [http://ada.krischik.com Ada@Krischik]{{Wayback|url=http://ada.krischik.com/ |date=20200702230047 }}

=== 辅助工具书 ===
* [http://en.wikibooks.org/wiki/Ada_Programming Ada Programming]{{Wayback|url=http://en.wikibooks.org/wiki/Ada_Programming |date=20051025044743 }}
* [http://es.wikibooks.org/wiki/Programación_en_Ada Programación en Ada]{{Wayback|url=http://es.wikibooks.org/wiki/Programaci%C3%B3n_en_Ada |date=20200908142131 }}
* [http://fr.wikibooks.org/wiki/Programmation_Ada Programmation Ada]{{Wayback|url=http://fr.wikibooks.org/wiki/Programmation_Ada |date=20050904045022 }}

=== 工程 ===
* [http://adacl.sourceforge.net/index.php AdaCL]{{Wayback|url=http://adacl.sourceforge.net/index.php |date=20051223121731 }}
* [http://wikibook-ada.sourceforge.net wikibook-ada]{{Wayback|url=http://wikibook-ada.sourceforge.net/ |date=20200702230110 }}
* [http://gnat-asis.sourceforge.net ASIS]{{Wayback|url=http://gnat-asis.sourceforge.net/ |date=20200702230201 }}
* [http://gnat-glade.sourceforge.net GLADE]{{Wayback|url=http://gnat-glade.sourceforge.net/ |date=20200702230200 }}
* [http://gnat-florist.sourceforge.net Florist]{{Wayback|url=http://gnat-florist.sourceforge.net/ |date=20200702230128 }}

== 参考文献 ==
{{Reflist}}

== 外部链接 ==
* [https://web.archive.org/web/20050828151449/http://adaworld.com/ Ada World]
* [http://adapower.com/ AdaPower]{{Wayback|url=http://adapower.com/ |date=20050924103702 }}
* [http://www.adahome.com/ The Web Site for Ada]{{Wayback|url=http://www.adahome.com/ |date=20150125110537 }}
* [http://www.sigada.org/ ACM SIGAda]{{Wayback|url=http://www.sigada.org/ |date=20050830135925 }}
* [http://www.ada-europe.org/ Ada-Europe Organization]{{Wayback|url=http://www.ada-europe.org/ |date=20050924141158 }}
* [http://www.adaic.com/ Ada Information Clearinghouse]{{Wayback|url=http://www.adaic.com/ |date=20051118232653 }}
* [http://www.open-std.org/jtc1/sc22/wg9/ ISO Home of Ada Standards]{{Wayback|url=http://www.open-std.org/jtc1/sc22/wg9/ |date=20050828161828 }}
* [http://www.computer-books.us/ada95.php Ada 95 Books Available Online]{{Wayback|url=http://www.computer-books.us/ada95.php |date=20050811013135 }}
* [http://www.ada-auth.org/ Ada Rapporteur Group (evolution of standard)]{{Wayback|url=http://www.ada-auth.org/ |date=20051004165504 }}
* [http://www.ada-answers.com/ Ada Answers - Building better software with Ada]{{Wayback|url=http://www.ada-answers.com/ |date=20120621155910 }}
* [https://web.archive.org/web/20051026114218/http://www.adacore.com/academic.php Ada Academic Initiative]
* [http://libre.adacore.com/ "Libre" Ada Software]{{Wayback|url=http://libre.adacore.com/ |date=20050212023242 }}
* [http://www.gnuada.org/ GNU Ada Homepage]{{Wayback|url=http://www.gnuada.org/ |date=20050401233133 }}
* [http://www.gnavi.org/ GNAVI Ada Visual RAD]{{Wayback|url=http://www.gnavi.org/ |date=20050827235624 }}
* [http://citeseer.org/cs?q=%22Ada%22 Citations from CiteSeer]{{Wayback|url=http://citeseer.org/cs?q=%22Ada%22 |date=20110805003603 }}
* [http://www.gnat.com/ GNAT]{{Wayback|url=http://www.gnat.com/ |date=20051003223759 }}
* [https://web.archive.org/web/20051123020015/http://www.usafa.af.mil/df/dfcs/bios/mcc_html/adagide.cfm AdaGIDE, the Ada GNAT Integrated Development Environment for Windows]
* [news:comp.lang.ada Forum]
* [https://web.archive.org/web/20041019114231/http://oopweb.com/Ada/Documents/Lovelace/Volume.html Ada Tutorial]
* [http://www.seas.gwu.edu/~mfeldman/ada-project-summary.html Projects Using Ada]{{Wayback|url=http://www.seas.gwu.edu/~mfeldman/ada-project-summary.html |date=20150831212010 }}
* [http://www.martincarlisle.com/a_sharp.html A#: Ada on .NET]{{Wayback|url=http://www.martincarlisle.com/a_sharp.html |date=20050908214137 }}
* [http://www.cs.kuleuven.ac.be/~dirk/ada-belgium/events/ Conference announcements for the international Ada community]{{Wayback|url=http://www.cs.kuleuven.ac.be/~dirk/ada-belgium/events/ |date=20051203102711 }}

{{-}}
{{程序设计语言}}

{{Authority control}}

[[Category:系統程式語言]]
[[Category:Ada程式語言]]
[[Category:IEC標準]]
[[Category:1980年建立的程式語言]]

Ada - 版本历史

imported>Mhss：​/* 重要特征 */

imported>Mhss：/* 重要特征 */