Question

我的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.。但如果是的话，它会打印出Marker函数中“f”行的五倍。

奇怪的是，我最终得到了好结果（例如181.019和x = 2 y = 4但是我只显示了1个“Marker” 。这怎么可能？因此，使用该函数进行编译时优化而不是标准的pow（）是一个很好的选择吗？

非常感谢！

Answer 1

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

Answer 2

我想：

metaPow＆lt; 5＆gt;（f（x，y））

等于

double z = f（x，y）; metaPow＆LT 5个;（Z）;

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

2 个答案: