具有模板的C ++调用函数具有继承性

Question

所以我有一个定义TileGrid的类：

template<typename T>
class TileGrid { ... };

我用名为ImageTile的类填充模板

class ImageTile { ... };

我有一个ImageTile子类， ImageTile已定义如下：

class FFTWImageTile : public ImageTile { ... };

在一个单独的文件中，我定义以下函数：

void writeDataToFile(TileGrid<ImageStitching::ImageTile> * grid, std::string fileName);

（注意： ImageTile和FFTWImageTile都在ImageStitching命名空间中）

现在，以上所有代码都可以正常编译，但是当我尝试使用它时，会出现错误。

这是一个使用它的示例测试用例：

namespace is = ImageStitching;
TileGrid<is::FFTWImageTile> * grid = new TileGrid<is::FFTWImageTile> ( ... );
writeTranslationsToFile(grid, "output.txt");

编译测试用例时，出现以下错误：

error: cannot convert 'TileGrid<ImageStitching::FFTWImageTile>*' to 'TileGrid<ImageStitching::ImageTile>*' for argument '1' to 'void writeTranslationsToFile(TileGrid<ImageStitching::ImageTile>*, std::string)'

无论如何，我可以在C ++中做到这一点？ 我四处张望，似乎无法找到一些帮助，使该函数的参数带有具有子/父关系的模板。

编辑：

每个人的答案都非常出色，每个人都能解决所提出的问题。 我认为决定移至C ++ 11并针对此特定情况使用断言。 将来，我想我将向该函数添加一个模板，并确保以这种方式获取数据。 谢谢大家的帮助！ 我已经标出了我认为最好的答案，尽管每个答案都是可以接受的。

Answer 1

之所以会出现错误，是因为尽管FFTWImageTile是从ImageTile派生的， ImageTile TileGrid<FFTWImageTile>和TileGrid<ImageTile>绝对是不相关的类。

如何解决此问题取决于您未显示的类的实现。 也许您可以使writeDataToFile()模板化：

template<typename T>
void writeDataToFile(TileGrid<T> * grid, std::string fileName);

Answer 2

您使用生成两个不同的类

TileGrid<ImageStitching::ImageTile>

和

TileGrid<is::FFTWImageTile>

它们除了从同一模板生成之外没有其他关系。 您可能希望从类TileGrid<ImageStitching::ImageTile>派生一个具有实际子类的类型用途。

您可以对函数writeDataToFile模板化，但是要对模板参数实施类型限制，则应使用类似...

static_assert(is_base_of<T, ImageStitching::ImageTile>>(), "T is not a base of ImageTile");

• static_assert
• is_base_of

Answer 3

适合您的选项。

1. 使writeDataToFile函数模板。

    template <typename T> void writeDataToFile(TileGrid<T> * grid, std::string fileName); 

   在此功能的实现中，请使用另一个功能模板来编写图块的各个元素。

    template <typename T> void writeTileElement(T const& tileElement, std::ostream& out); 

   您可以创建writeTileElement重载版本，以对不同类型的对象进行特殊处理。

2. 使用TileGrid的ImageTile*代替ImageFile 。

    void writeDataToFile(TileGrid<ImageStitching::ImageTile*> * grid, std::string fileName);