新しい固有表現を書く

Question

最新のドキュメントhttps://eigen.tuxfamily.org/dox-devel/TopicNewExpressionType.htmlの後に新しいEigen式を書き込もうとしています。基本的に、私が望むのは、Eigenにはまだ存在しない形状変更機能の一部です。ですから、chop_expr（ここでの固有ベクトル表現）は、入力ベクトルをn倍の行列に変形するべきです。

残念ながら、私が実装したものは、ヒープに割り当てられた式では機能しません。たとえば、以下のコードは動作しませんが、MAXVを10に変更するとすべてが完全になります。

もう一つの問題は、私は行列の乗算を切るとき、固有値は一時を作成しません、私はそうでない場合は、それを必要とすることが判明した程度

enum {Flags = EvalBeforeNestingBit} 

が、私はこの方法は、私はすべてのために一時的に作成することchop_exprを強制することを推測します他の表現も。だから、どうすればいいの？

namespace Eigen { 

template <int chunk, typename Derived> struct ChoppedExpression; 

namespace internal { 

template <int chunk, typename Derived> 
struct traits<ChoppedExpression<chunk, Derived>> : traits<Derived> { 
    enum {Flags = EvalBeforeNestingBit}; 
    enum {IsRowMajor = 0}; 

    enum { RowsAtCompileTime = chunk}; 
    enum {MaxRowsAtCompileTime = chunk}; 

    enum {ColsAtCompileTime = (Derived::RowsAtCompileTime == Eigen::Dynamic 
     ? Eigen::Dynamic : Derived::RowsAtCompileTime/chunk)}; 

    enum {MaxColsAtCompileTime = (Derived::MaxRowsAtCompileTime == Eigen::Dynamic 
     ? Eigen::Dynamic : (Derived::MaxRowsAtCompileTime + chunk - 1)/chunk)}; 
}; 

} // namespace internal 

template <int chunk, class Derived> struct ChoppedExpression 
    : public MatrixBase<ChoppedExpression<chunk, Derived>> { 

    ChoppedExpression(const Derived& arg) : m_arg(arg) { 
    EIGEN_STATIC_ASSERT(Derived::ColsAtCompileTime == 1, 
     YOU_TRIED_CALLING_A_VECTOR_METHOD_ON_A_MATRIX); 

    EIGEN_STATIC_ASSERT(Derived::RowsAtCompileTime % chunk == 0 
     || Derived::RowsAtCompileTime == Eigen::Dynamic, 
     VECTOR_SHOULD_HAVE_INTEGER_NUMBER_OF_CHUNKS_FOR_CHOPPING); 
    } 

    typedef Index Index; 

    EIGEN_DEVICE_FUNC EIGEN_STRONG_INLINE Index rows() const { return chunk; } 
    EIGEN_DEVICE_FUNC EIGEN_STRONG_INLINE Index cols() const { return m_arg.size()/chunk; } 

    typedef typename internal::ref_selector<ChoppedExpression>::type Nested; 
    typedef typename internal::ref_selector<Derived>::type DerivedTypeNested; 

    DerivedTypeNested m_arg; 
}; 

namespace internal { 

template<int chunk, typename Derived> 
struct evaluator<ChoppedExpression<chunk, Derived>> 
    : public evaluator_base<ChoppedExpression<chunk, Derived>> { 

    typedef ChoppedExpression<chunk, Derived> XprType; 
    typedef typename nested_eval<Derived, XprType::ColsAtCompileTime>::type DerivedNested; 
    typedef typename remove_all<DerivedNested>::type DerivedNestedCleaned; 
    typedef typename XprType::CoeffReturnType CoeffReturnType; 

    enum { 
    CoeffReadCost = evaluator<DerivedNestedCleaned>::CoeffReadCost, 
    Flags = traits<XprType>::Flags, IsRowMajor = 0 
    }; 

    evaluator(const XprType& xpr) : m_argImpl(xpr.m_arg) {} 

    EIGEN_DEVICE_FUNC EIGEN_STRONG_INLINE CoeffReturnType coeff(Index row, Index col) const 
    { return m_argImpl.coeff(col * chunk + row); } 

    evaluator<DerivedNestedCleaned> m_argImpl; 
}; 

} // namespace internal 
} // namespace Eigen 

template<int chunk, typename Derived> EIGEN_ALWAYS_INLINE 
EIGEN_DEVICE_FUNC static Eigen::ChoppedExpression<chunk, Derived> 
chop_expr(const Eigen::MatrixBase<Derived> &expr) 
    { return Eigen::ChoppedExpression<chunk, Derived>(expr.derived()); } 


#define MAXV -1 

Eigen::Matrix<double, -1, 1, 0, std::max(3*MAXV, -1)> _blendshapes(2, 1); 

int main() { 
    for (int i = 0; i < 2; ++i) _blendshapes[i] = double(i + 10); 

    std::cout << chop_expr<2>(_blendshapes + Eigen::Matrix<double, 2, 1>(1, 1)) << std::endl; 
} 

更新

最後に、私はそれを動作させるための方法を発見しました。解決策は、DerivedNestedとDerivedNestedCleanedのtypedefを削除することです（私の表現では変更する必要はありませんが、誤った結果が生じる理由は説明できません）。したがって、残っている唯一の質問は、EvalBeforeNestingBitについて何をすべきですか？

Answer 1

EvalBeforeNestingBitは不要ですが、エバリュエーターにフラグを伝播するときは注意が必要です。

Flags = traits<XprType>::Flags&HereditaryBits