MySQL: Как определить является ли значение числом?

Question

[Сергей]

См. сабж.

Т.е. мне нужна некоторая функция (выражение), которая возвращает 1 если переданный аргумент является числом, иначе 0

Самое простое что пришло на ум:
SELECT CAST("123.1123" AS DECIMAL(65,5)) = "123.1123" -- выдаст 1
SELECT CAST(123.1123 AS DECIMAL(65,5)) = 123.1123 -- выдаст 1
SELECT CAST("фыв" AS DECIMAL(65,5)) = "фыв" -- выдаст 0

А существует ли возможность решить туже самую задачу без CAST/CONVERT

В мануале ничего не нашел. Может плохо искал?

Спасибо.

Answer 1

[Сергей Соколов]

Вариант А. SELECT CONCAT( '', column1 * 1) = column1
Неправильно обработает нестандартные форматы чисел типа 156. (оканчивается на точку), 1e3, 1.25e5

Вариант Б. Регулярными выражениями в лоб: SELECT column1 REGEXP('(^[0-9]+$)');
Тут даже числа с десятичной точкой не пройдут, правда.

Comments

[Сергей]

Вариант А мне больше нравится. Если бы не оптимизатор MySQL от concat можно было бы тоже отказаться :) Спасибо.

Answer 2

[Rsa97]

SELECT '1234.464' REGEXP '^[0-9]+(\.[0-9]+)?$'

Comments

[sch1z0phr3n1a]

надо еще про отрицательные числа не забыть!;-)

[Rsa97]

Ну, если полностью, то что-то вроде
^[+\-]?[0-9]*([0-9]\.|\.[0-9]|[0-9])[0-9]*([eE][+\-]?[0-9]+)?$