Cuando true es igual a false

Ayer una colega del laburo advirtió una "feature" interesante de MySQL: compara campos de texto contra valores numéricos, y falla miserablemente.

SELECT * FROM usuarios WHERE clave = 123456

codigousuario   usuario    clave
-----------------------------------
0               alina      123456a

¿Notaron el pequeño detalle? Para MySQL, 123456 es igual a 123456a.

Esto es gravísimo, y la causa sólo se me explica por una lamentable implementación de type casting. Evidentemente, en lugar de castear el valor del query a string y comparar string contra string, convierte el string a número y compara numéricamente. ¡Teh horror!

Esto también funciona:

SELECT 1 FROM usuarios WHERE 123456 = '000123456rfsfda'

Evidentemente el algoritmo debe convertir '000123456rfsfda' a número con la siguiente lógica: "saco la parte no numérica y los leading zeros: 0000123456 = 123456".

Y lo peor es que no pasa solo en MySQL. En PHP funciona igual:

$a = 'string';
$b = 0;
 
if ( $a == true && $b == false && $a == $b ) {
    echo ( 'universe broken' );
}

$a es igual a true, $b es igual a false, y $a es igual a $b, por lo tanto, true es igual a false.

Y me pregunto en cuántos otros lugares sucederá lo mismo...
Solución temporal: asegurarse de entrecomillar los valores numéricos al comparar con string en MySQL, y usar el operador de comparación estricta ( === ) en PHP.