Кодовые контракты Vs. Инициализаторы объектов (.net 4.0)

Question

При номинальной стоимости кажется, что инициализаторы объектов представляют проблему для. NET 4.0 «кодовых контрактов», где обычно инвариант должен быть установлен к тому моменту завершения конструктора объекта. Предположительно, однако, инициализаторы объектов требуют, чтобы свойства были установлены после завершения построения.

Мой вопрос в том, могут ли инварианты «кодовых контрактов» обрабатывать инициализаторы объектов, «как если бы» свойства были заданы до завершения конструктора? Это было бы очень приятно!

Answer 1

Ну, я полагаю, что кодовые контракты могут вставить дополнительный вызов инварианту в конце инициализатора объекта - если бы он мог сказать, что это использовалось. (Не забывайте, что в основном использует IL, а не исходный код, насколько мне известно, исходный код используется только для генерации сообщений об ошибках.)

Это поражает меня как плохой дизайн, хотя по несчастливой природе инициализаторов объектов. Что бы вы сделали с настройкой свойств после инициализатора объекта? Они могут снова сделать объект недействительным.

Похоже, вы в основном хотите, чтобы хотя бы некоторые свойства были неизменными, но вы хотите получить выгоду от простоты инициализаторов объектов. Именованные аргументы и необязательные параметры в C# 4 дать вам некоторые из этого - создать конструктор со всеми соответствующими свойствами (и значения по умолчанию), то вы можете назвать это так:

Person person = new Person(firstName: "Jon", lastName: "Skeet"); 

Это не далеко от объекта инициализатора синтаксис:

Person person = new Person { FirstName = "Jon", LastName = "Skeet" }; 

это не идеально, и я хочу, C# было больше поддержки неизменных типов (как создание и использование), но это только начало ...