Будьте осторожны со сложными условиями

[cerbo]

Неявное преобразование происходит не только из int в boolean, но и наоборот:

    int d= 10;
    boolean t= false;
    ;

    t= d == (5 || 10);  // false    
    t= d == (5 && 10);  // false
    d= t;               // 0

Проблема в том, что компилятор пропускает такое без звука в отличии от, например, C++ или C#. В сложном условии легко что-то не заметить и потом потратить очень много времени на отладку, как это произошло со мной . MSSQL ведет себя так же (про других врать не буду), а т.к. у нас один и тот же логический аппарат используется и во встроеных запросах и в простых расчетах, то может от сюда ноги ростут?

К стати первая строчка могла бы стать элегантной заменой этому:

    t= (d == 5 || d == 10); // true

[oip]

Цитата:

Сообщение от cerbo

Неявное преобразование происходит не только из int в boolean, но и наоборот

Dev Guide.

Цитата:

Automatic conversions
Since the internal representation of booleans is integer, booleans are automatically converted into integers and reals.

[cerbo]

Получается, опять баго-фича

[Sada]

Если говорить про элегантность кода, то достаточно объявить
boolean t;
и она по умолчанию будет false
И не забываем ставить пробелы в нужных местах

[oip]

Цитата:

Сообщение от cerbo

Получается, опять баго-фича

Может я чего не понимаю, но в чем бага?

[DSPIC]

Условия

t= d == (5 || 10); // false

и

t= (d == 5 || d == 10); // true

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

Во избежание получения результата, отличного от ожидаемого, в подобных случаях можно использовать более читабельные конструкции, например:

if (d == 5 || d == 10)
 t = true;

Чуть длинее, за то понятнее.

[cerbo]

if(   (a==10)
   || (a==25)
   || (b != c)
   //  ... еше много похожих на эти строчки
   && (d < a) )
{
// ...
}

Такие штуки я назвал "сложными условиями".

Так вот в рабочем цейтноте можно сделать так:

if(   a== 10
   || (a==  (b != c
   //  ... еше много похожих на эти строчки
   && d < a) )
{
// ...
}

Но компилятор здесь промолчит.

Возьму свои слова обратно- на баго-фичу не тянет. Но про тонкость эту надо помнить.

[cerbo]

Цитата:

Сообщение от DSPIC

Условия

t= d == (5 || 10); // false

и

t= (d == 5 || d == 10); // true

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

Во избежание получения результата, отличного от ожидаемого, в подобных случаях можно использовать более читабельные конструкции, например:

if (d == 5 || d == 10)
 t = true;

Чуть длинее, за то понятнее.

Я думаю красота этого:

t= d == (5 || 10);

перевешивает приимущества неявных преобразований.

И назидательный тон ваш совсем не уместен, эти примеры я сам написал и поэтому хорошо знаю и понимаю что в них написано.

[belugin]

Цитата:

Сообщение от cerbo

Я думаю красота этого:

t= d == (5 || 10);

перевешивает приимущества неявных преобразований.

И назидательный тон ваш совсем не уместен, эти примеры я сам написал и поэтому хорошо знаю и понимаю что в них написано.

определитие семантику || и == которая будет поддерживать это?
Это какая-то PHP-красота

Лучше как в питогне

t = d in [5, 10]

Можно сделать функцию in типа:

boolean in(AnyType _value, container _container)
{
     return conFind(_container, _value) ? true : false;
}

t = in(d, [5, 10]);

А неявное преобразование сделано для проверки непутоты

if (table1.Qty1 ||  table1.Qty2)
{
     ....
}
else
{
   warning("No qty!!!")
}

[plumbum]

Цитата:

Сообщение от cerbo

t= d == (5 || 10); // false
t= d == (5 && 10); // false
d= t; // 0

К стати первая строчка могла бы стать элегантной заменой этому:

    t= (d == 5 || d == 10); // true

Это совсем не одно и тоже:

t= d == (5 || 10); // false
Если учесть преобразования boolean в int, 5 = 0101 а 10 = 1010. Соответственно сложив младшие биты получим 1 - значение в скобках будет true, далее сравниеваем этот 1 (приведенный из true в int) с 10 и получаем конечно же false

во втором варианте происходит сравнение 2-х чисел int - конечно тут будет true, поскольку d == 10.

Важно что выражение в скобках вернет приведенный к boolean результат!
Если бы было так:

int c = 5 | 10;

тогда бы с было равно 15 - результат сразу идет в int.
И в С++ тоже так!

[leva]

Да какая красота и элегантность?

Ну и какому числу должно быть равно булевское значение после преобразования в int? 1? 5? -1? "Элегантно" заглядывать в документацию каждый раз как встретишь (если это там вообще определено)? Надеятся, что в следующей версии компилятора эту "красоту" не испорятят?

Для справки:
1. В С и С++ нет булевского типа. Есть понятие "0 "и "не 0", со всеми вытекающими.
2. В Java такие трюки вообще запрещены. И правильно.

В одном вы правы - надо быть осторожней и НЕ использовать такие финты.

[DSPIC]

Цитата:

Сообщение от cerbo

Я думаю красота этого:

t= d == (5 || 10);

перевешивает приимущества неявных преобразований.

И назидательный тон ваш совсем не уместен, эти примеры я сам написал и поэтому хорошо знаю и понимаю что в них написано.

Простите, больше не повторится.

[cerbo]

Цитата:

Сообщение от belugin

А неявное преобразование сделано для проверки непутоты

if (table1.Qty1 ||  table1.Qty2)
{
     ....
}
else
{
   warning("No qty!!!")
}

А зачем тогда нужно из boolean в int?

[tourist]

Цитата:

Сообщение от cerbo

А зачем тогда нужно из boolean в int?

Например, чтобы присваивать значение выражения типа boolean полю с типом NoYes

[leva]

Цитата:

Сообщение от tourist

Например, чтобы присваивать значение выражения типа boolean полю с типом NoYes

Да. И мне кажется других реальных потребностей нет.

Соответсвенно в аксапте на самом деле true преобразовывается в 1, а false в 0. Поэтому собственно код автора выдавал false, ибо 10 не равно 1.

Лично я всё равно избегаю таких неявных преобразований ибо от лукавого

[cerbo]

Цитата:

Сообщение от leva

Для справки:
1. В С и С++ нет булевского типа. Есть понятие "0 "и "не 0", со всеми вытекающими.

Для справки, в C++ есть тип bool

[oip]

Цитата:

Сообщение от leva

И мне кажется других реальных потребностей нет.

Еще если, например, надо, чтобы из трех условий было выполнено два, то можно делать так:

if (((a>b) + (a>c) + (a>d)) == 2)
{
    ...
}

[leva]

Цитата:

Сообщение от cerbo

Для справки, в C++ есть тип bool

Точно, был не прав. В C++ есть, в C нет.

Цитата:

Сообщение от oip

Еще если, например, надо, чтобы из трех условий было выполнено два, то можно делать так:

Интересно. Хотя конечно поостерёгся бы по тем же причинам.


Кстати нашёл в wiki как boolean реализуется в разных языках.

[belugin]

в принципе, автоконфертация AnyType -> bool полезна - оня является отражением соглашения про то что некоторые значения - null.

bool -> int, я думаю, вредна. Надо просто сделать bool отдельным типом от enum и сделать автоконыертацию строго для NoYes