Почему поля только для чтения могут быть изменены с помощью параметров ref?

Question

Рассмотрим:

class Foo 
{ 
    private readonly string _value; 

    public Foo() 
    { 
     Bar(ref _value); 
    } 

    private void Bar(ref string value) 
    { 
     value = "hello world"; 
    } 

    public string Value 
    { 
     get { return _value; } 
    } 
} 

// ... 

var foo = new Foo(); 
Console.WriteLine(foo.Value); // "hello world" 

Как это даже компилировать, тем не менее, работать? Я не должен был бы назначать другое значение для поля _value вне конструктора, так как он помечен readonly. Однако передайте его ref методу, и его действительно можно манипулировать.

Это опасно? Зачем? Мне это кажется нехорошо, но я не могу на это положиться.

Answer 1

Он компилируется, потому что вы передаете значение только как параметр ref в конструкторе (где разрешено устанавливать поля readonly). Если вы переместили свой вызов на Bar() в какой-то другой метод, он потерпит неудачу.

class Foo 
{ 
    private readonly string _value; 

    public Foo() 
    { 
     Bar(ref _value); 
    } 

    public void Baz() 
    { 
     Bar(ref _value); 
    } 

    private void Bar(ref string value) 
    { 
     value = "hello world"; 
    } 

    public string Value 
    { 
     get { return _value; } 
    } 
} 

Приведенный выше код дает очень информативное сообщение об ошибке компилятора:

A readonly field cannot be passed ref or out (except in a constructor)