Предрасчёт константных значений. С

конечно посчитает

Научу тебя ловить рыбу.

$ cat test.c 
#include <stdio.h>
#include <stdint.h>
#include <math.h>

uint32_t f(uint32_t c)
{
    return sin(c) * c + 33454 - 444;
}

#define REF f(667)
#define REF_4 f(755)

int main(){
	printf("%d  %d\n", REF, REF_4);
}

 $ gcc -O2 test.c -lm
 $ objdump -d a.out 

0000000000400590 <main>:
  400590:	b9 74 83 00 00       	mov    $0x8374,%ecx
  400595:	ba 1c 83 00 00       	mov    $0x831c,%edx
  40059a:	be 64 07 40 00       	mov    $0x400764,%esi
  40059f:	bf 01 00 00 00       	mov    $0x1,%edi
  4005a4:	31 c0                	xor    %eax,%eax
  4005a6:	e9 c5 ff ff ff       	jmpq   400570 <__printf_chk@plt>
  4005ab:	0f 1f 44 00 00       	nopl   0x0(%rax,%rax,1)

нулодненька, спосибки

Но это не оправдывает отсутствие constexpr в языке :)

Как повезёт, расчитывать на константы не стоит.

Оптимизирующий компилятор может просчитать или не просчитать, в отсутствие constexpr в языке его никто не обязывает это сделать. На то или иное поведение полагаться нельзя.

компиллятор просчитает их значения или бросит, чтобы они просчитались в рантайме?

да

Не так. Нужно так:

компиллятор просчитает их значения или бросит, чтобы они просчитались в рантайме

Да

А что мешает посчитать на калькуляторе и объявить const int? 21-й век на дворе, а до сих пор дифайны юзаете. :)

Может посчитать, а может и нет - зависит от компилятора, уровня оптимизации, включен ли дебаг и т.п.

Используй для этой цели https://godbolt.org/ Там сразу можно выбрать GCC/Clang любой версии и архитектуры.

вах, спасибки. Отличная вещь!

Зачем нужен constexpr, когда и без него у компилятора достаточно информации, чтобы знать, что можно посчитать в compile-time, а что нет? Чем больше компилятор умеет считать в compile-time, тем он круче.

За тем, что constexpr гарантирует расчёт статически.

Отлично, mov $0x8374,%ecx и mov $0x831c,%edx как раз забивают нужные константы.

Можно поподробнее, откуда это видно?

Можно поподробнее, откуда это видно?

Ты сейчас серьезно? о_О

REF_4 = $0x8374

REF = $0x831c

Научу тебя ловить рыбу.

Что-то я не понял ничего... :-)

Что - да? :-)

Хотим узнать, делает ли компилятор предрасчет значений? Ну так отлично, компилируем программу и смотрим дизассемблированный код.

Не знаешь язык ассемблера? Ну так я тоже не знаю, но хоть немного надо представление иметь о регистрах и инструкциях mov, call, jmp.

Написал бы

printf("%04x  %04x\n", REF, REF_4);

Я не ожидал, что на ЛОРе есть люди, которые не умеют ни гуглить, ни считать, ни думать.

Серьезно?!

Что - да? :-)

да, компилятор просчитает их значения или бросит, чтобы они просчитались в рантайме.

Достаточно увидеть, что в main не вызывается ни функция f, ни sin.

Нет. Наверное.

Не совсем так. Сделай gcc -E. Как и должно быть, получится:

printf("%d  %d\n", f(667), f(755));

Сделай gcc -E.

Какое это вообще имеет отношение к вопросу?

Имеет отношение к комментарию, на который ответ.

0000000000400590 <main>:
  400590:	b9 74 83 00 00       	mov    $0x8374,%ecx
  400595:	ba 1c 83 00 00       	mov    $0x831c,%edx
  40059a:	be 64 07 40 00       	mov    $0x400764,%esi
  40059f:	bf 01 00 00 00       	mov    $0x1,%edi
  4005a4:	31 c0                	xor    %eax,%eax
  4005a6:	e9 c5 ff ff ff       	jmpq   400570 <__printf_chk@plt>
  4005ab:	0f 1f 44 00 00       	nopl   0x0(%rax,%rax,1)

Покажи мне то место, где здесь «формально вызывается» f?

А еще скажи, какое к этому всему имеет отношение вывод препроцессора?