¿Por qué Smartmatch devuelve valores diferentes según el orden de los operandos?

Question

tengo una matriz para la cual la prueba siguiente devuelve verdadero:

1 ~~ @a 

Y, sin embargo, la siguiente prueba devuelve falso:

@a ~~ 1 

leí en Learning Perl que la colocación de los valores en ambos lados del operador de Smartmatch no importa, pero obviamente en el código anterior lo hace. ¿Porqué es eso? ¿Las dos declaraciones revisan cosas diferentes?

Answer 1

Además de las otras respuestas, the list of Perl 5.10.1 changes tiene una sección sobre los cambios realizados en el operador ~~:

El operador partido inteligente ~~ ya no es conmutativa. El comportamiento de una coincidencia inteligente ahora depende principalmente del tipo de su argumento de la mano derecha.

Así Learning Perl puede haber sido correcta antes de estos cambios.

Answer 2

Si Learning Perl dice eso, es mal obsoleta (aunque tiende a trabajar de esa manera, en muchos casos). Lo que hace el operador de concordancia inteligente está determinado principalmente por el tipo del argumento correcto; vea la tabla en the perlsyn documentation para detalles.

Answer 3

Puede ver que hace cosas muy diferentes dependiendo del orden y los tipos de sus argumentos si va al Smart Matching in Detail.

Answer 4

La versión de ~~ en 5.10.0 se basó en el diseño actual de perl6, que era conmutativa. Debido a que 5.10.0 tardó tanto en ser lanzado, cuando salió, el perl6 smartmatch había mejorado mucho (incluso ya no era conmutativo), pero nadie en desarrollo perl5 se dio cuenta a tiempo para arreglar la implementación de perl5. Se corrigió en 5.10.1, y nadie debería confiar en las antiguas reglas 5.10.0. Es nuevo para mí que el comportamiento inconsistente se documentó en un libro impreso.