js関数の副作用分析_javascriptスキル

関数の副作用は、プログラム設計に不要なトラブルをもたらし、発見が困難なエラーをもたらし、プログラムの可読性を低下させます。厳密な関数型言語では、副作用のない関数が必要です。
関数の副作用、純粋関数、不純関数、参照透過に関連するいくつかの概念。
Pure Function (純粋関数)
入力データ フローと出力データ フローはすべて明示的です。 明示的とは、関数が外部とデータを交換する方法がパラメータと戻り値の 1 つだけであることを意味します。関数が関数の外部から受け取るすべての入力情報は、パラメーターを通じて関数の内部に渡されます。関数が関数の外に出力するすべての情報は、戻り値を通じて関数の外に渡されます。
不純関数 (不純関数)
その逆。 暗黙的とは、関数がパラメータや戻り値以外のチャネルを通じて外部とデータを交換することを意味します。たとえば、グローバル変数の読み取り/変更は、外部との暗黙的なデータ交換と呼ばれます。
参照透過性 (Referential Transparent)
参照透過性の概念は関数の副作用に関連しており、関数の副作用によって影響を受けます。 プログラム内の同じ値の 2 つの式を、プログラムの動作に影響を与えることなくプログラム内の任意の場所で相互に置き換えることができる場合、プログラムには参照透過性があります。非参照透過言語のセマンティクスは理解しやすく、曖昧さが少ないという利点があります。純粋関数型言語には変数がないため、参照が透過的です。
次の例は、参照透過性と関数の副作用の組み合わせを示しています

コードをコピー コードは次のとおりです:

結果 1 = (fun(a) b) / (fun(a) -c);
temp = fun(a);
result2 = (temp b) / (temp -c) );

関数に副作用がない場合、result1 と result2 は同等になります。ただし、fun に b または c に 1 を加算するなどの副作用がある場合、result1 と result2 は等しくなくなります。したがって、副作用は参照透明性を侵害します。
JavaScriptでは関数が導入されています。しかし明らかに、JS の関数は次のようにグローバル変数 (または関数の外部で定義された変数) にアクセスして変更できます。

Copy code Code As

var a = 5;
function fun(){
a = 10;
fun();

JS で関数に副作用がないことを確認するには、プログラマーの習慣に頼るしかありません。つまり、関数エントリは

関数を変更せずにパラメーター操作を使用します。グローバル変数
3など、関数外の変数は内部で変更されず、演算結果は関数を通じて外部に返されます(exit)。