関数をクリアにすると、そのパラメータを変更できます

Question

なぜ多くのプログラミング言語が、関数が渡されたオブジェクトをパラメータとして変更できるようにするのですか？ 。例：

SomeObject A(15), B 
B = DoSomething(A) 
print(A + " " + B + "\n) 

このコードを読むと、出力が "15 75"のようになると思います。つまり、Aはそれを構築したものです。しかし、ほとんどの言語はDoSomethingがAの値を変更することを可能にします.C++ではDoSomethingの宣言を見れば、そのパラメータが非const参照として定義されているかどうかを調べることができます。しかし、Pythonのような多くの言語では、関数のコードを読まずに、決して変更しないことを確認する方法は実際にありません。

私はこれを数回機会に噛まれましたこの動作を使用する他の人のコードでは、通常、行ごとにコード全体を調べて、パラメータを変更しようとする行を探します。

一般に、明示的な構文は必要ありません「このオブジェクトは変更可能です」と言う呼び出しによって、たとえば「B = DoSomething（inout A）」と言うことができますか？

「関数に渡されたパラメータを決して変更しない」以外に、問題の発生を防ぐのに役立つコーディング標準はありますか？

Answer 1

「コーディング基準」は、言語やユーザー/チームによって異なります。 C++には、const-correctnessがあります。これは、適切に使用されると、コーディング標準としてカウントされます。明らかなケースの場合、C＃はoutとrefのパラメータを持ちます。私は、広範囲の言語にわたる唯一の真実の一貫性は、関数の事後条件で常にパラメータの変更を文書化する必要があるということです。

Answer 2

Javaを見ると、メソッドは実際にパラメータを変更できません（Javaは入力パラメータのみを持ちます）。しかし、パラメータはしばしば、使用するオブジェクトの参照にすぎません。つまり、このメソッドはオブジェクトを可能な限り変更することができます。これは、セマンティクス（ドキュメントを見ることなく）を難しく、関数プログラミングとは全く反対に推論させます。

あなたはこれが望ましくないことは間違いありませんが、短期間で簡単にできました。残念ながら、ほとんどの場合、短期間であるため、隠れた副作用をサポートする言語を使用しています。

Answer 3

これはコードスニペットを直接的にはっきりさせませんが、とにかく言いたいことがあります：私たちはあなたが望むものを正確に表示するために、パラメータの命名規則を使用しています。私たちは 'in'、 'out'、 'io'という接頭辞を使います。したがって、DoSomething宣言はDoSomething（ioSomeObject inA）のようになります。ビジュアルアシスタントを使用してVisual Studioで作業する場合は、パラメータのタイプと名前を示すポップアップが表示されます。これは可能な副作用を示しています。私の意見では、これは事後条件を文書化するよりも明らかです。

よろしく、

Sebastiaan

Answer 4

このための私の好ましい設計パターンは不変データクラスです。

変更可能なクラスでは、変更されるかどうかについて考える必要があります。

私の理解では、PythonはJavaとC（修飾子なし）のように値渡しです。しかし、あなたが渡しているのは、通常、変更可能なオブジェクトです。

（編集：。。ほとんどすべての主流の言語は現在、これらのセマンティクスに従って最も顕著な例外は、あなただけではなく、変更可能なオブジェクトを変更することができLispは、ですが、値が変数によって指さ再割り当て）