ReSQL.ru
     
powered by simpleCommunicator - 2.0.61     © 2026 Programmizd 02
Мобильная версия    Контакт    Правила    FAQ    Помощь
Целевая тема:
Создать новую тему:
Автор:
Закрыть
Цитировать
Доб. в избранное | Игнор. тему | Прикреп. тему | Пометить прочит. / непрочит. | Фильтр
Форумы / Delphi [игнор отключен] [закрыт для гостей] / Почему конструкция - if ((a=true) and (b=true) and (c=true)) с тремя and не работает?
17 сообщений из 67, страница 3 из 3
  3  все
Почему конструкция - if ((a=true) and (b=true) and (c=true)) с тремя and не работает?
    #39951509
Polesov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Polesov
Участник
ъъъъъ
А сишников с первого класса учат, что сравнивать с true нельзя

Действительно, при проверке булевой переменной
Код: pascal
1.
2.
  if b then
  if not b then

всегда производится сравнение с $00, в отличие от...

Но если уж очень хочется сравнивать с True, то вместо конструкции
Код: pascal
1.
2.
3.
  if b = True then
  cmp byte ptr [b],$01  // а ведь значение ячейки памяти может быть не 0 и не 1
  jz ...


всегда лучше сравнивать с False
Код: pascal
1.
2.
3.
  if b <> False
  cmp byte ptr [b],$00  // в этом варианте сравнивается с нулем
  jnz ...


Впрочем, все же лучше выявить причину, почему в булевой переменной не 0 и не 1.
...
Рейтинг: 0 / 0
25.04.2020, 22:25
| Ответить | Цитировать | Написать  
Почему конструкция - if ((a=true) and (b=true) and (c=true)) с тремя and не работает?
    #39951510
Polesov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Polesov
Участник
Sergi
Да, всё дело оказалось в булевских переменных.

Причина оказалось в том, что в какой-то булевой переменной содержится не 0 и не 1?
Тогда замена boolean на integer - по сути, шило на мыло.
Лучше найти причину, почему значение булевой переменной не 0 и не 1.
...
Рейтинг: 0 / 0
25.04.2020, 22:29
| Ответить | Цитировать | Написать  
Почему конструкция - if ((a=true) and (b=true) and (c=true)) с тремя and не работает?
    #39951511
rgreat
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
rgreat
Участник
Polesov
Лучше найти причину, почему значение булевой переменной не 0 и не 1.
95% за то что он их тупо не инициализирует.
...
Рейтинг: 0 / 0
25.04.2020, 22:31
| Ответить | Цитировать | Написать  
Почему конструкция - if ((a=true) and (b=true) and (c=true)) с тремя and не работает?
    #39951524
Polesov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Polesov
Участник
rgreat
Polesov
Лучше найти причину, почему значение булевой переменной не 0 и не 1.
95% за то что он их тупо не инициализирует.

Вроде бы речь шла о глобальных переменных, а они инициализируются.

Гораздо хуже, если где-нибудь ошибочное явное приведение типа.
В этом случае даже переименование переменных может не помочь.
...
Рейтинг: 0 / 0
25.04.2020, 23:01
| Ответить | Цитировать | Написать  
Почему конструкция - if ((a=true) and (b=true) and (c=true)) с тремя and не работает?
    #39951525
rgreat
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
rgreat
Участник
Polesov
Вроде бы речь шла о глобальных переменных, а они инициализируются.

Как мы недавно обнаружили в старых версиях дельфи - не всегда.
...
Рейтинг: 0 / 0
25.04.2020, 23:08
| Ответить | Цитировать | Написать  
Почему конструкция - if ((a=true) and (b=true) and (c=true)) с тремя and не работает?
    #39951532
ВсеРазумный
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
ВсеРазумный
Гость
DarkMaster
Классы + глобали под запретом уже? Это с какого перепугу-то?


С того момента, когда начинают глобальные переменные не по назначению использовать. Вся логика кладётся на какие - то глобальные переменные, а не переменные - созданного экземпляра класса. Что нарушает логику и создаёт дыры в программе.

Зачем тогда вообще использовать в таком случае, объектно-ориентированное программирование

