c++ - 重载 Eigen::MatrixBase<T>

Question

我有一个函数，我有几个模板化重载。我要为其添加 Eigen 过载。我想要通用的，例如能够接受任何 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 .如何使 Eigen 重载使其最接近任何 Eigen 矩阵？

Answer 1

Eigen::VectorXd是 Eigen::Matrix<double, Dynamic, 1> 的类型定义.继续前进，Eigen::MatrixBase<T>是 Eigen::Matrix<T> 的基类.在重载决策中，引用绑定(bind) 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