过载 Eigen::MatrixBase<T>

Question

我有一个函数，我有几个模板化重载。我要为其添加 Eigen 过载。我想要通用的，例如能够接受任何本征矩阵。因此我使用 Eigen::MatrixBase<T>。问题在于重载，编译器无法识别与 Eigen::MatrixBase<T> 最接近的匹配项。这是我的代码：

#include <iostream>
#include <Eigen/Eigen>

template <class T>
void foo(const Eigen::MatrixBase<T> &data)
{
  std::cout << "Eigen" << std::endl;
}

// ... several other overloads

template <class T>
void foo(const T &data)
{
  std::cout << "other" << std::endl;
}

int main()
{
  Eigen::VectorXd a(2);

  a(0) = 0.;
  a(1) = 1.;

  foo(a);
}

输出为other。如何使本征重载使其最接近任何本征矩阵？

Answer 1

Eigen::VectorXd 是 Eigen::Matrix<double, Dynamic, 1> 的类型定义。接下来，Eigen::MatrixBase<T> 是 Eigen::Matrix<T> 的基础 class。在重载决议中，Eigen::VectorXd 的实例到推导的 const Eigen::VectorXd& 参数的引用绑定具有精确匹配等级，该等级通过派生到基础转换（void foo(const Eigen::MatrixBase<T>& 要求）获胜。

作为一种解决方案，您可以禁用生成与 SFINAE 检查完全匹配的函数模板，以便将其从候选集中排除，留下需要派生到基础转换的唯一可行函数.

#include <type_traits>
#include <utility>

namespace detail
{
    template <typename T>
    std::true_type test(const volatile Eigen::MatrixBase<T>&);
    std::false_type test(...);
}

template <typename T>
using is_eigen_matrix = decltype(detail::test(std::declval<T&>()));

template <class T>
void foo(const Eigen::MatrixBase<T>& data)
{
}

template <class T>
auto foo(const T& data)
    -> typename std::enable_if<not is_eigen_matrix<T>::value>::type
{
}

DEMO

过载 Eigen::MatrixBase<T>

Overload Eigen::MatrixBase<T>

c++

eigen

eigen3