Уважаемые коллеги! В разделе вакансий 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, как-то странно ;)

Ну дык, в данном случае мы не используем булевскую функцию, т.е. не происходит действия - приведение к типу int поэтому и вывод такой ;)

Добавлено через 4 минуты и 13 секунд
nitr, да и сдается мне, что в твоем примере выводится не число "0.0", а строка содержащая "0.0" 

Bulat, правильно подметили  Весь пост про это всё ;)

Уважаемый Bulat, открою Вам секрет: в Perl в булевом контексте не происходит приведение к целому типу. Если бы это происходило, то "0.0" и "00" были бы false.



Это сообщение отредактировал(а) ginnie - 4.6.2008, 13:12

ginnie, обрати внимание как ты задаешь скаляр, и вспомни еще раз мои предыдущие три примера 

Добавлено через 5 минут и 12 секунд
про переменные в перл

например


Т.е. преобразование происходит независимо от того в булевском контексте или нет. При этом всегда 

Добавлено через 6 минут и 18 секунд


Даже так, весь абзац 

Bulat, мы об одном говорим, или о разном?

в примерах



никаких преобразований строк в числа, дробных чисел в целые и наоборот не происходит. Происходит только интерпретация этих значений в true и false.

Ок. тогда объясни мне как происходит интерпретация в true или false. Исходя из твоей логики 

Bulat, я с этого и начал топик. Дальше ты сказал про интуицию и началась дисскусия...   

ginnie, ок, тогда взглянем на твой код по иному

Bulat, какие выводы из полученного результата можно сделать?

ginnie, что в $a перед строкой warn $a ? 'true' : 'false'; и после. Разве нет никаких изменений??

defined($value) вместо undef...?

Это сообщение отредактировал(а) gcc - 11.10.2008, 07:52

Ээ, чего? Привидите полный пример кода с комментарием, а то я что-то не догадался...

может возвращать пустую строку ''
можно сделать еще так $value = $cgi->param('value'); if (defined($value)) { print "не пустая";}

Это сообщение отредактировал(а) gcc - 11.10.2008, 10:49

я написал вот так:



нужно ли еще что-то фильтровать?

Это сообщение отредактировал(а) gcc - 8.8.2009, 02:29

подскажите, если я получаю из СУБД int значение 1 или 0

как тут нужно писать правильный?

можно ли так





в чем разница между этими записями? я видел что пишут $int == 1, но если стоит 0, то это будет в любом cлучае FALSE? даже если там и undef?

Это сообщение отредактировал(а) gcc - 14.8.2009, 02:18

а проверить?



Это сообщение отредактировал(а) shamber - 14.8.2009, 09:18

то есть то что я спрашивал без разницы...

а подскажите есть я напишу так:


и если через LWP передам несколько миллионов параметров без значения, то скрипт на perl такой сделает хэш в соответсвенно в порядок 100 000 000 ключей? или нет, это безопасно?

Это сообщение отредактировал(а) gcc - 21.9.2009, 06:01

есть вопрос, наверное не понял 


есть переменная $in которая может быть 0, 1 и не нашлась в базе!

как проверить физическое значение? если есть эти 3 типа!!

$in = $c->model('DBI')->dbh->selectrow_array($m);

как проверить что она пустая, если в базе не нашлась?

if ($in == 0)
if ($in == 1)


====
проверить что пустая не получается:

if ($i == undef) 
if ( defined $i)
оно равняется единицпе или нулю, одновременно!!


как тут проверить что в базе не нашлась?


Это сообщение отредактировал(а) gcc - 15.11.2009, 05:40

Вроде, все просто, или я не понял вопрос?

amg, спасибо, я хотел просто сделать максимально красиво и запутался на этом....