True = 1 - третье состояние Boolean

[Andrey Fedorov]

Интересный глюк - столкнулся впервые - оказывается переменная типа Boolean может иметь значение True = 1:

На форме ToolBar, у него есть кнопка с ButtonMenu, в событии ButtonMenuClick прописано:

Код: Выделить всё

If Not ButtonMenu.Visible Then Exit Sub

При видимой кнопке и ButtonMenu.Visible = True выполняется Exit Sub.
В отладчике ButtonMenu.Visible показывается как Boolean со значением True.

Заинтересовало - пробую:

Код: Выделить всё

Dim b As Boolean
d = ButtonMenu.Visible
If Not b Then Exit Sub

b присваивается True и опять Exit Sub.

Далее:

Код: Выделить всё

Debug.Print CLng(ButtonMenu.Visible)
Debug.Print CLng(CBool(ButtonMenu.Visible))
b = CBool(ButtonMenu.Visible)
Debug.Print CLng(b)

Во всех случаях имеем 1. Хотя

Код: Выделить всё

b = 1
Debug.Print CLng(b)
b = CBool(1)
Debug.Print CLng(b)

Дает как и положено -1...
----------
В общем выходит что ButtonMenu.Visible возвращает значение True = 1 типа Boolean, которое умудряется успешно пройти через CBool и присвоиться переменной типа Boolean...

[kibernetics]

я где-то читал про это.
особенность бейсика

[Andrey Fedorov]

я где-то читал про это.
особенность бейсика

Я такого нигде не встречал.

Переменная Boolean по определению может иметь лишь 2-а значения True (-1) и False (0). Однако ButtonMenu.Visible возвращет еще одно значение типа Boolean - True (1). Причем это значение спокойно присваивается и обычной переменой Boolean...

[13GHOST]

я всегда считал, что false - это ноль, а все остальное - true

[Andrey Fedorov]

я всегда считал, что false - это ноль, а все остальное - true

Да, но Boolean переменная по определению должна хранить лишь два значения True(-1) и False(0), как и функция CBool() должна приводить именно к этим значениям. Иначе становятся невозможны булевы операции. Из-за чего я и наткнулся на данный баг:

Код: Выделить всё

If Not b Then ...

Данное условие срабатывало при b = True ...

P.S Вчитывайтесь внимательней...

[Хакер]

1. Andrey Fedorov

Интересный глюк - столкнулся впервые - оказывается переменная типа Boolean может иметь значение True = 1:

Переменная типа Boolead может иметь все те же значения, что и переменная типа Byte (убедиться в этом можно хотя бы с помощью PutMem1). Это в техническом плане.

Чтобы не было хаоса, VB компилирует код так, что все присвоения вида
[As Boolean] = [НЕ As Boolean]
проходят через абсолютизацию, т.е. правый операнд превращается либо в 0, либо в 255UB (т.е. -1 Singed Byte (True)).

Так, VB считает, что в Boolean-переменной гарантировано содержится либо 0, либо -1. Потому как другое значение туда попасть не может (вспомните о проверке и абсолютизации).

Поэтому, при присвоении вида
[As Boolean] = [As Boolean] происходит простое копирование значения, без проведения каких либо проверок. Это из соображений здравого смысла и оптимизации.

В данном случае мы имеем, что одна из сторон (гадкий тулбар) нарушает соглашение о чистоте Boolean-переменных, и в локальную Boolean-переменную просачивается гадость.

В общем выходит что ButtonMenu.Visible возвращает значение True = 1 типа Boolean, которое умудряется успешно пройти через CBool и присвоиться переменной типа Boolean...

По поводу успешности прохода через CBool.
CBool это не функция, а синтаксическая структура, подобная (BOOL) в сях. Компилятор VB (опять же, из соображений здравого смысла) убирает все конструкции вида:
[As Boolean] = CBool([As Boolean]) заменяя их на простое присвоение.

kibernetics

я где-то читал про это.
особенность бейсика

Фигню пишут. Это не особенность бейсика, это _обычность_ всех языков программирования, которые не делают ежесекундной проверки валидности переменных.

2. Andrey Fedorov

Переменная Boolean по определению может иметь лишь 2-а значения True (-1) и False (0). Однако ButtonMenu.Visible возвращет еще одно значение типа Boolean - True (1). Причем это значение спокойно присваивается и обычной переменой Boolean...

См. выше по поводу спокнойности присвоения.