[quot Polesov#22122849]всегда производится сравнение с $00, в отличие от...[/src]

Да какая разница что с чем сравнивается ? Я уже давно написал, что можно сравнивать с чем угодно.

Но это похоже на баг в компиляторе , ибо тут в любом случае должна быть проверка посредством команды в случае true = (test с je) \ false = (test и jne)
...
Рейтинг: 0 / 0
26.04.2020, 00:25
| Ответить | Цитировать | Написать  
Почему конструкция - if ((a=true) and (b=true) and (c=true)) с тремя and не работает?
    #39951535
ВсеРазумный
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
ВсеРазумный
Гость
https://en.wikipedia.org/wiki/TEST_(x86_instruction)
...
Рейтинг: 0 / 0
26.04.2020, 00:43
| Ответить | Цитировать | Написать  
Почему конструкция - if ((a=true) and (b=true) and (c=true)) с тремя and не работает?
    #39951540
Polesov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Polesov
Участник
rgreat
Как мы недавно обнаружили в старых версиях дельфи - не всегда.

22110796
Это обсуждение?
...
Рейтинг: 0 / 0
26.04.2020, 01:05
| Ответить | Цитировать | Написать  
Почему конструкция - if ((a=true) and (b=true) and (c=true)) с тремя and не работает?
    #39951542
Polesov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Polesov
Участник
ВсеРазумный
Но это похоже на баг в компиляторе
Почему такой вывод?

ВсеРазумныйв любом случае должна быть проверка посредством команды в случае true = (test с je) \ false = (test и jne)
Согласен с тем, что test оптимальнее cmp, но логика от этого не меняется.
Или что?
...
Рейтинг: 0 / 0
26.04.2020, 01:13
| Ответить | Цитировать | Написать  
Почему конструкция - if ((a=true) and (b=true) and (c=true)) с тремя and не работает?
    #39951545
ВсеРазумный
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
ВсеРазумный
Гость
Polesov,

Ещё как вариант, лень программистов. Boolean не может иметь не 1 и не 0. По этому всегда компиляторы генерят test X, X

А тут Delphi программисты решили схитрить, и приравнять к байту. А возможно и баг.
...
Рейтинг: 0 / 0
26.04.2020, 01:20
| Ответить | Цитировать | Написать  
Почему конструкция - if ((a=true) and (b=true) and (c=true)) с тремя and не работает?
    #39951546
ВсеРазумный
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
ВсеРазумный
Гость
У кого есть лазарус, могут проверить как там с этим делом обстоит?
...
Рейтинг: 0 / 0
26.04.2020, 01:20
| Ответить | Цитировать | Написать  
Почему конструкция - if ((a=true) and (b=true) and (c=true)) с тремя and не работает?
    #39951550
rgreat
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
rgreat
Участник
Polesov
rgreat
Как мы недавно обнаружили в старых версиях дельфи - не всегда.

22110796
Это обсуждение?
Ага.
...
Рейтинг: 0 / 0
26.04.2020, 01:26
| Ответить | Цитировать | Написать  
Почему конструкция - if ((a=true) and (b=true) and (c=true)) с тремя and не работает?
    #39951551
ъъъъъ
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
ъъъъъ
Гость
ВсеРазумный
...
С того момента, когда начинают глобальные переменные не по назначению использовать. Вся логика кладётся на какие - то глобальные переменные, а не переменные - созданного экземпляра класса. Что нарушает логику и создаёт дыры в программе.

Зачем тогда вообще использовать в таком случае, объектно-ориентированное программирование

...

Памас, ты?
...
Рейтинг: 0 / 0
26.04.2020, 01:27
| Ответить | Цитировать | Написать  
Почему конструкция - if ((a=true) and (b=true) and (c=true)) с тремя and не работает?
    #39951552
Polesov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Polesov
Участник
ВсеРазумный
Polesov,

Ещё как вариант, лень программистов

Скорее уж, формальный подход.
Проверяем логическое значение - сравниваем с нулем (через test или cmp - не суть)
Сравниваем с True или False - сравниваем с 1 или 0 соответственно.
Как по мне, так это правильно.
...
Рейтинг: 0 / 0
26.04.2020, 01:31
| Ответить | Цитировать | Написать  
Почему конструкция - if ((a=true) and (b=true) and (c=true)) с тремя and не работает?
    #39951555
Polesov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Polesov
Участник
rgreat
Polesov
пропущено...

22110796
Это обсуждение?
Ага.

На мой взгляд, переменные, объявленные в теле dpr - особый вид глобальных переменных.
Можно их, конечно, передать куда-либо по указателю, но какова целесообразность этого?
Впрочем, на практике может быть все, что угодно )
...
Рейтинг: 0 / 0
26.04.2020, 01:36
| Ответить | Цитировать | Написать  
Почему конструкция - if ((a=true) and (b=true) and (c=true)) с тремя and не работает?
    #39951560
ВсеРазумный
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
ВсеРазумный
Гость
Polesov,

Ну как сказать, 36 строк генерирует данный код

Код: pascal
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
var
  g, v, c: Boolean;

function Test(num, x, j: Boolean): Integer; cdecl;
begin
  g := num = j;
  v := j and x;

  if v then
    c := g
  else
    c := ((v and g) or (x and not g)) and j;

  if c then
    Result := 10
  else
    Result := 30;
end;



 

Код: sql
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
23.
24.
25.
26.
27.
28.
29.
30.
31.
32.
33.
34.
35.
36.
37.
38.
39.
40.
41.
42.
43.
44.
45.
46.
47.
48.
49.
50.
51.
52.
53.
54.
55.
.13: begin
push ebp
mov ebp,esp
mov eax,[ebp+$10]
mov edx,[ebp+$0c]

