Здравствуйте, Qbit86, Вы писали:

Q>Как они решают проблему default initialization?

var strings = new string![1729];

Lorem ipsum dolor sit amet... ?

Если серьёзно,

Don't instantiate C![] : it's elements would be null.
This seems like a draconian restriction — as long as you only ever read fields from the array that were previously written,
no-one would observe the default value. Many data structures wrapping arrays observe this discipline.

Всё обсуждение тоже советую почитать, там очень любопытный и подробный комментарий Мэтта Торвальдсена про "string == string!". Как всегда, некоторые вещи надо делать с самого начала...