关于Eigen::Matrix3f使用左移运算符赋值的技术疑问

Great question! Let's unpack your two main confusions about this Eigen code snippet:

Eigen::Matrix3f rotationZ;
rotationZ << std::cos(angle), -std::sin(angle), 0,
             std::sin(angle), std::cos(angle), 0,
             0, 0, 1;

1. Why does the left-shift operator work with non-integer values like sine/cosine? #

First off, this isn't the standard C++ left-shift operator you might know from bitwise operations or std::cout output. The Eigen library has overloaded the operator<< specifically for its matrix/vector types.

Instead of shifting bits or streaming to an output, Eigen's version of operator<< is designed to accept any numeric type (integers, floats, doubles—all work!) and sequentially assign those values to the matrix's elements. By default, it fills the matrix in row-major order (left-to-right, top-to-bottom), which matches how we write matrices mathematically.

In your code, std::cos(angle) and std::sin(angle) return floating-point values (since angle is presumably a float/double), and Eigen's overloaded operator handles these perfectly because it's built to work with floating-point matrix types like Matrix3f (a 3x3 float matrix).

2. Why use this operator instead of other assignment methods? #

The biggest advantage is readability and simplicity:

• It lets you write matrix initialization code that visually mirrors the mathematical structure of the matrix. You can align the values into rows (like in the snippet above) and instantly see that this is a Z-axis rotation matrix—something that's far harder to parse if you assigned each element individually with rotationZ(row, col) = value;.
• It reduces boilerplate code. Instead of writing 9 separate assignment lines for a 3x3 matrix, you can initialize the entire matrix in one concise, expressive block.
• It supports flexible chaining: you can even mix partial initializations or combine vectors/matrices with individual values if needed, though in your case it's used for a full matrix setup.

For comparison, here's what the same initialization would look like without operator<<:

Eigen::Matrix3f rotationZ;
rotationZ(0, 0) = std::cos(angle);
rotationZ(0, 1) = -std::sin(angle);
rotationZ(0, 2) = 0;
rotationZ(1, 0) = std::sin(angle);
rotationZ(1, 1) = std::cos(angle);
rotationZ(1, 2) = 0;
rotationZ(2, 0) = 0;
rotationZ(2, 1) = 0;
rotationZ(2, 2) = 1;

As you can see, the operator<< version is much cleaner and easier to verify at a glance.

内容的提问来源于stack exchange，提问作者Tuấn Phạm