如何根据编译时参数使用内联函数的不同重载？

Question

我有一个性能关键的内联函数，inline T func(T a, T b, int p)。如果已知 p 为零，则可以对其进行相当多的优化。但是，我不能使用“如果”来惩罚所有其他情况。我想要的是仅优化我在编译时知道 p 为零的函数。有没有一种干净的方法可以做到这一点，也许使用模板魔法？

编辑

我不能使用不同名称的函数/不兼容的重载（我不知道如何正确表达），因为代码的级别非常低。另一个/未来的处理器很可能有不同的优化机会。因此，通过将所有低级内容限制在一个函数签名中，我的代码只需要重新编译即可使用任何类型的优化。

Answer 1

可以使用模板。看看Boost enable_if，它有很好的解释和使用示例

Answer 2

如果 Boost 不能满足要求，这里还有另一种方法。不过，p 参数必须是调用中的文字。

#include <iostream>

// Template this on the functions if you wanted this type templated:
typedef float T; 

template<int P>
struct Wrapper {
    static T func(T a, T b) {
        std::cout << "general case (p="<< P << ")\n";
        return (a+b)*P;
    }
};

// Template specialisation for P=0
template <>
struct Wrapper<0> {
    static T func(T a, T b) {
        std::cout << "p=0 case\n";
        return 0;
    }
};

#define func(A, B, P) \
    Wrapper<P>::func(A, B)

int main() {
    func(1,2,0);
    func(1,2,345);
}

模板专门化在函数上是不可能的，因此需要包装类。

Answer 3

GCC 有一个 __builtin_constant_p 函数；更多信息请参见 GCC 文档。我相信您能够

inline T func(T a, T b, int p)
{
    if ( builtin_constant_p(p) && p==0 )
        // special case
    else
        // fallback
}

在没有任何性能损失的情况下获得。