0

我收到编译器错误

/Developer/boost/boost/numeric/ublas/expression_types.hpp:184:16: fatal error: recursive template instantiation exceeded maximum depth of 512

来自 clang++ 或从 g++ 4.2.1 使用 >10GB 内存使用的无限期编译。

我正在尝试创建一个辅助函数，该函数从向量的每个元素中减去一个标量。起初一般考虑，我计划将特定的向量存储类型作为模板参数。话虽如此，我意识到我现在不知道如何使定义同时适用于向量ublas和std向量（没有专门化）。但我仍然想知道发生了什么/我的编译问题的原因？

当与 boost 库兼容时，下面的代码很容易证明这个问题，例如 g++ -I/path/boost bug_demo.cpp

boost 中或我的代码中是否存在错误？

// demo code does not compiler, instead error for recursive template instantiation
//---------------------------------------------------------

#include <boost/numeric/ublas/vector.hpp>

namespace ublas = boost::numeric::ublas; // boost ublas will be the implementation for basic vector container
typedef ublas::vector<double>  DVEC; // double vector shorthand

// ********* problem function  ***********
template <typename vec_t, typename scalar_t>
vec_t operator-( const vec_t & vec, scalar_t scalar )
{
    ublas::scalar_vector<scalar_t> scalar_v(vec.size(), scalar);
    return vec - scalar_v;
}

// this non-template version works fine.
/*  DVEC operator-( const DVEC & vec, double scalar )
{
    ublas::scalar_vector<double> scalar_v(vec.size(), scalar);
    return vec - scalar_v;
}
*/

DVEC vectorFunc( const DVEC& x )
{
    double bnew=0.0;
    DVEC x_bnew;
    x_bnew = operator-(x,bnew);
    return x_bnew;
}

int main()
{
    DVEC inputVector(2);
    inputVector[0] = 1.0; inputVector[1] = 2.0;

    DVEC output = vectorFunc( inputVector );
    return 0;
}
4

1 回答 1

1

您的operator - ()函数通过在执行时调用自身来设置无限模板实例化递归vec - scalar_v。虽然参数类型的名称是scalar_t，但这只是一个名称，它可以匹配任何类型，包括scalar_vector<scalar_t>.

因此，该行将xbnew = operator - (x, bnew)导致实例化：

operator - <DVEC, double>()

该运算符模板中的最后一行将反过来导致实例化：

operator - <DVEC, scalar_vector<double>>()

然后，同一运算符模板中的最后一行将导致实例化：

operator - <DVEC, scalar_vector<scalar_vector<double>>>()

依此类推，直到编译器达到最大实例化递归深度。

于 2013-02-11T22:10:56.623 回答