Command–query separation

Command–query separation(CQS), en castellanoSeparación de comandos y consultas,es un principio de laprogramación orientada a objetos.Fue ideado porBertrand Meyercomo parte de su trabajo pionero sobre ellenguaje de programación Eiffel.

El principio afirma que cadamétododebe ser uncomandoque realiza una acción, o unaconsultaque devuelve datos al llamante, pero no ambos. En otras palabras,hacer una pregunta no debe cambiar la respuesta.Más formalmente, los métodos deben devolver un valor sólo si sonreferencialmente transparentesy, por tanto, no poseenefectos colaterales.Es de destacar que la aplicación rígida de esta especificación hace que el seguimiento del número de veces que las consultas han sido emitidos sea esencialmente imposible; está claramente destinado como una guía de programación en lugar de una regla para una buena codificación, como la de evitar el uso de unGOTOdesde un bucle anidado.

Conexión con el diseño por contrato

Command–query separation está particularmente bien adaptado a una metodología dediseño por contrato(DbC), en la que el diseño de unprogramase expresa comoasercionesincluidas en elcódigo fuente,que describen elestadodel programa en determinados momentos críticos. En DbC, las aserciones se consideran anotaciones de diseño - no lógica del programa - y como tal, su ejecución no debería afectar al estado del programa. CQS es beneficioso para el DbC porque cualquier método que retorna valores (cualquier consulta) puede ser llamado por cualquier aserción sin temor a modificar el estado del programa.

En términos teóricos, esto establece una medida de sensatez, por la que se puede razonar sobre el estado de un programa sin modificar al mismo tiempo ese estado. En términos prácticos, CQS permite que todas las comprobaciones de aserciones puedan ser pasadas por alto en un sistema de trabajo para mejorar su rendimiento sin inadvertidamente modificar su comportamiento. CQS también puede prevenir la aparición de ciertos tipos deheisenbugs.

Impacto más amplio en la ingeniería de software

Incluso más allá de la conexión con el diseño por contrato, los seguidores de CQS consideran que tiene un efecto de simplificación en un programa, haciendo que sus estados (a través de consultas) y cambios de estado (a través de comandos) sean más comprensibles, tanto como el que la amonestación deEdsger Dijkstracontra sentenciasgotohizo para el flujo de control.

CQS está bien adaptado a la metodologíaorientada a objetos,pero también se puede aplicar fuera de la programación orientada a objetos. No hay nada intrínsecamente orientado a objetos sobre la separación de efectos colaterales y valores de retorno, y así CQS puede aplicarse con provecho a cualquier paradigma de programación que requiere razonamiento sobre los efectos colaterales.

Command Query Responsibility Segregation

Command Query Responsibility Segregation (CQRS) aplica el principio CQS utilizando objetos Query y Command independientes para recuperar y modificar datos, respectivamente.^[1]^[2]

Inconvenientes

CQS puede hacer que sea más difícil la implementación de softwarereentranteymultihilocorrectamente. Esto suele ocurrir cuando un patrón no-thread-safe se utiliza para implementar la command query separation.

Un simple ejemplo de un patrón que rompe CQS pero es útil para software multi-hilo:

privateintx;
publicintincrement_and_return_x()
{
lockx;// por algún mecanismo
x=x+1;
intx_copy=x;
unlockx;// por algún mecanismo
returnx_copy;
}

Un patrón CQS común utilizable sólo en aplicaciones de un solo hilo:

privateintx;
publicintvalue()
{
returnx;
}
voidincrement()
{
x=x+1;
}

Patrón CQS thread safe.

privateintx;
privateint_x;
publicintvalue()
{
returnx;
}
voidincrement()
{
lock_x;// por algún mecanismo
_x=_x+1;
x=_x;
unlock_x;// por algún mecanismo
}

Incluso en programas de un único hilo, a veces es mucho más conveniente tener un método que es una consulta combinada con comando.Martin Fowlercita el método pop() de unapilacomo un ejemplo.^[3]

Véase también

Interfaz fluida

Referencias

↑Young, Greg.«CQRS Documents».Consultado el 8 de agosto de 2016.
↑Fowler, Martin.«CQRS».Consultado el 8 de agosto de 2016.
↑Fowler, Martin.«CommandQuerySeparation».Consultado el 8 de agosto de 2016.

Otras lecturas

Meyer, Bertrand(1988).Object-oriented Software Construction.Prentice Hall.ISBN 0-13-629049-3.

Enlaces externos

Datos:Q3954590

[1] Young, Greg.«CQRS Documents».Consultado el 8 de agosto de 2016.

[2] Fowler, Martin.«CQRS».Consultado el 8 de agosto de 2016.

[3] Fowler, Martin.«CommandQuerySeparation».Consultado el 8 de agosto de 2016.

[1]

[2]

[3]