如何为Eigen::DenseBase特化std::less以实现全序关系？

我需要给Eigen::Matrix和Eigen::Array实现全序关系，打算通过特化它们的父类Eigen::DenseBase的std::less来实现。根据Eigen官方文档，我针对Eigen::DenseBase<Derived>模板类型定义了std::less的特化，但代码无法生效——编译器依然会使用默认的std::less，而默认实现依赖的operator<要么不存在（比如Eigen::Matrix），要么返回值不符合全序要求（比如Eigen::Array）。我知道自定义比较结构体是可行的，但想弄明白怎么让std::less的特化适配Eigen::DenseBase。

可行实现方案 #

要让std::less的特化生效，需要严格遵循C++标准对std命名空间特化的规则，同时确保编译器能正确匹配到你的特化版本：

1. 语法正确的显式特化
   必须在std命名空间内，针对Eigen::DenseBase<Derived>完成特化，前置声明相关类型避免编译错误：

   #include <Eigen/Core>
   #include <functional>
   
   // 前置声明Eigen的DenseBase模板
   namespace Eigen {
       template <typename Derived> class DenseBase;
   }
   
   namespace std {
       template <typename Derived>
       struct less<Eigen::DenseBase<Derived>> {
           bool operator()(const Eigen::DenseBase<Derived>& lhs, const Eigen::DenseBase<Derived>& rhs) const {
               // 自定义全序比较逻辑示例：先比尺寸，再逐元素比较
               if (lhs.rows() != rhs.rows() || lhs.cols() != rhs.cols()) {
                   if (lhs.rows() != rhs.rows()) return lhs.rows() < rhs.rows();
                   return lhs.cols() < rhs.cols();
               }
               for (Eigen::Index i = 0; i < lhs.size(); ++i) {
                   if (lhs(i) != rhs(i)) {
                       return lhs(i) < rhs(i);
                   }
               }
               return false;
           }
       };
   }
   

2. 确保类型匹配
   Eigen的Matrix、Array都是DenseBase的派生类，使用时要确保传入std::less的对象能被推导为Eigen::DenseBase<Derived>类型。如果编译器仍匹配不到默认std::less，可以尝试针对具体派生类（如Eigen::Matrix<Scalar, Rows, Cols>）单独特化，不过这会增加代码量。

3. 规避ADL干扰
   直接通过std::less{}(a, b)的方式调用，避免依赖隐式的operator<触发参数相关查找（ADL），确保编译器优先选择你特化的版本。

注：虽然自定义比较结构体更灵活且符合C++最佳实践（避免修改std命名空间），但如果一定要特化std::less，上述方法可解决问题。

内容的提问来源于stack exchange，提问作者j-hap