Контракты - это общее название для ограничения множества входящих параметров, это нужно везде и всегда. Имлементация контрактов в виде атрибутов не вписывается в парадигму плейн сишарп классес, только поэтому и возникает вопрос об их использовании.
Контракты - это общее название для ограничения множества входящих параметров, это нужно везде и всегда. Имлементация контрактов в виде атрибутов не вписывается в парадигму плейн сишарп классес, только поэтому и возникает вопрос об их использовании.
Я имею в виду конкретно System.Diagnostics.Contracts
JetBrains.Annotations+Fody.NullGuard — имхо идеальный вариант, позволяющий бороться с нуллами, используя решарпер на максимум, и кодогенерировать рантаймопроверки.