(Translated by https://www.hiragana.jp/)
Ada - 维基百科，自由的百科全书 跳とべ转到内容ないよう

Ada

本页使用了标题或全文手工转换
维基百科ひゃっか，自由じゆう的てき百科ひゃっか全ぜん书
Ada
编程范型多た范式
設計せっけい者しゃ
发行时间1980年ねん
型かた態たい系統けいとう静せい态、强つよ类型、安全あんぜん、标明（英えい语：Nominal type system）
操作そうさ系けい统跨またが平台ひらだい
網あみ站http://www.adaic.org/
主要しゅよう實み作さく產品さんぴん
AdaCore GNAT,

Green Hills Software（英えい语：Green Hills Software） Optimising Ada 95 compiler,

DDC-I（英えい语：DDC-I） Score
衍生副ふく語かたり言げん
SPARK、Ravenscar profile
啟發けいはつ語ご言げん
ALGOL 68, Pascal, C++（Ada 95）, Smalltalk（Ada 95）, Modula-2 (Ada 95) , Java（Ada 2005），Eiffel（Ada 2012）
影響えいきょう語ご言げん
C++, Eiffel, PL/SQL, VHDL, Ruby, Java
Ada吉祥きっしょう物ぶつ

Ada，是ぜ一いち种程ほど序じょ设计语言。它源于美国びくに国防こくぼう部ぶ在ざい二に十世纪七十年代的计划，旨むね在ざい整合せいごう美び军系统程序じょ设计语言，而当时美军系统运行ぎょう着ぎ上じょう百种不同的程序设计语言，并提高だか除じょ錯能力のうりょく和わ效率こうりつ，由ゆかりPascal及其他た语言扩展而成，接近せっきん自然しぜん語ご言げん和かず数学すうがく表ひょう达式，用よう「Ada」命名めいめい以纪念ねん埃ほこり达·洛らく夫おっと莱斯（Ada Lovelace）。

重要じゅうよう特とく征せい

[编辑]

Ada语言最早もはや针对嵌入かんにゅう式しき和わ实时计算设计，至いたり今いま依然いぜん在ざい这些领域广泛使用しよう。Ada95版はん，是ぜ由よしINTERMETRICS公司こうし的てき塔とう克かつ·塔とう夫おっと特とく于1992到いた1995年ねん间设计的，旨むね在ざい改あらため进对于系统、数字すうじ、财务软件编程的てき支持しじ。

Ada语言的てき重要じゅうよう特とく征せい就是其嵌入かんにゅう式しき风格，模かたぎ块化编程，编译检查，平行へいこう处理，异常处理及泛型编程。Ada在ざい1995年ねん加入かにゅう了りょう对面めん向こう对象设计的てき支持しじ，包括ほうかつ动态分配ぶんぱい等とう。

Ada的てき编译检查主要しゅよう是ぜ针对没ぼつ有ゆう分配ぶんぱい的てき内ない存そん读写的てき保ほ护，堆うずたか栈溢出で错误，单个错误空そら闲，队列读写错误以及其他可か以避免めん的てき小しょう问题。这些检查可か以在为增加ぞうか效率こうりつ的てき情じょう况下被ひ取消とりけし，但ただし是ぜ在ざい编译的てき时候他た们却能のう带来很高的てき效率こうりつ。同どう样它也包括ほうかつ对程序じょ的てき严正的てき设置。因よし为这些原因げんいん，它被广泛应用于一些非常重要的系统中，例れい如航空こうくう电子学がく，武器ぶき及航天てん飞行器き的てき操作そうさ系けい统中。

同どう样它支持しじ很多的てき编译时间检查，这些检查被ひ用もちい来らい避免一些错误的发生。这种错误往往おうおう是ぜ在ざい其他语言中ちゅう运行之の前ぜん难以被ひ察觉到的てき，需要じゅよう在ざい源みなもと码中ちゅう加入かにゅう特殊とくしゅ的てき检查设置才能さいのう被ひ发现。

Ada的てき动态内ない存そん管理かんり非常ひじょう安全あんぜん和わ高だか规格，它类似に于JAVA语言却不同どう于C语言的てき。这种特殊とくしゅ功こう能のう并不需要じゅよう特殊とくしゅ的てき运行设置。尽つき管かん这种语言的てき语意结构允まこと许对于不能ふのう读写的てき目め标进行ぎょう自じ动的碎片さいへん搜さがせ集しゅう，但ただし是ぜ大だい多数たすう运行时都と不ふ支持しじ该特性せい。Ada却支持しじ有限ゆうげん形式けいしき基もと于区域くいき的てき存そん储管理かんり。无效的てき读写常つね在ざい运行时候被ひ检查出来でき（除じょ非ひ这种检测被ひ人ひと为关闭）并且有ゆう时候在ざい编译时候就被发现。

Ada语言的てき定てい义同国こく际标准じゅん化か组织（ISO）的てき标准有ゆう很大不同ふどう，因いん为他是ぜ一个自由内容形式的。这种做法的てき后きさき果はて是ぜ被ひ广大程ほど序じょ员只能のう从它的てき标准化か文ぶん档（普遍ふへん认为是ぜAda的てき参考さんこう使用しよう手しゅ册さつ（ARM））寻找细节性的せいてき技わざ术问题，但ただし是ぜ普遍ふへん情じょう况是一本标准教科书却可以在其他不同语言上使用。

Ada语言由よし严格的てき巴ともえ斯特范式定てい义，不ふ适合一般人いっぱんじん阅读。它是第だい一种同时拥有IEC/ISO/美国びくに军用标准认证的てき语言，其编译器经过严格的てき审查，以确保ほ同どう样的代だい码在任ざいにん一编译器上产生同样的可执行效果，并且保ほ证并行ぎょう性せい在ざい代だい码级可か以在无操作そうさ系けい统下同どう样运行ぎょう。

历史

[编辑]

在ざい1970年代ねんだい，美国びくに国防こくぼう部ぶ（DoD）所属しょぞく的てき嵌入かんにゅう式しき计算机つくえ系けい统项目め中ちゅう使用しよう的てき编程语言数量すうりょう逐日ちくじつ增ぞう多た，其中的てき很多语言十分陈旧或者依赖于硬件，而且没ぼつ有ゆう一个支持安全的模块化编程，对此DoD感かん到いた十じゅう分担ぶんたん心しん。基もと于这个原因げんいん，在ざい1975年ねん成立せいりつ了りょう高だか级语言げん工作こうさく组（HOLWG），它的使命しめい是ぜ就是寻找或ある者もの创造某ぼう种适合あい国防こくぼう部ぶ需要じゅよう的てき编程语言，以便减少现有编程语言数量すうりょう。该小组最终的工作こうさく成果せいか就是Ada语言。由よし此，类似项目中ちゅう使用しよう的てき高だか级编程ほど语言的てき数量すうりょう大だい大だい减少了りょう，1983年ねん的てき450种编程ほど语言，到いた1996年ねん只ただ剩あま下しも37种。

英語えいご维基文ぶん库中ちゅう相しょう关的原始げんし文献ぶんけん：
Steelman language requirements

工作こうさく组开发出了りょう语言要求ようきゅう文ぶん档—文ぶん档。许多现存的てき语言都と被ひ仔こ细地检查，但ただし是ぜ1977年ねん这个团队声ごえ称しょう没ぼつ有ゆう任にん何なん现存语言符合ふごう他た们的条件じょうけん。

Ada语言的てき示しめせ例れい程ほど序じょ

[编辑]

Hello, World!程ほど序じょ： 

with Ada.Text_IO; use Ada.Text_IO;

procedure Hello is
begin
    Put_Line("Hello, world!");
end Hello;

在ざいAda.Text_IO.Put_Line处有一いち些捷径しょうけい，不ふ需要じゅよう很多的てき文字もじ输入，但ただし是ぜ对于这里的てき理解りかい来らい讲并没ぼつ有ゆう多た大意たいい义。细节性せい的てき问题請参考さんこうAda Programming/Basic。

判定はんてい一个字符串是否为回文かいぶん的てき函数かんすう（递归）:

-- 判定はんてい一个字符串是否是回文
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;

定てい义一个函数用来判定一字符串是否为回文かいぶん：

-- 判定はんてい一个字符串是否是回文
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;

参まいり见

[编辑]

参考さんこう书目

[编辑]

国くに际标准じゅん

[编辑]

书目

[编辑]
維基教科書きょうかしょ中なか的てき相關そうかん電子でんし教程きょうてい：Ada Programming

Ada的てき百科ひゃっか

[编辑]

总体信しん息いき

[编辑]

辅助工具こうぐ书

[编辑]

工程こうてい

[编辑]

参考さんこう文献ぶんけん

[编辑]
  1. ^ Technical Corrigendum for Ada 2012 published by ISO. Ada Resource Association. 2016-01-29 [2016-02-23]. （原始げんし内容ないよう存そん档于2016-03-04）. 
  2. ^ Consolidated Ada 2012 Language Reference Manual. Ada Conformity Assessment Authority. [2016-02-23]. （原始げんし内容ないよう存そん档于2016-03-03）.  |url-status=和わ|dead-url=只ただ需其一いち (帮助)
  3. ^ Technical Corrigendum 1 for Ada 2012. Ada Conformity Assessment Authority. [2016-02-23]. （原始げんし内容ないよう存そん档于2016-03-02）.  |url-status=和わ|dead-url=只ただ需其一いち (帮助)

外部がいぶ链接

[编辑]
范型
过程式しき
面めん向こう对象
多た范型
函数かんすう式しき
逻辑式しき
脚本きゃくほん语言
动态语言
Shell语言
ECMA-262
特定とくてい平台ひらだい
.NET
JVM
特定とくてい领域
科学かがく计算
GPU计算
数かず据すえ查询
可か视化
传媒设计
其它
规范控ひかえ制せい数すう据すえ库：各地かくち 編輯維基數據鏈接
检索自じ“https://zh.wikipedia.org/w/index.php?title=Ada&oldid=80471828”