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

c++ check for nested typedef of a template parameter to get its scalar base type

本文关键字：获取 标量 类型 基类 typedef 嵌套 检查 参数 c++      更新时间：2023-10-16

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

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

在这个例子中，可以避免第二个模板参数Floattype，因为Eigen的矩阵类包含一个嵌套的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类)？

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

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
{
// ...
};

此外，有了这个，用户仍然可以手动提供他们的浮点类型。你可以现场观看。额外奖励：使用C++03时没有问题。

请注意，您可以添加GetFloatType的更多部分专业化。这是一个活生生的例子。不要忘记，对于GetFloatType的一个专用化，ElemType必须是可接受的，否则它将是不明确的(并导致编译器错误)。

相关文章：