正确使用Eigen :: Ref <>类

Question

Eigen引入了用于将Eigen对象的函数作为参数编写的参数，而不需要使用不必要的临时对象，而不需要编写模板函数。人们可以阅读关于这个here。

当进一步搜索互联网时，我发现使用Ref类的参数有几个不同的声明。在Eigen文档中，他们使用const Eigen::Ref<const Eigen::MatrixXf>&作为第一个示例中的只读参数。在第二个示例中，引入了Eigen::Ref<Eigen::MatrixXd>用于读写参数，但此处const Eigen::Ref<const Eigen::MatrixXd>用于只读参数（无参考）。所以我的问题是：

是什么下面的声明之间的差异，做时，我使用的`

1. const Eigen::Ref<const Eigen::MatrixXd>&
2. const Eigen::Ref<const Eigen::MatrixXd>
3. const Eigen::Ref<Eigen::MatrixXd>&
4. const Eigen::Ref<Eigen::MatrixXd>
5. Eigen::Ref<const Eigen::MatrixXd>&
？
6. Eigen::Ref<const Eigen::MatrixXd>
7. Eigen::Ref<Eigen::MatrixXd>&
8. Eigen::Ref<Eigen::MatrixXd>

为了完整性I所列常量使用和参考的每个可能的组合。

Answer 1

一般来说，使用像Ref<T>&这样的非const引用永远不是一个好主意，因为这只有在调用者手头已有Ref<T>对象的情况下才有效。这丢弃5和7.

情况3和4没有意义，他们将不会编译通常。

然后，没有一个const Ref<const T>和const Ref<const T>&太大的区别，因为它是不太可能的函数调用现有Ref<const T>对象，所以Ref<const T>将在大多数情况下，要创建反正。尽管如此，我们仍然可以推荐1个超过2或6.

因此，总而言之，我们可以推荐Ref<T>作为可写参考，而const Ref<const T>&作为const参考。

选项6，Ref<const T>，如果你想使用placement new通过调用所引用的基质（而不是它的内容）更改为Ref构造可能仍然很有趣。