Tipos de comparación

Qt proporciona varios tipos de comparación para una comparación de tres vías, que son comparables contra un literal cero. Para utilizar estos tipos de comparación, es necesario incluir la cabecera <QtCompare>. Estos tipos de comparación se clasifican en función de su orden, que es un concepto matemático utilizado para describir la disposición o clasificación de los elementos. Se proporcionan las siguientes categorías:

El tipo de comparación más fuerte, Qt::strong_ordering, representa un orden total estricto. Requiere que dos elementos cualesquiera sean comparables de forma que la igualdad implique sustituibilidad. En otras palabras, los valores equivalentes no pueden distinguirse entre sí. Un ejemplo práctico sería la comparación entre mayúsculas y minúsculas de dos cadenas. Por ejemplo, al comparar los valores "Qt" y "Qt" el resultado sería Qt::strong_ordering::equal. Ambos valores son indistinguibles y todas las operaciones deterministas realizadas sobre estos valores darían resultados idénticos.

Qt::weak_ordering representa un orden total. Aunque dos valores cualesquiera deben ser comparables, los valores equivalentes pueden ser distinguibles. El ejemplo canónico aquí sería la comparación insensible a mayúsculas/minúsculas de dos cadenas. Por ejemplo, al comparar los valores "Qt" y "qt", ambos contienen las mismas letras pero con representaciones diferentes. Esta comparación daría como resultado Qt::weak_ordering::equivalent, pero no realmente Equal. Otro ejemplo sería QDateTime, que puede representar un instante dado en el tiempo en términos de hora local o de cualquier otra zona horaria, incluida la UTC. Las distintas representaciones son equivalentes, aunque sus time() y a veces date() puedan diferir.

Qt::partial_ordering representa, como su nombre indica, una ordenación parcial. Permite la posibilidad de que dos valores no sean comparables, lo que da lugar a un estado unordered. Además, valores equivalentes pueden seguir siendo distinguibles. Un ejemplo práctico sería la comparación de dos valores de coma flotante, comparando con NaN (Not-a-Number) se obtendría un resultado no ordenado. Otro ejemplo es la comparación de dos objetos QOperatingSystemVersion. Comparar versiones de dos sistemas operativos diferentes, como Android y Windows, produciría un resultado desordenado.

La utilización de estos tipos de comparación mejora la expresividad de la definición de relaciones. Además, sirven como componente fundamental para implementar la comparación tripartita con C++17.