[解決済み] なぜC#ではconstパラメータが許されないのですか？

質問

特にC++の開発者にとっては奇妙に見えるでしょう。C++では、パラメータを const としてマークしていました。これは、パラメータの状態がメソッドの中で変更されないことを保証するためです。他にもC++特有の理由があって、例えば const ref を渡すなど、C++特有の理由もあります。しかし、なぜC#ではメソッドパラメータとしてconstをマークできないのでしょうか？

なぜ、次のようにメソッドを宣言できないのでしょうか？

    ....
    static void TestMethod1(const MyClass val)
    {}
    ....
    static void TestMethod2(const int val)
    {}
    ....

どのように解決するのですか？

他の良い答えに加えて、C#にC言語スタイルの定数を入れない理由をもう一つ付け加えましょう。 あなたは言いました。

メソッド内でパラメータが変更されないことを確認するために、パラメータをconstとしてマークしています。

constが実際にそうしてくれるなら、それは素晴らしいことです。constはそれをしません。constは嘘です!

constは実際に使える保証を何一つしてくれない。constなものを受け取るメソッドがあるとします。コードの作者は2人います。 呼び出し側 を書いている人と 呼び出し側 . callee の作者はメソッドに const を取るようにしました。二人の作者はこのオブジェクトについて何が不変であると仮定できるでしょうか？

何もありません。呼び出し側はconstをキャストしてオブジェクトを変更することができるので、呼び出し側には 保証 したがって、呼び出し側は、const を受け取るメソッドを呼んでも実際には 変異しないという保証はありません。同様に、着呼側は、着呼側のアクションの間、オブジェクトの内容が変化しない と仮定することはできません。着呼側は、ある突然変異を起こすメソッドを non const alias に対して変異を起こすメソッドを呼び出すことができます。 を変更しました。 .

Cスタイルのconstは、オブジェクトが変更されないという保証はなく、したがって、壊れています。さて、Cはすでに弱い型システムを持っており、本当に必要であればdoubleをintに再変換するキャストを行うことができます。 しかし、C#は 良い この変数に文字列を格納する」と言ったときに、その変数が、その文字列を含んでいることを示す型システムです。 が実際に文字列への参照を含んでいるような型システムです。 (または null) への参照を含むというものです。C スタイルの "const" 修飾子は絶対に型システムに入れたくありません。 型システムが嘘であってはならないからです。 . 私たちが望むのは、型システムが 強い というように 正しく推論できる ができるようになります。

C言語におけるConstは ガイドライン これは基本的に、このものを変異させないように私を信頼してください、という意味です。それは 型システム の中にあるものです。 型システム であるべきです。 ファクト ではなく、推論可能なオブジェクトに関するであるべきです。 ガイドライン でなく、その使い方に関するガイドラインです。