C++：错误的模板函数重载选择

如何解决C++：错误的模板函数重载选择

我想在我的代码中实现一些惰性求值。这是代表我想做的事情的片段：

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

template <int N,int M>
struct S {
  template <typename T>
  S &operator=(const T &src) {
    v = src();
    return *this;
  }

  Eigen::Matrix<double,N,M> v;
};

// If I comment this one the code compiles
template <typename Lhs,typename Rhs>
auto operator+(const Lhs &lhs,const Rhs &rhs) {
  return [&]() { return lhs() + rhs(); };
}

template <typename Lhs,int N,int M>
auto operator+(const Lhs &lhs,const S<N,M> &s) {
  return [&]() { return lhs() + s.v; };
}

template <typename Rhs,int M>
auto operator+(const S<N,M> &s,const Rhs &rhs) {
  return [&]() { return s.v + rhs(); };
}

template <int N0,int M0,int N1,int M1>
auto operator+(const S<N0,M0> &s0,const S<N1,M1> &s1) {
  return [&]() { return s0.v + s1.v; };
}

int main() {
  static constexpr int n = 4;
  S<n,n> s0,s1;
  S<Eigen::Dynamic,Eigen::Dynamic> s2;

  s1.v = 2. * Eigen::Matrix<double,n,n>::Ones();
  s2.v = 3. * Eigen::Matrix<double,n>::Ones();

  s0 = s1 + s2;

  std::cout << s0.v << std::endl;

  return 0;
}

我遇到了一个编译错误，它与以下事实有关：在实现 s1 + s2 时，选择了 + 运算符的第一个重载（如果我对其进行评论，则代码有效）。似乎对于编译器来说，第一个被认为更专业，而根据我的常识，最后一个更专业：第一个接受任何参数，而最后一个只接受与模板类 {{ 1}}。

对此有何解释？如何修复此代码段以使其工作，同时保持第一个重载（这是对“嵌套”表达式的惰性求值所必需的）？

非常感谢！

编辑：从答案和评论中，我现在了解到问题与代码段中 + 运算符的第一个重载与 Eigen 库中 + 运算符的某些重载之间的冲突有关。下面的简化片段说明了这一点：

S

在这里，选择了代码段的 + 运算符，而我预计会选择 Eigen 中的一个...为什么会这样？

解决方法

看起来第一个重载被选中，但不是 s1 + s2。这选择了第 4 个重载。但是，在第 4 个重载中，您有 s0.v + s1.v;，而 .v not 是 S<N,M>