この記事には複数の問題があります。改善やノートページでの議論にご協力ください。

出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。（2016年6月）


独自研究が含まれているおそれがあります。（2016年6月）
出典検索?: "手続き型プログラミング" ? ニュース ・ 書籍 ・ スカラー ・ CiNii ・ J-STAGE ・ NDL ・ dlib.jp ・ ジャパンサーチ ・ TWL


プログラミング言語>>他のプログラミング言語

■カテゴリ / ■テンプレート

手続き型プログラミング（てつづきがたプログラミング、英: procedural programming）は、コンピュータが実行すべき命令や手続き（プロシージャ）を順に記述していくことでプログラムを構成するスタイルのプログラミングパラダイムである[1]。この「手続き」とは分類便宜上の用語であり、プログラミング言語によってはサブルーチン、関数、メソッドとも呼ばれているが、手続き型パラダイムの観点からは概ね同一視される。手続きはプログラム全体を区画した部分プログラムでもあり、一定量の計算ステップまたは命令コードのまとまりを、任意の定義名に結び付けて識別化したコードユニットである。手続き型プログラミングは命令型プログラミングの分類に属しており、厳密には命令型の部分集合だが、同一視されることもある[2][3]。手続きの定義と呼び出しの機能をサポートし、プログラム全体を組み立てる土台とする言語を手続き型言語と呼ぶ。1958年のFORTRAN II、ALGOL、COBOLといった最も初期の高水準言語から導入されている。

手続き（procedure）は、リンケージや可視性にもよるが、プログラム内のあらゆるポイントから呼び出す（call）ことが可能であり、手続き内の命令コード行の終端またはリターン命令に達したときは、その手続きを呼び出したポイントの次のアドレスに制御が移される。これは復帰（return）と呼ばれる動作である。通例、高水準言語のreturn文は機械語のリターン命令に対応しており、手続き内の途中位置からでも復帰できる。手続きは他の手続き内からの呼び出しの他、自身内からの呼び出しも可能であり、これを再帰呼び出し（recursive call）という。手続きの呼び出しと復帰は、コンピュータ側が提供するコールスタックまたはスタックフレーム機能の命令アドレス管理によって実現されている。
手続きの来歴

手続き（procedure）の考え方は、機械語コードの時代から存在しており、低水準言語（アセンブリ言語）にあるニーモニックコードのCALL命令とRET命令が原点である。PUSH命令による引数のスタックメモリへの積み込みと、スタックポインタレジスタの減算によるローカル変数領域の確保、ベースポインタレジスタによる引数とローカル変数へのアクセスといったスタックフレームの機能もアセンブリ言語由来のものである。CALL命令のジャンプ先アドレスに付けられたラベルは手続き名と同義になった。その仕組みは1950年代半ばから登場した高水準言語にもそのまま受け継がれた。ラベルは形式化された引数欄付きの呼び出し名となり、スタックフレーム処理も自動化隠蔽され、ソースコード上で明確に区分けされた手続き（プロシージャ）として誕生した。
手続きとモジュール性

大きく複雑なプログラムでは特にモジュール性が重要である。手続き型プログラミングでは、モジュールへの入力は構文的には「引数」であり、出力は「リターン値」である。

変数スコープは手続きのモジュール性を高めるもう1つの技法である。手続き内の変数は他の手続きからアクセスできない（逆も成り立つ）し、同じ手続きの複数の呼び出しの間でもそれが保たれる。スコープを超えたアクセスには特別な許可が必要である。

モジュール性の低い手続きも簡単なプログラムではよく使われる。その場合、実行環境内の多数の変数にアクセスし、他の手続きでも同様にそれらの変数にアクセスする。

単純で自己完結的で再利用可能なインタフェースであるため、手続きを使って多数の人間が書いたコードを組み合わせることが可能となり、ライブラリなども作成できるようになった。
他のプログラミングパラダイムとの対比
命令型プログラミング

この節の加筆が望まれています。

オブジェクト指向プログラミング

手続き型プログラミングでは、データ構造は構造体あるいはレコードによって適宜まとめられるが、コードはデータ構造が定義されたモジュールにまとめられ、その中では散在しがちである。C言語のように、明確なモジュール機能をサポートしない言語もある。一方オブジェクト指向プログラミングでは、データとコードはそれぞれ関連性の高いものがオブジェクトにまとめられる。クラスベースのオブジェクト指向言語では、オブジェクトの設計図となるクラスにフィールド（メンバー変数）およびメソッド（メンバー関数）として定義される。

@media screen{.mw-parser-output .fix-domain{border-bottom:dashed 1px}}一般にオブジェクト指向プログラミングの方が理解しやすいと言われている。その理由として、オブジェクト指向が人間の精神モデルの認知手法に近いからだという説もあるが、心理学が人間の認知モデルを完全には明確化できていない現時点では非常に不確かである。蒸気機関が発明されたとき、人間の精神は蒸気機関と比較された。コンピュータが発明されたとき、人間の精神はそれと比較された。オブジェクト指向プログラミングが発明されると、人間の精神はそれと比較されることになったのである。[独自研究?]

多くの場合、関連性の強いものを積極的にまとめて明確に分類できるオブジェクト指向のほうが凝集度が高くなり、保守が容易であると考えられている。クラスベースのオブジェクト指向言語の場合、プログラムはクラス群の定義から構成されている。オブジェクト指向言語と一口に言っても、全てをオブジェクトとみなす純粋なオブジェクト指向言語は少ない。例として最初のオブジェクト指向言語 Smalltalk があるが、商業的に成功したとは言いがたい。広く使われているC++やJavaに代表されるように、多くのオブジェクト指向言語は、手続き型プログラミングとオブジェクト指向を融合させたものである。そのようなマルチパラダイムのオブジェクト指向言語は、広義では手続き型言語の一種として分類されることも多い[1]。

以下にオブジェクト指向と手続き型の言語要素を比較した表を示す。

純粋なオブジェクト指向純粋な手続き型
メソッド手続き（プロシージャ）
オブジェクト構造体（レコード）
クラスモジュール
メッセージ手続き呼び出し

関数型プログラミング

手続き型言語における「関数」は一般的に副作用（状態の変更）を伴うことが多く、数学の関数とは別物である。