Проектирование по контракту в C # 3.0

Question

Я знаю, что C # 4.0 имеет функцию Code Contract, которую можно использовать для реализации постусловия и предусловия.Но я хочу реализовать это только на C # 3.0.Я экспериментирую, чтобы использовать эту функцию в моей работе.Можно ли использовать attributes для реализации постусловий и предварительных условий?

Любой совет?

Спасибо.

Answer 1

Вы можете использовать Кодовые контракты с C # 3 и .NET 3.5. Основное отличие состоит в том, что базовые классы (не инструменты) уже встроены в .NET 4.

Answer 2

Я использую простую инструкцию Debug.Assert для предусловий и постусловий и вручную пишу bool Invariant() функцию, которую я называю Debug.Assert(Invariant()) при входе и выходе соответствующих / нетривиальных открытых методов.Это ручная работа, хорошо, но это очень легко, и вы быстро привыкаете к этому.Кроме того, это позволяет мне очень близко следовать дизайну Эйфеля в соответствии с контрактной философией.