17.11.2020, 16:40
Ну, это лечится #pragma pack
Так-то паддинги надо учитывать.
А ещё лучше кодить сразу на asm (65816 достаточно хорош).
А ещё лучше кодить сразу на asm (65816 достаточно хорош).
Да, и ещё по-руске
ну можно паковать по 8 булов в 1-байтный инт битмаской, и все будет хорошо
struct bit field тебе в помощь.
а если компания чуть постарше, то arj
Гиг туда, гиг сюда...
самое весёлое начинается когда внутри bool оказывается не 0, не 1 и даже не 0хFF, а какое нибудь скажем 2 или 111
особенно на выкрученной в максимум оптимизации -O3
и у тебя пара сотен тыщь строк кода которые расчёты и проверки по этим булам делают
порой не срабатывают никогда условия вида if (x or (not x)) - это после того как всё внутри ифа вычислено и сокращено по результатам кроме х.
... удачной отладки!
особенно на выкрученной в максимум оптимизации -O3
и у тебя пара сотен тыщь строк кода которые расчёты и проверки по этим булам делают
порой не срабатывают никогда условия вида if (x or (not x)) - это после того как всё внутри ифа вычислено и сокращено по результатам кроме х.
... удачной отладки!
вводите давайте уже в своих сях и плюсах ===
Нет, речь именно про взрыво опасную смесь була, мусора в нём значение которого не тру и не фалз и влияния сильной оптимизации. Тогда бажить может и на си и на плюсах и на джаве и в решотке.
Когда работу с булом оптимизатор строит на битовых машинных операциях подразумевая, напримерю что там только младший бит значимый а остальные биты ВСЕГДА равны нулю.
Другой пример: if ( a xor x ) и х=2 подразумевая что true = 1 компилятор при оптимизации заменяет логический ксор на бинарный и не важно какое значение у переменной a в вырожении у а меняется только младший бит а у х установлен второй бит и поэтому - условие срабатывает всегда
Когда работу с булом оптимизатор строит на битовых машинных операциях подразумевая, напримерю что там только младший бит значимый а остальные биты ВСЕГДА равны нулю.
Другой пример: if ( a xor x ) и х=2 подразумевая что true = 1 компилятор при оптимизации заменяет логический ксор на бинарный и не важно какое значение у переменной a в вырожении у а меняется только младший бит а у х установлен второй бит и поэтому - условие срабатывает всегда
ну конкретно сейчас он упомянул, если я правильно помню, не boolean а Boolean.
Четырёхбайтные булы в винапи бывают (typedef int BOOL). В нативном сишарпе бул - 1 байт + выравнивание.
https://docs.microsoft.com/en-us/windows/win32/winprog/windows-data-types
https://docs.microsoft.com/en-us/windows/win32/winprog/windows-data-types
Ничего себе, похоже ты прав. На https://sharplab.io следующий код:
bool a, b;
a = true;
b = true;
Console.WriteLine(b);
компилируется в:
mov dword ptr [ebp-4], 1
mov dword ptr [ebp-8], 1
mov ecx, [ebp-8]
call System.Console.WriteLine(Boolean)
Учитывая что копируются значения в dword и ecx, в операциях используются 4х байтные регистры и переменные. Наверно это диктовалось производительностью. А локальных переменных всё равно никто не будет 10000 bool делать.
bool a, b;
a = true;
b = true;
Console.WriteLine(b);
компилируется в:
mov dword ptr [ebp-4], 1
mov dword ptr [ebp-8], 1
mov ecx, [ebp-8]
call System.Console.WriteLine(Boolean)
Учитывая что копируются значения в dword и ecx, в операциях используются 4х байтные регистры и переменные. Наверно это диктовалось производительностью. А локальных переменных всё равно никто не будет 10000 bool делать.
больше. ещё же нужно где-то хранить, что это булева переменная, а не какая-то другая.
С чего вдруг нул может принимать?
При написании прог для всяких PIC-ов (чистый С), где каждый байт на счету использую структуры типа:
typedef union
{
struct
{
unsigned f_1MS:1; // Флаг таймаута 1 мс
unsigned f_10MS:1; // Флаг таймаута 10 мс
unsigned f_100MS:1; // Флаг таймаута 100 мс
unsigned f_USART_Timeout:1; // Флаг таймаута USART
unsigned f_AD_Cplt:1; // Флаг завершения цикла измерений АЦП
unsigned f_USART_PacketRcvd:1; // Флаг завершения приема пакета USART
unsigned f_KeyPressed:1; // Флаг нажатия кнопки
unsigned f_KeyReleased:1; // Флаг отпускания кнопки
} Bit;
unsigned char Byte;
} FLAGS_STRUCT;
extern FLAGS_STRUCT Flags;
обращаться потом к ним:
Flags.Bit.xxx = 0;
или ко всей пачке (при инициализации, например):
Flags.Byte = 0;
typedef union
{
struct
{
unsigned f_1MS:1; // Флаг таймаута 1 мс
unsigned f_10MS:1; // Флаг таймаута 10 мс
unsigned f_100MS:1; // Флаг таймаута 100 мс
unsigned f_USART_Timeout:1; // Флаг таймаута USART
unsigned f_AD_Cplt:1; // Флаг завершения цикла измерений АЦП
unsigned f_USART_PacketRcvd:1; // Флаг завершения приема пакета USART
unsigned f_KeyPressed:1; // Флаг нажатия кнопки
unsigned f_KeyReleased:1; // Флаг отпускания кнопки
} Bit;
unsigned char Byte;
} FLAGS_STRUCT;
extern FLAGS_STRUCT Flags;
обращаться потом к ним:
Flags.Bit.xxx = 0;
или ко всей пачке (при инициализации, например):
Flags.Byte = 0;
Чтобы написать коммент, необходимо залогиниться
