特征的模板参数推导：：Ref<Mat<T>>

Template argument deduction for Eigen::Ref<Mat<T>>

本文关键字：lt gt Mat 参数 特征 Ref      更新时间：2023-10-16
以下是

模板参数推导的解决方法。

是否需要此解决方法？

这会阻止 Eigen 优化跨函件边界的表达式吗？

#include <Eigen/Eigen>
#include <iostream>
template <typename T> using Mat = Eigen::Matrix<T, 3, 1>; 
template <typename T = int>
inline void func(const Eigen::Ref<const Mat<T> >& a) {
    // calculations
}
int main() {
    const Mat<int> a;
    const Eigen::Ref<const Mat<int> > b = a;
    func(b);  // error if I use func(a);
}

这在性能方面完全没问题，但模板推导不起作用，因此要么使 func 成为非模板函数，要么将 Ref 替换为更通用的const MatrixBase<Derived>& a并使用静态断言来保护非 3x1 矩阵类型。在后一种情况下，最好在使用a之前将其强制转换为其真正的派生类型：

template <typename Derived>
void func(const Eigen::MatrixBase<Derived>& a_base) {
  const Derived& a(a_base.derived());
  // calculations
}
相关文章：