Арифметические операции в языке Си, типы
По теме из базы знаний
- Концепция автоматизации многопрофильного Холдинга в системе АУБ на платформе 1С
- Работа с 1С через протокол OData
- Если хочется низко-низкоуровневого программирования с битами и байтами
- Новые возможности языка запросов в платформе 8.3.20
- Профессиональное мировоззрение учетного специалиста (ч.1). Наука или не наука?
Ответы
Подписаться на ответы
Инфостарт бот
Сортировка:
Древо развёрнутое
Свернуть все
(1) Компилятор ничего не расчитывает - а переводит программу на машинные команды (например, в exe файл) - и потом уже когда запускаете этот exe файл он выполняется на процессоре. А вот транслятор уже выполняет саму программу без перевода в машинные команды - правда, предварительно для оптимизации транслятор переводит программу в байт - код - но это тоже не машинные команды, а просто более удобное для транслятора представление. Также применяется перевод в обратную польскую запись.
(10) какой транслятор для скомпилированной программы на языке си (именно чистый си указан в заголовке) транслирует и куда?
Про оптимизирующую компиляцию упоминать не стоит?
Если в выражении переменной происходит статический расчет, то оптимизатор ее сразу же вычислит и подставит результат. Тоже самое и с конкатенацией строк.
Допускаю, что существуют компиляторы без оптимизаций, или ее возможно отключить. Но в большинстве случае именно так и происходит.
Про оптимизирующую компиляцию упоминать не стоит?
Если в выражении переменной происходит статический расчет, то оптимизатор ее сразу же вычислит и подставит результат. Тоже самое и с конкатенацией строк.
Допускаю, что существуют компиляторы без оптимизаций, или ее возможно отключить. Но в большинстве случае именно так и происходит.
(13)
Вот как это понимать? И причем тут транслятор?
Я писал о том, что транслятор может и не вычислить выражение, а компилятор вычислит сразу же и подставит 3 - т.к. в выражении нет ссылок на переменные - одни числа.
Компилятор ничего не расчитывает - а переводит программу на машинные команды (например, в exe файл) - и потом уже когда запускаете этот exe файл он выполняется на процессоре.
Вот как это понимать? И причем тут транслятор?
(1) есть более интересная особенность таких вычислений.
Вот, пример:
float x = 4/6;
int f = 1+3*x;
Чему будет равен f ?
Даже если взять полностью предложенный пример в (1), то он будет работать ожидаемо только из-за пограничного условия: целочисленное деление. Усложним:
int f = 1+4/6*3;
Чему теперь равен f?
Вот, пример:
float x = 4/6;
int f = 1+3*x;
Чему будет равен f ?
Даже если взять полностью предложенный пример в (1), то он будет работать ожидаемо только из-за пограничного условия: целочисленное деление. Усложним:
int f = 1+4/6*3;
Чему теперь равен f?
(18) в том то и дело, что пример выше не будет так выполнен. 4/6 это тип int поделенный на тип int. Результат такого деления будет тип int. Итого имеем, что 4/6 будет равен 0.
Даже float x = 4/6 будет равен 0. Автоприведение типов применяется уже к результату вычисления.
Следовательно в обоих случаях f = 1. Неожиданный результат в итоге.
Чтобы результат вычисления был ожидаемым, необходимо осуществить явное приведение:
int f = 1+((double)4/6)*3;
или указать, что один из операндов тип float(к примеру):
int f = 1+4f/6*3
Даже float x = 4/6 будет равен 0. Автоприведение типов применяется уже к результату вычисления.
Следовательно в обоих случаях f = 1. Неожиданный результат в итоге.
Чтобы результат вычисления был ожидаемым, необходимо осуществить явное приведение:
int f = 1+((double)4/6)*3;
или указать, что один из операндов тип float(к примеру):
int f = 1+4f/6*3
(19) По умолчанию компилятор к числовым константам применят тип double, а результат приводит к типу переменной, то есть будет усечение результата double до float, а усечение double до int приведет к усечение до разрядности которая определена для текущей платформы компиляции. В обоих случаях результаты непредсказуемые, в вашем новом примере вы даете явное указание компилятору какие типы использовать при вычислении.
(21)компилятор приводит к одному типу оба операнда к максимальному по разрядности типу, выражения int f = 1+((double)4/6)*3; и int f = 1+4f/6*3, разные и могут дать разные результаты и соответственно приведение к int то же не предсказуемое. Все 4 примера, результат не предсказуемый, предсказуемый только в том случае когда в результате вычисления результат будет меньше наибольшего числа в типе int.
(24) по правилам самого языка целые константы имеют тип int. Вот его размер может меняться. Но никак не тип double. Вещественные константы имеют отличную от целых типов написание.
Вывод типа от размера целочисленной константы не рассматриваем. Он может и в long его определить. В рассматриваемом примере тип точно int.
Вывод типа от размера целочисленной константы не рассматриваем. Он может и в long его определить. В рассматриваемом примере тип точно int.
(29)вы заблуждаетесь, я перед этим писал что компилятор приводит к максимальному типу все операнды, по сути такие записи выглядят так:
float i = (float)4/6
int i = (int)4/6
само вычисление зависит от компилятора, какой он алгоритм выберет, в 1 и 2 случае, или так:
float i = (float)(double)4/6
int i = (int)(double)4/6
float i = (float)4/6
int i = (int)4/6
само вычисление зависит от компилятора, какой он алгоритм выберет, в 1 и 2 случае, или так:
float i = (float)(double)4/6
int i = (int)(double)4/6
(30)
Вот это не совсем верно. Все операнды приводятся к наибольшему из участвующих в операции. Если оба операнда типа int, то и будет тип int.
Если один из операндов типа int, а второй типа double, то оба будут приведены к типу double.
я перед этим писал что компилятор приводит к максимальному типу все операнды
Вот это не совсем верно. Все операнды приводятся к наибольшему из участвующих в операции. Если оба операнда типа int, то и будет тип int.
Если один из операндов типа int, а второй типа double, то оба будут приведены к типу double.
;+)
несколько вопросов/утверждений
1. а какая разница? сразу результат присваивается или вычисляется? все эти простые вычисления за десяток тиков тактовой частоты расчитываются, т.е. какая-то лиллионная доля секунды.
2.нвверно, все-таки зависит от транслятора, многие трансляторы делают предвычисления, и даже с переменными если в них были помещениы константы/числа
3.вообще эта ветка форума по 1С, тут даже как это все в там ПИ код 1С транслируется не заморачиваются, не то что там с ассемблером., .
несколько вопросов/утверждений
1. а какая разница? сразу результат присваивается или вычисляется? все эти простые вычисления за десяток тиков тактовой частоты расчитываются, т.е. какая-то лиллионная доля секунды.
2.нвверно, все-таки зависит от транслятора, многие трансляторы делают предвычисления, и даже с переменными если в них были помещениы константы/числа
3.вообще эта ветка форума по 1С, тут даже как это все в там ПИ код 1С транслируется не заморачиваются, не то что там с ассемблером., .
1. Разные результаты могут быть.
float f;
f=10000*100000;
f+=1;
f-=4*250000000
Дает результат 0.
а если так:
f=10000*100000+1-4*250000000;
то результат 1.
3. Я хотел поместить в ветку "за жизнь", но там совсем не в тему.
float f;
f=10000*100000;
f+=1;
f-=4*250000000
Дает результат 0.
а если так:
f=10000*100000+1-4*250000000;
то результат 1.
3. Я хотел поместить в ветку "за жизнь", но там совсем не в тему.
С++ для начинающих. Обзор компиляторов
Существует множество компиляторов с языка C++, которые можно использовать для создания исполняемого кода под разные платформы. Проекты компиляторов можно классифицировать по следующим критериям.
Чтобы увидеть результат препроцессинга можно воспользоваться опцией...
Существует множество компиляторов с языка C++, которые можно использовать для создания исполняемого кода под разные платформы. Проекты компиляторов можно классифицировать по следующим критериям.
Чтобы увидеть результат препроцессинга можно воспользоваться опцией...
Я занимался Си ещё во времена MS DOS. Помню что многое зависит от компилятора.
Если компилятор компилирует "в лоб", то он напишет примерно следующие команды:
записать в регистр процессора число 3
умножить содержимое регистра на 4
разделить полученный результат на 6
добавить к результату 1 (или выполнить инкремент)
занести результат в ячейку памяти, в которой хранится f.
Более продвинутый компилятор еще на этапе компиляции вычислит выражение и запишет его в f.
Как-то так.
Если компилятор компилирует "в лоб", то он напишет примерно следующие команды:
записать в регистр процессора число 3
умножить содержимое регистра на 4
разделить полученный результат на 6
добавить к результату 1 (или выполнить инкремент)
занести результат в ячейку памяти, в которой хранится f.
Более продвинутый компилятор еще на этапе компиляции вычислит выражение и запишет его в f.
Как-то так.
Скажем так хороший компилятор обязан оптимизировать программный код с целью ускорения его работы.
Если приведенный вами расчет провести на этапе компиляции и заменить на подстановку готового результата то это будет хорошим примером оптимизации.
Но не каждый компилятор является хорошим поэтому и не каждый выполнит такую оптимизацию.
Поэтому если вы пишете программу в которой скорость является критичной и если тем более вы даже не знаете какой компилятор в итоге это будет обрабатывать то лучше не надеяться на компилятор и подставить рассчитанное значение.
Для обычных пользовательских программ оставлять такую оптимизацию на откуп компилятору и оставлять расчет в наглядном виде для упрощения чтения кода и дальнейшей корректировки программы общепринято и вполне допустимо.
Если приведенный вами расчет провести на этапе компиляции и заменить на подстановку готового результата то это будет хорошим примером оптимизации.
Но не каждый компилятор является хорошим поэтому и не каждый выполнит такую оптимизацию.
Поэтому если вы пишете программу в которой скорость является критичной и если тем более вы даже не знаете какой компилятор в итоге это будет обрабатывать то лучше не надеяться на компилятор и подставить рассчитанное значение.
Для обычных пользовательских программ оставлять такую оптимизацию на откуп компилятору и оставлять расчет в наглядном виде для упрощения чтения кода и дальнейшей корректировки программы общепринято и вполне допустимо.
Для получения уведомлений об ответах подключите телеграм бот:
Инфостарт бот