当cols数固定时，不能将Block<Derived>转换为Ref<Derived>

Question

我最近更新到了最近的特征版本(3.3.90)，看起来它破坏了我以前工作过的东西(在我使用libigl库附带的特征版本3.2.10之前)。

我希望将块的结果存储到ref对象中，该对象将被传递，并最终用于更新提取该块的矩阵表单的内部。

一个最小的不再编译的示例：

#include <Eigen/Dense>

int main(int argc, char *argv[])
{
  typedef Eigen::Matrix<bool, Eigen::Dynamic, 1> Mtype;
  typedef Eigen::Block<Mtype> Btype;
  typedef Eigen::Ref<Mtype> Rtype;
  Mtype m(2, 1);
  Btype bm = m.block(0, 0, 1, 1);
  Rtype rm = m; // OK
  Rtype rbm = bm; // Visual studio 2017 error C2440: 'initialisation' : impossible conversion
}

注意，const版本确实有效，我认为这是由于recreates的专门化，它重新创建了一个临时副本：

typedef Eigen::Ref<const Mtype> CRtype;
CRtype crbm = bm; // OK

类似地，使用具有行数和cols动态的矩阵类型，还编译：

typedef Eigen::Matrix<bool, Eigen::Dynamic, Eigen::Dynamic> Mtype;
typedef Eigen::Block<Mtype> Btype;
typedef Eigen::Ref<Mtype> Rtype;
Mtype m(2, 1);
Btype bm = m.block(0, 0, 1, 1);
Rtype rbm = bm;

有什么线索吗？

非常感谢!

诚挚的问候,

杰罗姆

Answer 1

特征版本3.3.90是一个开发分支，那里的东西可能会被破坏。使用最新的稳定版本(3.3.7)解决了这个问题。话虽如此，您可以向Eigen提交一个bug报告，以确保这一点被注意到(尽管，当您这样做时，他们可能已经看到了这个帖子)。

Answer 2

我先前的回答在结论上太快了。现在这是固定的：https://bitbucket.org/eigen/eigen/commits/cacb7b4ace39/

尽管如此，将编译时向量保留为编译时向量仍然更好.此信息由Block<VectorXd> (和m.block(0, 0, 1, 0))丢失，因为它在运行时可能有1或0列，例如：

Block<VectorXd> bm = m.block(0, 0, 1, 0);

完全没问题。因此，就你的情况而言，我仍然建议保留这些信息，例如：

auto bm = m.segment(0,1);
auto bm = m.block(0,0,1,fix<1>);       // fix is new in Eigen 3.4
auto bm = m.block<Dynamic,1>(0,0,1,1); // <3.4 version of the above cleaner line

这是一个典型的情况，您应该真正使用auto。您还可以直接初始化Ref，例如：

Ref<MType> rm = m.segment(0,1);