.14: g := num = j;
cmp al,[ebp+$08]
setz byte ptr [$004258dc]

.15: v := j and x;
mov ecx,eax
and cl,dl
mov [$004258dd],cl

.17: if v then
cmp byte ptr [$004258dd],$00
jz $0041b278

.18: c := g
movzx eax,[$004258dc]
mov [$004258de],al
jmp $0041b2a3

.20: c := ((v and g) or (x and not g)) and j;
movzx ecx,[$004258dd]
and cl,[$004258dc]
jnz $0041b294
test dl,dl
jz $0041b298
cmp byte ptr [$004258dc],$00
jnz $0041b298
test al,al
jnz $0041b29c
xor eax,eax
jmp $0041b29e
mov al,$01
mov [$004258de],al

.22: if c then
cmp byte ptr [$004258de],$00
jz $0041b2b3

.23: Result := 10
mov eax,$0000000a
pop ebp
ret 

.25: Result := 30;
mov eax,$0000001e

.26: end;
pop ebp
ret 
mov eax,eax



Без комментариев
 
Код: sql
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
23.
24.
25.
26.
27.
28.
29.
30.
31.
32.
33.
34.
35.
36.
push ebp
mov ebp,esp
mov eax,[ebp+$10]
mov edx,[ebp+$0c]
cmp al,[ebp+$08]
setz byte ptr [$004258dc]
mov ecx,eax
and cl,dl
mov [$004258dd],cl
cmp byte ptr [$004258dd],$00
jz $0041b278
movzx eax,[$004258dc]
mov [$004258de],al
jmp $0041b2a3
movzx ecx,[$004258dd]
and cl,[$004258dc]
jnz $0041b294
test dl,dl
jz $0041b298
cmp byte ptr [$004258dc],$00
jnz $0041b298
test al,al
jnz $0041b29c
xor eax,eax
jmp $0041b29e
mov al,$01
mov [$004258de],al
cmp byte ptr [$004258de],$00
jz $0041b2b3
mov eax,$0000000a
pop ebp
ret
mov eax,$0000001e
pop ebp
ret 
mov eax,eax



Аналогичный код на Сях под клангом 10
Код: plaintext
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
bool g, v, c;

int Test(bool num, bool x, bool j) {
  g = num == j;
  v = g && x;
  if(v) {
    c = g;
  } else 
    c = ((v and g) or (x and ! g)) and j;

  return c ? 10 : 30;
}



23 строчки

 
Код: sql
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
23.
	push    esi
	mov     cl, byte ptr [esp + 16]
	mov     dl, byte ptr [esp + 8]
	mov     al, byte ptr [esp + 12]
	xor     dl, cl
	mov     ah, dl
	xor     ah, 1
	mov     byte ptr [g], ah
	movzx   esi, ah
	and     ah, al
	and     al, cl
	and     al, dl
	test    ah, ah
	mov     byte ptr [v], ah
	mov     edx, 30
	movzx   ecx, al
	mov     eax, 10
	cmovne  ecx, esi
	test    cl, cl
	mov     byte ptr [c], cl
	cmove   eax, edx
	pop     esi
	ret




Ну видно Delphi что - то известнее.
...
Рейтинг: 0 / 0
26.04.2020, 02:10
| Ответить | Цитировать | Написать  
Почему конструкция - if ((a=true) and (b=true) and (c=true)) с тремя and не работает?
    #39951563
ВсеРазумный
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
ВсеРазумный
Гость
Лазарус вообще компилирует испанский стыд, на агрессивной оптимизации. Delphi не такой уж и плохой компилятор как я думал
...
Рейтинг: 0 / 0
26.04.2020, 03:28
| Ответить | Цитировать | Написать  
17 сообщений из 67, страница 3 из 3
  3  все
Форумы / Delphi [игнор отключен] [закрыт для гостей] / Почему конструкция - if ((a=true) and (b=true) and (c=true)) с тремя and не работает?
Найденые пользователи ...
Разблокировать пользователей ...
Читали тему (0):
Читали форум (0):
Пользователи онлайн (0):
Польз. соглашение   Полит. конфиден.  
NoSQL.ru       Кролег: Проекты, Новости, Чат       РЕД ФОРУМ       Фотоальбом: Участники, Встречи
Закрыть
start [/forum/topic.php?fid=58&msg=39951535&tid=2038382]:
 0ms
get settings:
 11ms
get forum list:
 13ms
check forum access:
 3ms
check topic access:
 3ms
track hit:
 39ms
get topic data:
 8ms
get forum data:
 2ms
get page messages:
 36ms
get tp. blocked users:
 1ms
others: 275ms
total:  391ms
созд. / загр.: 391ms
x
x
Закрыть


Просмотр
0 / 0
Close
Debug Console [Select Text]