子类指针转换无效

Question

在以下代码中：

#include "itkImage.h"
#include "itkImageRegionIterator.h"

struct CustomImageBase
{
  virtual void DoSomething() = 0;
};

template <typename TPixel>
struct CustomImage : public itk::Image<TPixel, 2>, public CustomImageBase
{
  void DoSomething()
  {
    itk::Index<2> index;
    index.Fill(0);
    std::cout << this->GetPixel(index);
  }
};

int main(int, char *[])
{
  std::vector<CustomImageBase*> images;

  CustomImage<float>* floatImage = CustomImage<float>::New().GetPointer();
  CustomImage<int>* intImage = CustomImage<int>::New().GetPointer();

  return EXIT_SUCCESS;
}

我收到错误：从 itk::Image* 到 CustomImage* 的无效转换

请注意，这工作正常：

itk::Image<float>* testFloatImage = itk::Image<float>::New().GetPointer();

由于 CustomImage 继承自 itk::Image，我不明白这个问题？

Answer 1

如果 B 派生自 A，则无法将 A* 转换为 B*。如果 C 也派生自 A，并且您的 A* 确实指向 C 对象而不是 >B 对象，如果您假装它是一个 B 会发生什么？转换是不安全的。就您而言，您知道 GetPointer() 将始终返回 CustomImage。编译器不知道这一点。您可以通过使用强制转换来告诉它：

CustomImage<float>* floatImage = static_cast<CustomImage<float>*>(CustomImage<float>::New().GetPointer());

编辑：这正是转换不安全的原因：在阅读有关您问题的评论后，我不相信CustomImage; ::New().GetPointer() 确实指向 CustomImage，如果不是，则强制转换只会将编译器错误转换为运行时错误。

Answer 2

既然CustomImage继承自itk::Image，我不明白这个问题？

由于 CustomImage 继承自 itk::Image，这意味着 CustomImage* 可以隐式转换为 itk::Image*.然而，编译器抱怨相反转换：

无效转换从 itk::Image* 到 CustomImage*

这需要显式类型转换。

我无法编译你的代码，因为我没有先决条件，而且你没有说编译器不喜欢哪一行代码，所以此时很难提供进一步的帮助。

Answer 3

假设这是允许的。现在考虑以下情况：

struct yet_another_image : public itk::Image<TPixel, 2> {
}

yet_another_image img;
itk::Image<TPixel, 2>* ptr = &img; // ok
CustomImage* bad = ptr; // oops!

您可以安全地从指向派生类的指针转换为指向基类的指针，但不能安全地进行相反的转换，因为您不知道所指向的对象是否具有正确的类型。