プログラミングで、変数や関数の型を明示的に指定して宣言すること。コンパイル時に型情報が確定する。
「手動型宣言」を星図で探索する →
「手動型宣言」とは?意味を解説
プログラミング言語において、変数や関数を宣言する際に、その型を明確に指定する記述方式。C言語やJavaなどの静的型付け言語で採用されており、コンパイラが型チェックを行える。自動型推論と異なり、プログラマが意図的に型を記述する必要がある。コード可読性と型安全性が向上する利点がある。
例文
- Javaで int x = 5; と手動型宣言することで型の安全性が保証される。
- 手動型宣言により、関数の入出力がはっきりするので保守性が向上した。
- C言語では手動型宣言が必須であり、プログラマの責任が大きい。
語源・由来
「手動」は手作業による意、「型」はデータ型を意味するコンピュータ用語、「宣言」は明確に示すこと。プログラミング用語として1980年代以降に使用され始めた日本語訳。
英語で言うと
explicit type declarationmanual type annotationstatic typing
「手動型宣言」との違いを比較する
似た言葉との違い・使い分けを解説しています。
「手動型宣言」をもっと知る本
この言葉やそのテーマを深めたい方へ。
語彙の星雲で「手動型宣言」を探索する →