c++ - 没有 <> 的模板 bool 函数，这是什么意思？

Question

FLIF图像库定义如下:

template bool flif_decode(FileIO& io, Images &images,
    callback_t callback, void *user_data, int, Images &partial_images,
    flif_options &, metadata_options &, FLIF_INFO* info);

我看过模板特化，但它仍然有尖括号。这是什么意思？

Answer 1

编译器通常能够在显式模板实例化中推导出模板参数，这就是事实。

引用[t​​emp.explicit] (exmphasis mine)

If the explicit instantiation is for a function or member function, the unqualified-id in the declaration shall be either a template-id or, where all template arguments can be deduced, a template-name or operator-function-id.

标准提供了这个附带的例子:

template void sort(Array<char>&); // argument is deduced here

在您的示例中，函数声明(也是定义)如下所示:

template <typename IO>
bool flif_decode(IO& io, /*etc*/) { /*...*/}

所以当我们稍后看到这样的显式实例化时:

template bool flif_decode(FileIO& io, /*etc*/);

编译器能够推断出 FileIO 是您希望用于 typename IO 的类型