Бессмысленное (?) сравнение

@Igor3D · Регистрация: 01.10.2012

Author24 — интернет-сервис помощи студентам

Разбирая чужой код увидел такое

C++

1
2
3

// ???
if (!(a <= 0) && !(a >= 0))
  printf("oba-na!");

Возможно ли задать такое "a" чтобы печаталось oba-na? (перекрытых операторов нет). Или программист просто ошибся?

@sovaz1997 · 13.01.2013, 12:36

Можно упростить это выражение:

C++

1	if (a > 0 && a < 0)

'a' в любом случае не может быть и больше, и меньше 0. -> нельзя задать такое 'a'

Байт · 13.01.2013, 12:38

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

Возможно ли задать такое "a" чтобы печаталось oba-na?

Код эквивалентен

C

1	if (a > 0 && a < 0) printf("oba-na!");

@Igor3D · 13.01.2013, 12:48 **[ТС]**

Сообщение от Байт

Код эквивалентен

C

1	if (a > 0 && a < 0) printf("oba-na!");

Наверное >=. Все равно не эквивалентен (да-да, правило де Моргана работает не всегда)

А экспертов прошу сохранять спокойствие

Croessmah · 13.01.2013, 12:52

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

Наверное >=. Все равно не эквивалентен (да-да, правило де Моргана работает не всегда)

Ну так разберите выражение и посмотрите, эквивалент или нет.

@sovaz1997 · 13.01.2013, 12:52

Но тут и так ясно, что эквиалентен. > и <= - обратные действия)

ValeryS · 13.01.2013, 12:54

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

Наверное >=.

нет не наверное
отрицание a <= 0

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

!(a <= 0)

даст a > 0
смотрим a=-1
a <= 0 истина
!(a <= 0) ложь

a=0
a <= 0 истина
!(a <= 0) ложь

a=0
a >= 0 истина
a > 0 ложь

@sovaz1997 · 13.01.2013, 12:57

Думаем логически. Есть ли такое число, которое одновременно больше 0 и меньше 0? Конечно, нет

Если бы было число, которое являлось бы и отрицательным, и положительным, тогда бы oba-na. 0 таким не является

ValeryS · 13.01.2013, 12:58

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

да-да, правило де Моргана работает не всегда

серьезно

покажи исключение

Jupiter · 13.01.2013, 13:04

Is !(a < b) logically the same as a >= b?

@Igor3D · 13.01.2013, 13:20 **[ТС]**

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

Is !(a < b) logically the same as a >= b?

А было так интересно наблюдать как человек уверен что "этого точно не может быть!". Вы все испортили

@sovaz1997 · 13.01.2013, 13:22

А я все еще уверен, что этого не может быть. Дай пример чисел

@Igor3D · 13.01.2013, 13:30 **[ТС]**

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

А я все еще уверен, что этого не может быть. Дай пример чисел

А до тыкалок все плохо доходит

C++

1
2
3

double a = sqrt(-1.0);
if (!(a <= 0) && !(a >= 0))
  printf("oba-na!");

@sovaz1997 · 13.01.2013, 13:38

sqrt(отрицательное_число) - не число. Может только для таких ситуаций эта ф-ия создана

@v.a.l.i.d · 13.01.2013, 13:42

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

Может только для таких ситуаций эта ф-ия создана

Мне кажется что таким способом можно делать разные проверки.

Добавлено через 36 секунд
Как в случае

C++

1	double a = sqrt(-1.0);

@Kastaneda · 13.01.2013, 13:45

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

Может только для таких ситуаций эта ф-ия создана

Для таких ситуаций можно сделать проще

C++

1	if (a != a) printf("a != a");

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

@sovaz1997 · 13.01.2013, 13:46

Корень из отрицательного числа: читать

Croessmah · 13.01.2013, 13:47

C++

#include <iostream>
#include <memory.h>
int main( void ) {
    float f=12;
    memset(&f,0xFF,sizeof(f));
    std::cout<<f<<std::endl;
    std::cout<<(f>=0?"true":"false")<<std::endl;
    std::cout<<(!(f<0)?"true":"false")<<std::endl;
}

