不変フィールドのセッターを処理するにはどうすればよいですか？

2つのreadonly intフィールドを持つクラスがあります。プロパティとして公開されます：

public class Thing
{
    private readonly int _foo, _bar;

    /// <summary> I AM IMMUTABLE. </summary>
    public Thing(int foo, int bar)
    {
        _foo = foo;
        _bar = bar;
    }

    public int Foo { get { return _foo; } set { } }

    public int Bar { get { return _bar; } set { } }
}

ただし、次のコードは完全に合法なコードです。

Thing iThoughtThisWasMutable = new Thing(1, 42);

iThoughtThisWasMutable.Foo = 99;  // <-- Poor, mistaken developer.
                                  //     He surely has bugs now. :-(

それが機能すると仮定することから生じるバグは、sidなものであるに違いありません。確かに、間違った開発者はドキュメントを読んでいたはずです。しかし、それは問題をコンパイルまたは実行時エラーで警告しなかったという事実を変えるものではありません。

Thing開発者が上記の間違いを犯さないように、クラスをどのように変更する必要がありますか？

例外を投げますか？プロパティの代わりにゲッターメソッドを使用しますか？

なぜそのコードを合法にするのですか？何もしない場合は
取り出しset { }ます。
これは、読み取り専用のパブリックプロパティを定義する方法です。

public int Foo { get { return _foo; } }

C＃5以前では、ゲッターを介して公開される不変フィールドの2つのオプションに直面していました。

1. 読み取り専用のバッキング変数を作成し、手動ゲッターを介してそれを返します。このオプションは安全です（readonly不変性を破壊するために明示的に削除する必要があります。多くの定型コードを作成しました）。
2. プライベートセッターで自動プロパティを使用します。これにより、より単純なコードが作成されますが、不変性を誤って破りやすくなります。

ただし、C＃6（昨日リリースされたVS2015で利用可能）では、読み取り専用の自動プロパティという両方の長所を利用できるようになりました。これにより、OPのクラスを次のように簡素化できます。

public class Thing
{
    /// <summary> I AM IMMUTABLE. </summary>
    public Thing(int foo, int bar)
    {
        Foo = foo;
        Bar = bar;
    }

    public int Foo { get; }
    public int Bar { get; }
}

Foo = fooそしてBar = barラインはなく（より簡単なコードを達成する）明示的に定義されるように有するよりも、暗示される（ロバストな読み取り専用の要件を達成する）コンストラクタとバッキングフィールドでのみ有効です。

セッターを取り除くことができます。彼らは何もせず、ユーザーを混乱させ、バグを引き起こします。ただし、代わりにそれらをプライベートにして、バッキング変数を取り除き、コードを単純化することができます。

public class Thing
{
    public Thing(int foo, int bar)
    {
        Foo = foo;
        Bar = bar;
    }

    public int Foo { get; private set; }

    public int Bar { get; private set; }
}

2つのソリューション。

シンプル：

不変の読み取り専用オブジェクトについて、Davidが指摘したセッターを含めないでください。

代わりに：

セッターが新しい不変オブジェクトを返すことを許可します。前者と比較して冗長ですが、初期化された各オブジェクトの状態を経時的に提供します。この設計は、すべての命令型OOP言語に及ぶ、スレッドの安全性と不変性のための非常に便利なツールです。

擬似コード

public class Thing
{

{readonly vars}

    public Thing(int foo, int bar)
    {
        _foo = foo;
        _bar = bar;
    }

    public Thing withFoo(int foo) {
        return new Thing(foo, getBar());
    }

    public Thing withBar(int bar) {
        return new Thing(getFoo(), bar)
    }

    etc...
}

パブリックスタティックファクトリ

public class Thing
{

{readonly vars}

    private Thing(int foo, int bar)
    {
        _foo = foo;
        _bar = bar;
    }

    public static with(int foo, int bar) {
        return new Thing(foo, bar)
    }

    public Thing withFoo(int foo) {
        return new Thing(foo, getBar());
    }

    public Thing withBar(int bar) {
        return new Thing(getFoo(), bar)
    }

    etc...
}