C++:奇怪的元函数调用

C++ : Strange metafunction call

本文关键字:函数调用 C++      更新时间:2023-10-16

我的C++代码中有一个奇怪的元函数行为,我想了解为什么。

#include <iostream>
#include <cmath>
inline double f(double x, double y)
{
    std::cout<<"Marker"<<std::endl;
    return sqrt(x*y);
}
template <int N, class T> inline T metaPow(T x)
{
    return ((N > 0) ? (x*metaPow<((N > 0) ? (N-1) : (0))>(x)) : (1.));
}

int main()
{
    double x;
    double y;
    std::cin>>x;
    std::cin>>y;
    std::cout<<metaPow<5>(f(x, y))<<std::endl;
    return 0;
}

我期望metaPow<5>(f(x, y))行等同于f(x, y)*f(x, y)*f(x, y)*f(x, y)*f(x, y)*1..但如果是这样,它会在f函数中打印我五倍于"Marker"行。

奇怪的是,我在最后得到了很好的结果(例如x = 2y = 4181.019),但我只显示了1"Marker"。怎么可能?因此,使用该函数进行编译时优化而不是标准的 pow() 是一个不错的选择吗?

谢谢!

我相信f(x,y)在传递给您的 metaPow 函数之前正在进行评估。 所以 metaPow 的 x 参数只是值 sqrt*(8)。 metaPow 从不调用 f(x,y)。 因此,f(x,y) 只调用一次 - 当你最初在主函数中调用 metaPow 时。

我认为

metaPow<5>(f(x, y))

等于

双 z = f(x, y); metaPow<5>(z);