Название: Безымянный.jpg
Просмотров: 32

Размер: 7.5 Кб

На msdn есть еще статейка маленькая: Not a Number (NAN) Items

Croessmah · 13.01.2013, 13:57

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

Возможно ли задать такое "a" чтобы печаталось oba-na?

Если a=NaN, то будет напечатано!!!

@Igor3D · 13.01.2013, 14:19 **[ТС]**

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

Для таких ситуаций можно сделать проще

C++

1	if (a != a) printf("a != a");

А Вы уверены что любой компилятор/оптимизация это не выкинет?

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

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

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

@Igor3D 1824 / 732 / 99 Регистрация: 01.10.2012 Сообщений: 3,744
	13.01.2013, 13:20 [ТС]	11
	Сообщение от Jupiter Is !(a < b) logically the same as a >= b? А было так интересно наблюдать как человек уверен что "этого точно не может быть!". Вы все испортили 0

@sovaz1997 CEO SOVAZ Corp. 386 / 232 / 51 Регистрация: 17.12.2011 Сообщений: 822 Записей в блоге: 1
	13.01.2013, 13:46	17
	Корень из отрицательного числа: читать 0

Croessmah Неэпический 17870 / 10635 / 2054 Регистрация: 27.09.2012 Сообщений: 26,737 Записей в блоге: 1
	13.01.2013, 12:52	5
	Сообщение от Igor3D Наверное >=. Все равно не эквивалентен (да-да, правило де Моргана работает не всегда) Ну так разберите выражение и посмотрите, эквивалент или нет. 0

ValeryS Модератор 8908 / 6677 / 918 Регистрация: 14.02.2011 Сообщений: 23,521
	13.01.2013, 12:54	7
	Сообщение от Igor3D Наверное >=. нет не наверное отрицание a <= 0 Сообщение от Igor3D !(a <= 0) даст a > 0 смотрим a=-1 a <= 0 истина !(a <= 0) ложь a=0 a <= 0 истина !(a <= 0) ложь a=0 a >= 0 истина a > 0 ложь 1

@sovaz1997 CEO SOVAZ Corp. 386 / 232 / 51 Регистрация: 17.12.2011 Сообщений: 822 Записей в блоге: 1
	13.01.2013, 12:57	8
	Думаем логически. Есть ли такое число, которое одновременно больше 0 и меньше 0? Конечно, нет Если бы было число, которое являлось бы и отрицательным, и положительным, тогда бы oba-na. 0 таким не является 0

ValeryS Модератор 8908 / 6677 / 918 Регистрация: 14.02.2011 Сообщений: 23,521
	13.01.2013, 12:58	9
	Сообщение от Igor3D да-да, правило де Моргана работает не всегда серьезно покажи исключение 1

Jupiter Каратель 6609 / 4028 / 401 Регистрация: 26.03.2010 Сообщений: 9,273 Записей в блоге: 1
	13.01.2013, 13:04	10
	Is !(a < b) logically the same as a >= b? 2

@sovaz1997 CEO SOVAZ Corp. 386 / 232 / 51 Регистрация: 17.12.2011 Сообщений: 822 Записей в блоге: 1
	13.01.2013, 13:22	12
	А я все еще уверен, что этого не может быть. Дай пример чисел 0

@sovaz1997 CEO SOVAZ Corp. 386 / 232 / 51 Регистрация: 17.12.2011 Сообщений: 822 Записей в блоге: 1
	13.01.2013, 13:38	14
	sqrt(отрицательное_число) - не число. Может только для таких ситуаций эта ф-ия создана 0

Croessmah Неэпический 17870 / 10635 / 2054 Регистрация: 27.09.2012 Сообщений: 26,737 Записей в блоге: 1
	13.01.2013, 13:57	19
	Сообщение от Igor3D Возможно ли задать такое "a" чтобы печаталось oba-na? Если a=NaN, то будет напечатано!!! 1