禁用 Eigen 表达式到 const 引用的临时绑定

Question

我正在尝试编写一个只接受通过const 引用传递的左值特征表达式的函数。我的第一个想法是只保留const Eigen::MatrixBase<Derived>& 和delete 的过载Eigen::MatrixBase<Derived>&&。令我惊讶的是，deleted 函数不是重载候选集的一部分。所以我尝试了下面的代码

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

#define PRINT_MY_NAME std::cout << __PRETTY_FUNCTION__ << '\n'

template<typename Derived>
void f(const Eigen::MatrixBase<Derived>&) // (1)
{
    PRINT_MY_NAME;
}

template<typename Derived>
void f(Eigen::MatrixBase<Derived>&&)      // (2)
{
    PRINT_MY_NAME;
}

int main()
{
    Eigen::MatrixXd A;

    f(A);     // invokes (1)
    f(A + A); // invokes also (1) !!!
}

哪个输出（gcc5.2）

void f(const Eigen::MatrixBase&) [with Derived = Eigen::Matrix ]

void f(const Eigen::MatrixBase&) [with Derived = Eigen::CwiseBinaryOp , const Eigen::Matrix , const Eigen: :矩阵 >]

显然没有考虑右值重载。我现在很清楚第二个不是更好的匹配，因为我传递了一个右值 Eigen 表达式，它可以转换为 Eigen::MatrixBase<>，但不是完全相同的类型。现在是我的问题：

• 如何禁用或检测作为f 参数传递的右值特征表达式？问题是表达式可以具有任意类型（Eigen 使用表达式模板），例如 CwiseBinaryOp<...CwiseBinaryOp<...>> 等等。这是一个更大问题的一部分，其中我有一个类似于 make 的实用程序函数，它接受一个左值并将其绑定到类中的 const 引用表达式。如果表达式是一个右值，那么所有的赌注都是关闭的，因为引用绑定不是通过构造函数参数传播的，所以我想禁止传递右值 Eigen 表达式。

Answer 1

我想我发现了发生了什么：表达式模板 A + A 的结果是 const，因此存在 CV 不匹配。将const 添加到第二个重载就可以了：

template<typename Derived>
void f(const Eigen::MatrixBase<Derived>&&)      // (2)
{
    PRINT_MY_NAME;
}