https://www.opennet.ru/openforum/vsluhforumID9/7652.html Приветствую,<br><br>в С есть два понятия - "integral promotion" и "arithmetic conversion". Никак не могу окончательно разобраться. Вот пример:<br><br>char a = 9;<br>unsigned b = 4;<br>a = b + a;<br><br>Как я понимаю, 'a' будет преобразован к int? Но ведь это не означает, что компилятор под 'a' выделит 4 байта вместо одного (если рассматривать систему с int=32бита)? Т.е. компилятор задействует какое-то внутреннее представление для сконвертированного типа?<br><br>Спасибо за пояснения.<br> https://www.opennet.ru/openforum/vsluhforumID9/7652.html#6 Mon, 20 Oct 2008 12:36:58 GMT &gt;&gt;Компилятор на char все равно выделит int или даже больше, поскольку выравнивает <br>&gt;<br>&gt;Это определяется стандартом языка или архитектурой платформы? <br>&gt;<br>&gt;&gt;по заданному размеру все переменные. Этот размер регулируется ключами компилятора. Тоесть <br>&gt;&gt;физически под 1 байтовую переменную будет выделено не менее 4 байт, <br>&gt;&gt;3 из которых никто никогда не использует. (На самом деле граница <br>&gt;<br>&gt;тогда по идее и отладчик должен показывать, что под переменную типа char <br>&gt;выделено 32бита.<br><br>Граница выравнивания определяется только установками компилятора. Выставить нужную границу интересно пользователю, и он для оптимизации выставляет ее равной разрядности платформы.<br>Смысл выравнивания заключается в том, чтобы ускорить операции с памятью. 32 битному процессору на чтение 32 битной ячейки памяти нужно меньше тактов, чем на чтение 16 или 8 битной ячейки памяти. Существует таблица ассемблерных команд с временами их выполнения.<br>Для 64 разрядного процессора, соответственно, проще работать с 64 разрядными ячейками.<br><br>Ес https://www.opennet.ru/openforum/vsluhforumID9/7652.html#5 Mon, 20 Oct 2008 00:11:32 GMT Есть ли какое-то rule of thumb использования типов в программах, при передаче аргуменов функций, чтобы, как говорится, голова не болела, как и во что будут преобразовываться типы?<br><br>&gt;[оверквотинг удален]<br>&gt;&gt;unsigned b = 4; <br>&gt;&gt;a = b + a; <br>&gt;<br>&gt;Подразумеваемые приведения к типам будут выглядеть вот как: <br>&gt;<br>&gt;[code] <br>&gt;a = (char) (b + (unsigned)a); <br>&gt;[/code] <br>&gt;<br>&gt;(а ссылки на msdn считаю на этом форуме неуместными :) <br><br>На тех страницах, ссылки на которые были здесь приведены, фактически пересказывается стандарт С - ИМХО в таких рамках msdn допустим :)<br> https://www.opennet.ru/openforum/vsluhforumID9/7652.html#4 Sun, 19 Oct 2008 23:01:58 GMT &gt;char a = 9; <br>&gt;unsigned b = 4; <br>&gt;a = b + a; <br><br>Подразумеваемые приведения к типам будут выглядеть вот как:<br><br>[code]<br>a = (char) (b + (unsigned)a);<br>[/code]<br><br>(а ссылки на msdn считаю на этом форуме неуместными :)<br> https://www.opennet.ru/openforum/vsluhforumID9/7652.html#3 Sat, 18 Oct 2008 06:35:41 GMT &gt;Как я понимаю, 'a' будет преобразован к int?<br><br>В Unsigned Int. При операции между разными типами, меньший по размеру операнд преобразуется в тип большего, знаковое в беззнаковое, если другой операнд беззнаковый.<br><br>&gt; Но ведь это не <br>&gt;означает, что компилятор под 'a' выделит 4 байта вместо одного<br><br>Нет, он сделает ещё одну переменную, внутреннюю типа unsigned. Но никакой памяти не потребуется так как все преобразования будут в регистрах процессора, в тех самых которые будут складываться.<br><br>А вот char = unsigned - это опасная операция, на то и недовольство ))<br><br> https://www.opennet.ru/openforum/vsluhforumID9/7652.html#2 Sat, 18 Oct 2008 04:18:28 GMT Приветствую,<br><br>спасибо за ответ.<br><br>&gt;Компилятор на char все равно выделит int или даже больше, поскольку выравнивает <br><br>Это определяется стандартом языка или архитектурой платформы?<br><br>&gt;по заданному размеру все переменные. Этот размер регулируется ключами компилятора. Тоесть <br>&gt;физически под 1 байтовую переменную будет выделено не менее 4 байт, <br>&gt;3 из которых никто никогда не использует. (На самом деле граница <br><br>тогда по идее и отладчик должен показывать, что под переменную типа char выделено 32бита. Я это проверил в gdb на x86, на объявление<br><br>char j=6;<br><br>(gdb) p j<br>$1 = 6 '\006'<br>(gdb) x/t &j<br>0xbf955af3: 10010101010110110001000000000110<br>(gdb)<br><br>видно что крайние правые 8 бит отображают значение 6.<br><br>&gt;[оверквотинг удален]<br>&gt;или компилятору не так очевидно, как этого хотел неискушенный кодер. Это <br>&gt;тема приведения типов. [1,3] <br>&gt;Приведение типов необходимо для операций над "разнородными" переменными. Чтобы операция выполнилась правильно <br>&gt;компилятор должен привести используемые в операции пе https://www.opennet.ru/openforum/vsluhforumID9/7652.html#1 Fri, 17 Oct 2008 08:32:00 GMT &gt;[оверквотинг удален]<br>&gt;char a = 9; <br>&gt;unsigned b = 4; <br>&gt;a = b + a; <br>&gt;<br>&gt;Как я понимаю, 'a' будет преобразован к int? Но ведь это не <br>&gt;означает, что компилятор под 'a' выделит 4 байта вместо одного (если <br>&gt;рассматривать систему с int=32бита)? Т.е. компилятор задействует какое-то внутреннее представление для <br>&gt;сконвертированного типа? <br>&gt;<br>&gt;Спасибо за пояснения. <br><br>Не претендую на истину...<br>Компилятор на char все равно выделит int или даже больше, поскольку выравнивает по заданному размеру все переменные. Этот размер регулируется ключами компилятора. Тоесть физически под 1 байтовую переменную будет выделено не менее 4 байт, 3 из которых никто никогда не использует. (На самом деле граница выравнивания может быть разной в разных платформах и при разных умолчаниях компилятора о выравнивании. Но чтоб проще было, я назвал границу в 4 байта)<br><br>"Integral promotion" это "внутреннее представление". Исходя из названия, что-то может представляться процессору или компилятору не так очевидно, как этого хотел неиск