c++ - 内联函数是否作为参数传递，真正在 C/C++ 中内联执行？

Question

我有一个很长(迭代次数)的 for 循环，我希望可以对其某些部分进行个性化设置。代码如下所示:

function expensive_loop( void (*do_true)(int),  void (*do_false)(int)){
    for(i=0; i<VeryLargeN; i++){
       element=elements[i]
       // long computation that produce a boolean condition
       if (condition){ 
         do_true(element); 
       }else{
         do_false(element);
       }
    }
}

现在，问题是每次调用 do_true 和 do_false 时，由于堆栈的 push/pop 会产生开销，从而破坏了高性能代码。

为了解决这个问题，我可以简单地创建多个 expensive_loop 函数的拷贝，每个拷贝都有自己的 do_true 和 do_false 实现。这将使代码无法维护。

那么，如何制作迭代的内部部分，使其可以个性化，同时仍然保持高性能？

Answer 1

请注意，该函数接受指向函数的指针，因此可以通过指针调用这些函数。如果 expensive_loop 和那些函数的定义可用并且没有违反编译器内联限制，优化器可能会通过函数指针内联这些调用。

另一种选择是使该算法成为接受可调用对象(函数指针、具有调用运算符的对象、lambda)的函数模板，就像标准算法一样。这样编译器可能会有更多的优化机会。例如:

template<class DoTrue, class DoFalse>
void expensive_loop(DoTrue do_true, DoFalse do_false) { 
    // Original function body here.
}

有-Winline g++ 的编译器开关:

-Winline

Warn if a function can not be inlined and it was declared as inline. Even with this option, the compiler will not warn about failures to inline functions declared in system headers.

The compiler uses a variety of heuristics to determine whether or not to inline a function. For example, the compiler takes into account the size of the function being inlined and the the amount of inlining that has already been done in the current function. Therefore, seemingly insignificant changes in the source program can cause the warnings produced by -Winline to appear or disappear.

当通过指针调用函数时，它可能不会警告函数未被内联。