Уважаемые коллеги! В разделе вакансий Perl-разработчиков на Яндексе публикуются тестовые задания. Одно из заданий такое

Что напечатает программа?



Как обычно, если чем-то часто не пользуешься, то со временем оно забывается. Так и в данном случае из головы выветрилось, какие скалярные значения являются false в булевом контексте.
Цитата из  Уолл Л., Кристиансен Т., Орвант Д. Программирование на Perl (3-е издание):




Соответственно значение "0" в булевом контексте будет false, а "00" и "000" - true. Из-за подобной забывчивости можно делать ошибки, аналогичные такой:

Поэтому я делаю

Но кстати, стоит отметить, что CGI.pm возвращает '' (пустую строку), если параметр в запросе присутствует, но значение у него пустое. А вот если параметра в запросе вообще нет, то тогда вернет undef

Все книги по CGI пестрят рекомендациями о необходимости фильтрации входных данных. В указанном выше примере как раз это не сделанно. 

Уважаемый KSURi, я как раз об этом и написал, что не сразу видно проблему.



этот код вернет 00, т.к. он true в булевом контексте

Вопрос конечно интересный, и легко ошибиться, только вот интуиция всегда подсказывает, что 0 - это ноль, а "000" - не совсем понятно что, чисто с математической точки зрения. В математике нет такого 000, а значит 000 не равно(не тождественно равно, если угодно) 0, но false только в случае когда 0, и значит вероятнее всего что "000" даст true. Что на практике и оказывается так 

Может немного сумбурно, но думаю все же понятно 

Уважаемый Bulat, объяснение очень натянутое, т.к.



т.к. Perl считает, что "000" и 0 с математической точки зрения (т.е. при приведении к одному типу - числу) тождественно равны.

Не согласен. 



Булевая проверка - это одно действие, а приведение к одному типу совсем иное. Разные операции выполняются над одним и тем же объектом, что есс-но может выдать два противоположных результата 

ginnie, вот я видимо не сразу увидел, в чем вы обозначили проблему)
Ни разу просто не сталкивался с ситуацией, когда в параметре "000" передается

Это сообщение отредактировал(а) KSURi - 4.6.2008, 09:54

Уважаемый Bulat, давайте пойдем от обратного: возьмем для примера число 0.0, которого, по аналогии с 000 тоже нет. С математической точки зрения, по Вашему алгоритму, оно должно, вероятнее всего, быть true. Но это не так (так-же, как и в случае с 000). True оно будет только если его представить в виде строки "0.0", но это уже не математика   Это Perl, где кроме как запомнить, что false в булевом контексте дают только строки "" и "0" других способов я не вижу.

ginnie, 0.0 - не являетс переменной типа int  double - в яве(я этот язык довольно не плохо знаю).

А булевы функции не стоит отождествлять с перлом 

Уважаемый Bulat, при чем тут int и double? В булевом контексте числа 0, 0.0, 0.00, 00, 000 имеют значение false.


Мы обсуждаем не булевы функции, а булев контекст. Причем именно применительно к Perl. О каком отождествлении идет речь?

ginnie, Булева функция

Мне хотелось бы посмотреть, где  в булевой функции или алгебре вы видели числа 0.0, 000, 0.00 и т.п.  Там есть только 1 и 0. Да, perl при использовании булевской функции итерпретирует 0.0, 000 и т.п. с 0, НО интерпретирует, а не тождественно равно. 0.0, 000, 0.00 - это совершенно разные числа, не тождественно равные 0. Что наглядно демонстрируется в иных языках, где нужно явно указывать типа любой перемнной, поэтому есть типы int, string, double. Не нужно забывать, что и при 000 и при 0.0 происходит приведение типов, т.е. меняются свойства объекта, а значит уже должен быть повод усомнится в том, будет ли возвращено false, даже если после приведения типов получается 0 

Добавлено через 7 минут и 52 секунды






Обрати внимание что выводится как $a  в каждом из трех примеров. 

Bulat, спасибо за ссылку, но булевы функции к нашему разговору отношения не имеют. Мы обсуждаем какие значения Perl интерпретирует как true, а какие - false. 
Извините за нескромный вопрос: какой, по Вашему мнению, критерий тождественного равенства двух чисел в конкретном языке программирования? И почему 000 тождественно не равно 0?

ginnie, Если начинать размышления не отталкиваясь от перла, а именно от булевских функций, то ошибится сложнее.

В перле нет деления на типы перемнных, есть скаляры. Но в булевом контексте "000" будет интерпретироватся не как числовой тип, а как строковой тип. Поэтому в перл "000" не тождественно равно "0". А что касается других языков, там-то как раз все проще, потому как и "0" числового типа и "000" числового типа действительно тождественно равны, потому что они оба числовые типы(int). Вся суть лишь в том, как интепретирует перл тот или иной скаляр в булевом контексте. Собственно основным критерием как раз и является тип перемнной, в случае с перлом - скаляра. И даже, что касается "0.0", как видно из выше мною приведенных примеров, в булевом контексте опять же "0.0" (тип double) предварительно приводится к типу (int), что подверждает последующий print , где на выходе уже не "0.0", а "0".

P.S. все же не стоит забывать, что даже если в перле нет необходимости указывать явно тип перемнной(скаляра), этого нет вообще. За нас это делает интерпретатор 

Добавлено через 5 минут и 32 секунды
Проще говоря, в языках где нужно явно указывать тип перемнной, можно присвоить перемнной типа int значение "01", но язык это приведет к виду "1" без 0 идущим перед 1.

Перл же посчитает такой скаляр как строковой, потому как ну не существует просто в математике такого числа 01, есть 1. 

Bulat, как-то странно ;)