Fody
Este artículo está extraído del libro C# in Depth, Second Edition. El autor explica diferentes enfoques para utilizar los Contratos de Código. Según el autor, para algunos desarrolladores los contratos indican los estados de entrada esperados bajo los cuales el método garantiza funcionar correctamente. Para otros, dice, los contratos son una garantía más firme, asegurando también que el código no se ejecutará en absoluto si fallan. A continuación, el autor describe cómo empezar a utilizar los contratos. Por último, el autor discute las opciones de modo de fallo y los tipos de contratos basados en las necesidades y el contexto de uso del código, completando el artículo con una breve descripción de la validación.
A no ser que hayas utilizado antes un lenguaje que soporte el Diseño por Contrato, a veces puedes encontrarte inseguro de cómo proceder con los Contratos de Código. Si lo usas junto con el Desarrollo Dirigido por Pruebas, ¿qué deberías escribir primero, el contrato o la implementación? ¿Debe escribir pruebas unitarias para los contratos? ¿Cuándo es apropiado lanzar una ContractException y cuándo debería lanzar una excepción .NET estándar como ArgumentNullException? ¿Deberían las compilaciones de lanzamiento comprobar los contratos o no?
Contrato de C# assert
Hay información inconsistente con respecto a lo que está sucediendo con los Code Contracts en .NET Core en el futuro. Actualmente, la funcionalidad no está funcionando fuera de la caja en .NET Core, me gustaría saber si Microsoft continuará el apoyo a los Code Contracts en .NET Core?
@SergeyTeplyakov y @mike-barnett hicieron un gran trabajo voluntario tratando de mantener el proyecto a flote al menos por un tiempo, y, AFAIK, ambos están todavía con Microsoft y probablemente pueden actualizarlo mejor que yo. Y vaya, ¡no me gustaría estar equivocado! 🙁
Sí, estoy de acuerdo con @kkm000: es poco probable que el proyecto se reactive. No queda nadie que trabaje en él. Mantener el comprobador estático supondría un esfuerzo tremendo. Incluso el soporte de comprobación en tiempo de ejecución tendría que ser totalmente reescrito.
Aunque al leer estos comentarios me doy cuenta de que seguir apoyando este proyecto sería bastante caro, es lamentable que esto sea lo que está ocurriendo. Lo que es aún más desafortunado es que no haya nada que lo sustituya, ya que DbC es un paradigma de codificación y arquitectura muy potente. ¿Va a haber algo que sustituya a CC? Su uso ha sido muy valioso para mí en el pasado.
El contrato garantiza
El alquiler, el empleo, la compra de una casa: lo que sea. Si eres adulto, lo más probable es que hayas firmado varios contratos en tu vida (y probablemente firmarás muchos más). Un contrato es un acuerdo que define los derechos y obligaciones de dos o más partes para conseguir algo.
Disponer de un contrato adecuado es una poderosa herramienta para despejar las dudas sobre lo que te está permitido o no hacer en el piso en el que vives, por ejemplo. Un contrato también define las sanciones para las partes que no cumplen su parte del acuerdo. Si no pagas las cuotas de tu casa a su debido tiempo, tienes casi garantizado que sufrirás algunas consecuencias.
Los contratos están por todas partes en el mundo real. ¿Pero qué pasaría si pudiéramos utilizar algo similar a los contratos en nuestro código? Por ejemplo, ¿qué pasaría si pudiéramos especificar “cláusulas” que definieran las condiciones requeridas al inicio y al final de una función? ¿O tal vez que especificaran y reforzaran las invariantes de nuestros objetos? En este caso, diría que nuestros programas mejorarían definitivamente en legibilidad, seguridad,… y autodocumentación.
El contrato requiere c#
Resumen: La API Code Contracts incluye clases para la comprobación estática y en tiempo de ejecución del código y permite definir precondiciones, postcondiciones e invariantes dentro de un método. La clase Contracts se encuentra en el espacio de nombres System.Diagnostics.
Nota editorial: El lenguaje de programación Eiffel introdujo un concepto llamado Diseño por contrato donde se pueden definir precondiciones, postcondiciones e invariantes en los métodos de la clase. La idea básica es que un método defina un contrato que establezca las condiciones que deben ser verdaderas cuando el método es llamado. Esto también se llama precondiciones. El método también debe definir las condiciones que deben ser verdaderas cuando termina su ejecución. Esto se llama como postcondiciones. El método también puede definir condiciones que deben ser verdaderas mientras el programa se está ejecutando. Esto se llama invariantes.
.NET soporta la idea de Diseño por Contrato a través de su clase Contracts que se encuentra en el espacio de nombres System.Diagnostics y que se introdujo en .NET 4.0. La API de Code Contracts incluye clases para la comprobación estática y en tiempo de ejecución del código y permite definir precondiciones, postcondiciones e invariantes dentro de un método. Las precondiciones especifican las condiciones que deben cumplir los parámetros antes de que un método pueda ejecutarse, las postcondiciones que se verifican al finalizar un método y las invariantes definen las condiciones que no cambian durante la ejecución de un método.
