c ++检查模板参数的嵌套typedef以获取其标量基类型

Question

考虑下面的指数平滑模板类.此类用于以指数方式平滑/过滤顺序数据(请参阅更新方法).Elemtype可能是一个向量,Floattype通常是一个标量.例如

ExponentialSmoother<Eigen::Vector2f, float> x(0.1, Vector2f(0.5, 0.5));

在此示例中,可以避免第二个模板参数Floattype,因为Eigen的Matrix类包含嵌套的typedef以获取标量基类型:

Vector2f::Scalar

将Elemtype和Floatype实例化为浮点数以平滑一维数据也是合理的.在这种情况下,也可以跳过第二个模板参数.

template <class Elemtype, class Floattype>
class ExponentialSmoother
{
public:
    // ctor
    ExponentialSmoother(Floattype alpha, Elemtype& initial_estimate);

    // getters
    inline const Elemtype& getValue() const {return estimate_;}
    inline const Floattype getAlpha() const {return alpha_;}

    const Elemtype& update(const Elemtype& curr)
    {
       estimate_ = (alpha_ * curr) + (((Floattype)1-alpha) * estimate_);
       return estimate_;
    }

private:
    Elemtype estimate_;
    Floattype alpha_;  // smoothing factor within [0,1]
}

现在我的问题是,只用一个模板参数(元素类型)实现ExponentialSmoother的"最优雅"解决方案是什么？它应该与特征向量和矩阵一起使用,但也适用于浮点类型.

换句话说,是否可以检查Elemtype :: Scalar是否存在,如果不存在(即Elemtype是float还是double),将Floattype定义为Elemtype？

这里也提出了类似的问题.但我想知道最通用的解决方案是什么,例如,如果还应支持STL向量.是否所有类型都需要相同的嵌套typedef(或具有一致命名的某些traits类)？

Answer 1

您可以使用助手。您提供的链接几乎包含了解决方案：

\n\n

template<class T, class R = void>  \nstruct enable_if_type\n{\n    typedef R type;\n};\n\ntemplate<class E, class Enable = void>\nstruct GetFloatType\n{\n    typedef E type;\n};\n\ntemplate<class E>\nstruct GetFloatType<E, typename enable_if_type<typename E::Scalar>::type>\n{\n    typedef typename E::Scalar type;\n};\n

\n\n

然后，在你的班级中：

\n\n

template <class Elemtype, class Floattype = typename GetFloatType<Elemtype>::type>\nclass ExponentialSmoother\n{\n    // ...\n};\n

\n\n

此外，用户仍然可以手动提供他们的浮动类型。你可以现场观看。奖励：可以毫无问题地使用 C++03。

\n\n

请注意，您可以添加更多 的部分特化GetFloatType。这是一个活生生的例子。不要\xc2\xb4t 忘记它必须只能被 的一种专门化ElemType所接受，否则它将是不明确的（并导致编译器错误）。GetFloatType

\n