Scheisse

[metaclass]

Как же не хватает в дотнете типа StringNotNull. Чтобы быть гарантированно уверенным, что параметр не может быть null и не проверять в 100 методах его перед обработкой.

Comments

[kashnikov.livejournal.com]

А Вы какое поведение хотите, если можно то хотя бы вкратце?

[blacklion.livejournal.com]

Видимо, что компилятор не признавал null за экземпляр этого типа.

[metaclass.livejournal.com]

Полностью аналогичное обычному String, но при этом чтобы переменной этого типа невозможно было присвоить null и соответственно методы объекта никогда не могли упасть с NPE.

[kashnikov.livejournal.com]

Тут проблема в том, что BCL действительно не даст. Можно создать свой класс на F#, с аналогичным функционалом. Это путь всяких любителей окамлов.

Но собственно можно ведь Spec# заиспользовать. Прямое так сказать назначение. В чём проблема? ;-)