什麼是宣告？

程式中的宣告是指向程式語言翻譯器提供有關資料物件名稱和資料型別資訊的語句。例如，考慮以下 C 宣告：

int a, b;

此宣告向程式語言翻譯器提供資訊，即 a 和 b 是在子程式執行期間所需的整數型別的資料物件。宣告還在其生命週期內定義了資料物件與名稱 a 和 b 的繫結。

宣告的目的

宣告的各種目的是：

  • 型別檢查 - 宣告允許程式設計師進行靜態型別檢查，即在編譯時而不是在執行時檢查資料物件的型別。

  • 儲存表示的選擇 - 宣告支援有關已宣告資料物件型別的資訊，這有助於程式語言翻譯器為該資料物件確定最佳可能的儲存表示。這有助於減少正在翻譯的程式的整體儲存需求和執行時間。

  • 儲存管理 - 宣告還用於指示所需的資料物件的生命週期，這使得在程式執行期間可以使用更有效的儲存管理過程。例如，在 C 中，一些資料物件可以在子程式的開頭宣告，而其他一些資料物件則由特定函式 malloc 動態生成。

  • 多型操作 - 如果一個操作可以根據其引數的型別採用多種實現，則稱該操作為多型操作。宣告允許程式語言翻譯器在編譯時確定由過載運算子號命名的特定操作。例如，在 C 中，資料物件 a 和 b 的宣告有助於確定由 a + b 命名的可能的加法運算（整數加法或浮點數加法）。

宣告的型別

宣告有兩種型別，如下所示：

  • 顯式宣告 - 顯式宣告是程式中的一條語句，它列出資料物件名稱並定義它們是特定型別。顯式宣告建立到型別的靜態繫結。顯式宣告的示例包括以下 C 宣告。

int a, b;

  • 隱式宣告 - 隱式宣告是在未給出顯式宣告時存在的宣告。例如，在 FORTRAN 中，在程式中出現的未明確宣告的識別符號將根據以下約定隱式宣告：如果識別符號以字母 I、J、K、L、M 或 N 開頭，則隱式宣告為整數型別；否則隱式宣告為 REAL 型別。

更新時間： 2021年10月22日

5K+ 瀏覽量

開啟你的職業生涯

透過完成課程獲得認證

開始學習
廣告