13GHOST
Нет.
False это 0 (00000000), а True это Not False, т.е. -1 (11111111).

3. Andrey Fedorov

Да, но Boolean переменная по определению должна хранить лишь два значения True(-1) и False(0), как и функция CBool() должна приводить именно к этим значениям. Иначе становятся невозможны булевы операции. Из-за чего я и наткнулся на данный баг:

CBool - это не функция, поэтому она ничего не должна приводить. Как и CInt и CStr. А вот Int и Str, обратно, - функции.

[Andrey Fedorov]

От. Теперь объяснение внятное. Спасибо

[Debugger]

Хакер, а я почему-то думал если передать ф-ции CBool любой параметр кроме нолика (123 например), то и CInt(True) должен возвратить то, что ему захочется.

[Andrey Fedorov]

Хакер, а я почему-то думал если передать ф-ции CBool любой параметр кроме нолика (123 например), то и CInt(True) должен возвратить то, что ему захочется.

Точнее если параметром CBool является переменная типа Boolean содержащая какое угодно значение - тогда приведение к типу Boolean не производится. А ButtonMenu.Visible как раз и возвращает значение типа Boolean отличное от стандартного True.

Так что Хакер все правильно описал...

[Хакер]

Debugger
CBool - это не функция. Это синтаксическая конструкция.

Чтобы понять, можно посмотреть на аналогию в Си.

Код: Выделить всё

// Int:
a = atoi(b);

// CInt:
a = (int)b;


CТип умирает на этапе компиляции. Компилятор сам решает, что делать в каждом конкретном случае. Выражение с CТип может превратиться в вызов какой-либо rtc-функции, присваивание, тримминг и т.д.

[Twister]

Хакер

False это 0 (00000000), а True это Not False, т.е. -1 (11111111).

Ой!? Может - FFFFFFFFh?

[Хакер]

Вообще-то нет. Boolean - он же байт а не дворд.

[Twister]

Ну ты привел пример DWORD'a нулевого и DWORD'a минусового, последний неверный.

Значение False == FFh

[Хакер]

Там не хекс же, там 11111111b

[Денис]

Twister
-1(11111111) это FFh


..а вообще, меня всегда восхищало то, как легко переводится 16-ная система в 2-чную и обратно... Ах ну почему у людей 10 пальцев на руках, а не 16

1B2 - сто бэдцать два
D24A - дэ тысяч двести сорок а
FFFF - эф тысяч эфсот эфдесят эфть

[Twister]

Ну, мне не пришла мысль о двоичной системе счисления...

[uhm]

Почти офф-топик:

Boolean variables are stored as 16-bit (2-byte) numbers, but they can only be True or False.

Это из хелпа к VBA Office-2007.

[Хакер]

Как раз не почти. Моя ошибка.

Действительно 2 байта. Я даже могу сказать почему два, а не один. Дело в том что push-иться и pop-ится могут только ворды и дворды, но не байты.

[Ruslan Demidow]

Возьмите к примеру чекбокс - у него тоже может быть три значения (хотя свойство Enable у него тоже типа Boolean).
Первое - установлен;
Второе - не установлен;
Третье - неопределённое состояние (когда галка затемнена и находится в неопределённом состоянии).

[Хакер]

И к чему это было?

[Antonariy]

К тому, что многие до сих пор не понимают, что между формой и содержанием может быть ...дцать трамвайных остановок.

[Хакер]

А мне кажется, некоторые просто не понимают сути топика. Нет никакого третьего состояния. У Boolean 65536 состояний. Из них валидны и доступны только два.

[Ruslan Demidow]

А мне кажется, некоторые просто не понимают сути топика. Нет никакого третьего состояния. У Boolean 65536 состояний. Из них валидны и доступны только два.

Да ну что ты!
Как быть с чекбоксом который отмечен, но затенён? У него в тот момент какое из двух, указанных тобой, состояние?

[Хакер]

MsgBox TypeName(Check1.Value)

А потом скажешь, причём тут Boolean. Точнее, причём тут твой Integer-ный Check1.Value.

[Ruslan Demidow]

MsgBox TypeName(Check1.Value)

А потом скажешь, причём тут Boolean. Точнее, причём тут твой Integer-ный Check1.Value.

А как ты проверяешь его состояние?
If Value then...
или if Value = 1 [0,2]?

[Хакер]

Сравнивая с константами энума CheckBoxConstants.

Ты скажи, скажи, какое отношение имет integer-ное свойство к обсуждаемой теме?