new-operator - eigen3：将 Map 的新语法放置到 const 值

Question

大家好：我对 Eigen3 和新的放置语法有点困惑，因为这段代码有效：

double ptr1[9]={1,2,3,4,5,6,7,8,9};
const double ptr2[9]={1,2,3,4,5,6,7,8,9};
Map<Matrix<double,3,3> >    mUseless(ptr1);
new (&mUseless) Map<const Matrix<double,3,3> > (ptr2);
mUseless(1,1)=6.0;

如果 mUseless 现在指向一个 const double，为什么这段代码有效？

Answer 1

调用placement new 不会更改对象的类型，并且由于mUseless不是a Map<const ...>，因此您可以更改引用值的内容是完全正常的。

实际上，您的代码类似于 a reinterpret_castfrom a Map<const Matrix<double,3,3> >to a Map<Matrix<double,3,3> >。