Концептуальная причина «поле инициализатора не может ссылаться на не-статическое поле, метод или свойство» CS0236 Ошибки

Question

C# не допускает экземпляра поле инициализатора ссылаться на другое поле. Например, этот код не действует:

class A 
{ 
string s1 = ""; 
string s2 = s1; 
} 

, потому что "s2" ссылки "s1".

Но почему это не разрешено?

Моя первая мысль была о том, что # спецификации C не гарантируют никакого порядка инициализации, но по спецификации заказа порядок декларирования:

Переменная инициализаторы выполняются в текстовом порядке которые они появляются в объявлении класса.

Таким образом, если заказ детерминирован, каковы могут быть подводные камни такого рода кода?

Заранее за вашу помощь.

EDIT:

Согласно ответам Hps, 0xA3 и Петр:

• Порядок инициализации в сценарии наследования может быть очень запутанным,

• , реализующий такую ​​функцию, требуют определенных ресурсов из команды разработчиков компилятора для мало пользы,

• это не представляется возможным использовать метод или свойства логических причин (спасибо Петр), так что для последовательности то же самое верно и для полей.

Answer 1

Эта статья может ответить на ваш вопрос.

Execution Order

Answer 2

Компилятор вероятно может проверить порядок полей, а затем позволить инициализацию, если другое поле было ранее объявлено.

Помимо того, что переупорядочение или реструктуризация нарушает ваш код, почему компилятор должен быть излишне сложным. Ресурсы ограничены, и команда компилятора, вероятно, предпочитает работать с функциями с более высоким приоритетом.

Answer 3

Я не уверен в поле, но кажется разумным отрицать доступ к свойствам или методам инициализатора поля. Например:

class A 
{ 
    string s1 = GetString(); 
    string s2 = this.MyString; 
    string s3 = "test"; 

    public string GetString() 
    { 
     // this method could use resources that haven't been initialized yet 
    } 

    public string MyString 
    { 
     get { return s3; } 
     // this field hasn't been initialized yet 
     // (okay, strings have a default value, but you get the picture) 
    } 
}