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

Vin*_*ent 0 c++ metaprogramming pow

我的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;
}
Run Code Online (Sandbox Code Playgroud)

我预计这条线metaPow<5>(f(x, y))相当于f(x, y)*f(x, y)*f(x, y)*f(x, y)*f(x, y)*1..但如果是的话,它会打印Markerf函数中" "行的五倍.

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

非常感谢你 !

hap*_*ave 5

我相信f(x,y)在传递给你的metaPow函数之前,它正在被评估.所以metaPow的x参数只是值sqrt*(8).metaPow永远不会调用f(x,y).因此,f(x,y)只调用一次 - 当你最初在main函数中调用metaPow时.