过载Eigen::MatrixBase<T>

Question

我有一个函数，我有几个模板重载。我要给它加上一个本征过载。我希望是一般的，例如能够接受任何本征矩阵。因此，我使用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>的一个基类。在过载解析中，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