Explizite Typ-Deklaration Vs automatisch in Eigen-Ausdrücke in C++

Question

Ich benutze Eigen-Bibliothek in C++ und stieß auf ein seltsames Problem.

Eigen::VectorXd someV(){ 
    Eigen::VectorXd a(3); 
    a(1)=1.2; 
    a(2)=2.3; 
    a(0)=3.2; 
    return a; 
} 

int main(){ 
    auto c=2.*someV(); 
    std::cout<<c; 
    return 0; 
} 

gibt nichts zurück.

int main(){ 
    auto c=someV(); 
    c *= 2.; 
    std::cout<<c; 
    return 0; 
} 

gibt das gewünschte Ergebnis zurück. Beachten Sie außerdem, dass die explizite Typdeklaration das Problem löst.

int main(){ 
    Eigen::VectorXd c=2.*someV(); 
    std::cout<<c; 
    return 0; 
} 

Warum ist die Verwendung von Auto im ersten Fall falsch?

Answer 1

Eigen verwendet Expressionsvorlagen, um die Optimierung von Ausdrücken zu ermöglichen. Dies bedeutet, dass der Rückgabetyp keine Instanz von Eigen::VectorXd ist und stattdessen eine Vorlage ist, die die Operation darstellt, die alles auswertet, wenn sie einem Vektor zugewiesen wird. In Ihrem Fall wieder die Art von Typ ist

Eigen::MatrixBase<Eigen::Matrix<double, -1, 1>>::ScalarMultipleReturnType 

, die ein typedef von

Eigen::CwiseUnaryOp<Eigen::internal::scalar_multiple_op<double>, const Eigen::Matrix<double, -1, 1>> 

Normalerweise ist dies in Ordnung sein würde, ist das Ergebnis zurück in einen Vektor umgewandelt werden, wenn sie zugeordnet ist. In Ihrem Fall wird es jedoch nicht zurückkonvertiert, da die auto als temporärer Ergebnistyp abgezogen wird. Dies war wahrscheinlich nicht von den Autoren der Bibliothek beabsichtigt und ist die Ursache für die Probleme, die Sie mit dem Drucken hatten.

Mit Ihrem zweiten Fall wird die als vom Typ Eigen::VectorXd abgeleitet. Dies bereitet keine Probleme beim Drucken mit std::cout.