C++ указатель Функции встраивание

Question

Я знаю, что я могу передать указатель на функцию в качестве параметра шаблона и получить вызов ему встраиваемый, но я подумал, что какие-либо компиляторы эти дней могут INLINE в «очевидную» инлайн-возможности функции, как:

inline static void Print() 
{ 
std::cout << "Hello\n"; 
} 

.... 

void (*func)() = Print; 

func(); 

В Visual Studio 2008 он достаточно умен, чтобы получить его до инструкции прямого вызова, поэтому кажется, что это позор, но он не может сделать шаг дальше?

Answer 1

г проекта GNU ++ 4.5 встраивает это для меня, начиная с уровня -O1

main: 
    subq $8, %rsp 
    movl $6, %edx 
    movl $.LC0, %esi 
    movl $_ZSt4cout, %edi 
    call _ZSt16__ostream_insertIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_E 
    movl $0, %eax 
    addq $8, %rsp 
    ret 

оптимизации, где .LC0 является .String "Привет \ п".

Для сравнения, без оптимизации, г ++ -O0, он не встраивать:

main: 
    pushq %rbp 
    movq %rsp, %rbp 
    subq $16, %rsp 
    movq $_ZL5Printv, -8(%rbp) 
    movq -8(%rbp), %rax 
    call *%rax 
    movl $0, %eax 
    leave 
    ret 

Answer 2

Ну, компилятор действительно не знает, будет ли эта переменная заменена где-то или нет (может быть, в другом потоке?), Поэтому она ошибается на стороне осторожности и реализует ее как вызов функции.

Я только что проверил в VS2010 в сборке релиза, и он не получил встроенного.

Кстати, вы украшаете функцию как inline бесполезно. В стандарте говорится, что если вы когда-либо получите адрес функции, любой намек inline будет проигнорирован.

Редактировать: обратите внимание, однако, что, хотя ваша функция не вставлена, переменная ушла. При разборке call использует прямой адрес, он не загружает переменную в регистр и вызывает это.

Answer 3

Новые выпуски GCC (4.4 и выше) имеют возможность с именем -findirect-встраивание. Если GCC может доказать себе, что указатель функции является постоянным, он делает прямой вызов функции или полностью строит функцию.