「副作用」を編集中

'''副作用'''とは、[[プログラミング]]において、ある[[メソッド]]の[[引数]]と[[戻り値]]以外の要素が、そのメソッドの動作に影響を及ぼすことをいう。

==概要==
副作用とは[[グローバル変数]]などの要素がある[[メソッド]]の動作に影響を及ぼすことをいう。本来であればメソッドの[[引数]]と[[戻り値]]だけを考慮すればいいはずであるが、メソッド内部で[[グローバル変数]]を参照するなどしていることにより、それらもすべて把握していなければそのメソッドを利用することができないという状態である。

==オブジェクト指向で顕著になる==
副作用はとくに肥大化した[[オブジェクト指向プログラミング言語]]を使用したプロジェクトで問題視されることが多い。

たとえば[[C Sharp|C#]]などの[[クラスベースオブジェクト指向]]における[[フィールド変数]]（[[言語]]によっては[[メンバ変数]]や[[インスタンス変数]]とも呼ばれる）や[[プロパティ]]は、実質的に[[C言語]]などの[[グローバル変数]]となんら変わらなく、その内容がメソッドの動作に影響を及ぼすため、これらをすべて把握していなければ正しい利用は難しくなる。

また、[[オブジェクト指向]]では[[フィールド変数]]や[[プロパティ]]が[[クラス]]になっていることも多いため、その先々の[[フィールド変数]]や[[プロパティ]]がもたらす副作用まで同様にすべてを把握していなければならない。[[オブジェクト指向]]は小規模なうちは[[C言語]]における[[グローバル変数]]よりも影響範囲は少ないように思えるが、プロジェクトが肥大化し階層構造が複雑化した後には[[デスマーチ]]への片道切符であるといえ、まさに「[[階層化の有害性]]」であるともいえる。

プロジェクトの規模が小さいうちは問題になることは少ないが、複数人が関わるプロジェクトでは認識の食い違いなどが発生し、最終的に殴り合いになる。

==回避策==
これらを回避する目的で様々な手法が考案されている。

===プログラミング言語===
副作用をもつ[[プログラミング言語]]を根絶しよう考案されたのが[[関数型プログラミング言語]]である。関数型といっても多くのものは「副作用を低減しよう」と逃げ道的な要素を残していることが多い。一方で副作用を絶対的に悪とし完全排除を試みたプログラミング言語もあり、それらは「[[純粋関数型プログラミング言語]]」と呼ばれる。たとえば[[Haskell]]などでは引数と戻り値がすべてであり、それ以外は絶対に許されないという言語使用で副作用を封じ込めている。ただそこれらに移行するには慣れと経験が必要であり学習能力の低い[[プログラマー]]には難易度が高いという問題点を抱えている。

===プロジェクト運用===
その他にも急激な変化は難しい[[プログラミング言語]]などは現状維持し、プロジェクトに関わる人々の人事などで副作用を軽減しようという手法が考案されている。それらをまとめて最近では「[[アジャイル]]」という。なかでも[[ペアプログラミング]]や[[RAIDプログラミング]]は有名であるが実践しているという話はあまり聞いたことがない。また、やらないよりはマシな程度の効果ではあるが[[コードレビュー]]も有効であるとされる。

==関連項目==
*[[staticおじさん]]
*[[人月の神話]]

==参考文献==
{{reflist}}

{{stub}}