返回 Eigen::Ref 合法吗?
Is returning Eigen::Ref legit?
Eigen 的文档解释了如何将 Eigen::Ref
用作函数参数。将它也用作函数 return 值是个好主意吗?
例如
class XyTracker : public XyListener {
public:
XyTracker() = default;
XyTracker(XyTracker&&) = default;
XyTracker& operator=(XyTracker&&) = default;
const Eigen::Ref<const Eigen::ArrayXXd> Xs() const;
const Eigen::Ref<const Eigen::ArrayXd> Ys() const;
// XyListener
void OnXy(const Eigen::VectorXd& x, double y) final;
private:
Eigen::ArrayXXd xs_;
Eigen::ArrayXd ys_;
Eigen::Index n_ = 0;
};
inline const Eigen::Ref<const Eigen::ArrayXXd> XyTracker::Xs() const {
return xs_.topRows(n_);
}
inline const Eigen::Ref<const Eigen::ArrayXd> XyTracker::Ys() const {
return ys_.head(n_);
}
正如评论中已经指出的那样,返回 Ref
对象没有任何问题,只要您确保您所引用的对象在您使用引用时仍然有效.
简化示例:
struct A {
ArrayXXd xs;
Ref<const ArrayXXd> Xs() const {
return xs.topRows(5); // works (when used properly)
}
Ref<const ArrayXXd> NotWorking() const {
ArrayXXd foo = 2*xs;
return foo.topRows(5); // compiles, but will give U.B.
};
// usage:
A a;
a.xs.setRandom(10,10);
Ref<const ArrayXXd> r1 = a.Xs();
// fine to use r1 here
a.xs.setRandom(20,20);
// from here on r1 will point to non-existing memory
// i.e., using r1 will be U.B.
U.B。 (未定义的行为)示例基本上都是释放后使用,不幸的是,编译器几乎无法检测到,因此在使用 Eigen::Ref
时需要多加小心。 UB 可能意味着你的单元测试工作,虽然你的代码很糟糕,但突然在生产中你会遇到段错误......
Eigen 的文档解释了如何将 Eigen::Ref
用作函数参数。将它也用作函数 return 值是个好主意吗?
例如
class XyTracker : public XyListener {
public:
XyTracker() = default;
XyTracker(XyTracker&&) = default;
XyTracker& operator=(XyTracker&&) = default;
const Eigen::Ref<const Eigen::ArrayXXd> Xs() const;
const Eigen::Ref<const Eigen::ArrayXd> Ys() const;
// XyListener
void OnXy(const Eigen::VectorXd& x, double y) final;
private:
Eigen::ArrayXXd xs_;
Eigen::ArrayXd ys_;
Eigen::Index n_ = 0;
};
inline const Eigen::Ref<const Eigen::ArrayXXd> XyTracker::Xs() const {
return xs_.topRows(n_);
}
inline const Eigen::Ref<const Eigen::ArrayXd> XyTracker::Ys() const {
return ys_.head(n_);
}
正如评论中已经指出的那样,返回 Ref
对象没有任何问题,只要您确保您所引用的对象在您使用引用时仍然有效.
简化示例:
struct A {
ArrayXXd xs;
Ref<const ArrayXXd> Xs() const {
return xs.topRows(5); // works (when used properly)
}
Ref<const ArrayXXd> NotWorking() const {
ArrayXXd foo = 2*xs;
return foo.topRows(5); // compiles, but will give U.B.
};
// usage:
A a;
a.xs.setRandom(10,10);
Ref<const ArrayXXd> r1 = a.Xs();
// fine to use r1 here
a.xs.setRandom(20,20);
// from here on r1 will point to non-existing memory
// i.e., using r1 will be U.B.
U.B。 (未定义的行为)示例基本上都是释放后使用,不幸的是,编译器几乎无法检测到,因此在使用 Eigen::Ref
时需要多加小心。 UB 可能意味着你的单元测试工作,虽然你的代码很糟糕,但突然在生产中你会遇到段错误......