サブルーチン

プログラミングにおけるサブルーチン(subroutine)は、意味や内容がまとまっている作業をひとつの手続きとしたもの（ブロック）。繰り返し利用される（ルーチン作業）モジュールなどを、副次的なルーチンとしてまとめて、呼び出す側の「主」（メインルーチン）となるものと対比して"サブルーチン"と呼ばれる。

多くのプログラミング言語では、関数や手続きとしてこれを実現している。プログラムのソースの中で、繰り返し現れる作業をサブルーチン化することで、可読性や保守性を高く保つことができる。繰り返し現れる作業でなくても、意味的なまとまりを示すためにサブルーチン化することもある。また、キャッシュのような階層的メモリの設計を持つコンピュータ（現在のパソコンやワークステーションなどほぼすべて）では、よく使われるサブルーチンがキャッシュに格納されることで高速な動作を期待できる。

関連項目

• 重複コード
• 制御構造

---

関数（かんすう）とはサブルーチンの一種で、特にある値を引数として受け取り、その結果たる値を返す性質をもつものを指す。このとき返される値を戻り値（もどりち）や返り値（かえりち）のように呼ぶ。

引数としてとりうる値の集合から、戻り値としてとりうる値の集合への写像のように捉えることができるため関数と呼ばれるが、次の点で数学の関数とは異なる。

• 引数が同じでも状況に応じて戻り値が異なる（状態を持つ）
• 関数の処理の実行によってシステムに変化が発生する（副作用を持つ）
• 戻り値が存在しない場合がある

各種プログラミング言語における関数

• Excelでの関数は、主に、計算をしたり、データの検索や集計をしたり、表示を変換したりする。合計値を求めるSUM関数や、平均値を求めるAVERAGE関数など、100を超える関数が存在する。
• Cでは、メインルーチン、サブルーチン問わずすべての処理単位は関数を定義する形で記述される。すべての関数は戻り値の型を指定しなければならないため、戻り値が存在しない場合、戻り値がないことを表す特別な型であるvoid型が利用される。
• Pascalでは、戻り値が存在するサブルーチンだけを関数と呼び、戻り値が存在しないものは手続きと呼ぶ。関数を記述する場合はfunction、手続きの場合procedureという予約語が用いられる。
• 古典的なBASICでは、関数は言語仕様に組み込まれたものを利用するだけにとどまり、ユーザによる関数の追加、拡張はDEFFN命令などごく限られた範囲でしか行えない。
• Java言語等、オブジェクト指向プログラミング言語では関数の仕組みを拡張し、メソッド（特定のオブジェクトあるいはクラスに属する関数）という仕組みを用いる。
• Schemeでは関数ではなくて手続きと呼ばれる。IO処理など、手続きが値を返すとは限らないからである。なおCommon Lispでは関数と呼ばれる。
• 純粋な関数型言語における関数は、状態や副作用などをもたず、数学の関数に近い性質を持つ。