c检查模板参数的嵌套typedef以获取其标量基类型
考虑下面的指数平滑模板类.此类用于以指数方式平滑/过滤顺序数据(请参阅更新方法). 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? 一个类似的问题已被问到here.但我想知道最通用的解决方案是什么,例如,如果也应该支持STL向量.是否所有类型都需要相同的嵌套typedef(或具有一致命名的某些traits类)? 解决方法
你可以使用帮手.您提供的链接几乎包含解决方案:
template<class T,class R = void> struct enable_if_type { typedef R type; }; template<class E,class Enable = void> struct GetFloatType { typedef E type; }; template<class E> struct GetFloatType<E,typename enable_if_type<typename E::Scalar>::type> { typedef typename E::Scalar type; }; 然后,在你的班上: template <class Elemtype,class Floattype = typename GetFloatType<Elemtype>::type> class ExponentialSmoother { // ... }; 此外,有了这个用户仍然可以手动提供他们的浮动类型.你可以看到它live.奖金:与C 03一起使用没有问题. 请注意,您可以添加更多GetFloatType的部分特化. Here is a live example.别忘了ElemType只能接受GetFloatType的一个特化,否则它将是不明确的(并导致编译器错误). (编辑:李大同) 【声明】本站内容均来自网络,其相关言论仅代表作者个人观点,不代表本站立场。若无意侵犯到您的权利,请及时与联系站长删除相关内容! |