資料紹介
All rights reserved.
【ご注意】該当資料の情報及び掲載内容の不法利用、無断転載・配布は著作権法違反となります。
資料の原本内容
静的型付け
静的型付け（せいてきかたづけ、英: static
typing）は、値やオブジェクトの型安全性を、コンパイル時に検証するというコンピュータプログ
ラミングの型システムの方法である。型の検査はソースコードの解析によって行われる。変数代入
、変数束縛、関数適用、型変換といったプログラム記述箇所での型安全性がチェックされる。型エ
ラーの場合は、コンパイルエラーに繋げられることが多い。
対義語は動的型付けであり、こちらでは値やオブジェクトの型安全性を実行時に検証する。型の検
査はランタイムシステムの実行時型情報（RTTI）の照会などによる実行時プロセス上の解析で行わ
れる。
出典: フリー百科事典『ウィキペディア（Wikipedia）』
