Compiler-Реализована Неизменность в .Net

Question

Учитывая этот класс ...

public class Test 
{ 
    private long _id; 

    public Test(long id) 
    { 
    _id = id; 
    } 
} 

Будет ли компилятор .Net компилировать как ...

public class Test 
{ 
    private readonly long _id; 

    public Test(long id) 
    { 
    _id = id; 
    } 
} 

Другими словами, он понимает, что _id только когда-либо установлен из конструктора и, следовательно, является только для чтения?

Answer 1

Нет, компилятор этого не делает. Код IL для поля будет выглядеть следующим образом:

.field private int64 _id 

... в то время как только для чтения версия получит этот IL-код:

.field private initonly int64 _id 

Answer 2

компилятор не может знать, что поле устанавливается только в конструктор. Представьте себе, например, используя отражение в некотором методе, где имя поля считывается из базы данных. Вам нужно явно указать ключевое слово readonly, если вы хотите, чтобы поле было неизменным.