聲明變量的兼容性

我在這裏有一個問題：6. Ada支持命名等價。鑑於聲明：聲明變量的兼容性

A: array(1..10) of integer; 
B: array(1..10) of integer;

A和B是否兼容？如果我們聲明爲

A, B: array(1..10) of integer;

A和B是否兼容？另一種聲明的方式是

Type array10 is array(1..10) of integer; 
A, B: array 10;

A和B是否兼容？如果Ada支持結構等同性，那麼上述三個問題的答案是什麼？

來源

2010-07-23 Ivy

玩弄SO問題格式化工具，編輯框頂部的圖標/按鈕。讓我們很容易幫助你。另外，如果你的第一個問題以6開頭，一些憤世嫉俗者會認爲你要求我們爲你做功課。如果您是這樣，請標記您的問題。無論你做什麼，正確地標記你的問題，沒有什麼算法關於你的問題。 – 2010-07-23 02:18:50

重新格式化的代碼;如果不正確請回復。 – trashgod 2010-07-23 11:16:07

添加了作業標籤，因爲它看起來像是一本教科書，而Ada只是一個具體的例子。 – 2010-07-23 13:13:15

這個經常被問到的問題是爲了突出一個強類型語言如Ada名稱相同和結構等價之間的差異。作爲參考，請參閱Ada Programming/Type System和Rationale for the Design of the Ada® Programming Language。

來源

2010-07-23 11:24:40 trashgod

該類型系統鏈接對於這個問題來說非常完美。如果艾維的問題是她的問題的支持材料混亂（或不知何故），這可能會有所幫助。 – 2010-07-23 13:06:58

我們可以很好地回答Ada的問題。然而，這似乎是一個章節材料理解問題冒充作爲一個Ada問題。具體而言，很大程度上取決於他們如何定義「兼容」，「命名等同」和「結構等同」。（儘管後兩者確實有相當的well-defined meaning）問題的一部分甚至是基於Ada沒有的設施的理論。沒有這種背景，這很難回答。

答案不在Ada LRM中，而是在您的書中。閱讀這一章，你應該開悟。

來源

2010-07-23 13:03:21

聲明變量的兼容性

回答

相關問題