now I transform the moving image with the Transform_1 and expect its output should be the same as Volume_7. I thought it should be a valid assumption, unless I misunderstood a part or so?
this is moving after being transformed by this transformation:
Both are correct and about the same in physical space, they just have different geometry (origin, spacing, axis directions).
Elastix is based on the ITK library. ITK cannot easily extrapolate transforms, so usually it only computes transformed moving image in the fixed volume’s geometry. It simply cuts off any parts of the transformed moving image that is outside of the fixed image.
Slicer uses both ITK and VTK, and it takes advantage of VTK’s more advanced transform infrastructure, which can smoothly extrapolate and invert any transforms on-the-fly. The result is that Slicer can harden the transform on the moving image without cutting off any part of the image. If harden a rigid transform then operation is lossless (the image is not resampled). If you prefer setting a specific geometry then you can resample the image on a chosen reference image.