불변 필드에서 setter를 어떻게 처리합니까?

두 개의 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. :-(

작동 한다고 가정했을 때 발생 하는 버그 는 확실하지 않습니다. 물론 잘못된 개발자가 문서를 읽었을 것입니다. 그러나 컴파일 또는 런타임 오류가 문제에 대해 경고하지 않았다는 사실은 바뀌지 않습니다.

Thing개발자가 위의 실수를 저 지르지 않도록 클래스를 어떻게 변경 해야 합니까?

예외를 던져? 속성 대신 getter 메서드를 사용 하시겠습니까?

왜 그 코드를 합법적으로 만드나요? 아무것도하지 않으면
꺼내십시오 set { }.
다음은 읽기 전용 공용 속성을 정의하는 방법입니다.

public int Foo { get { return _foo; } }

C # 5와 그 이전에는 게터를 통해 노출되는 불변 필드에 대한 두 가지 옵션에 직면했습니다.

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; }
}

두 가지 솔루션.

단순한:

변경 불가능한 읽기 전용 개체에 대해 David가 지적한대로 setter를 포함하지 마십시오.

또는

세터가 새로운 변경 불가능한 오브젝트를 리턴 할 수 있도록 허용합니다 (이전 오브젝트에 비해 자세하지만 시간이 지남에 따라 초기화 된 각 오브젝트에 대한 상태 제공). 이 디자인은 모든 필수 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...
}