显式模板特化的语法

Question

gcc-4.9.2 和 clang-3.8 在编译为 C++98 或 C++11 时都接受以下内容，

#include <cstdio>

template <typename T> void f(T) { printf("T\n"); }
template <> void f<int>(int) { printf("int\n"); }    // explicit specialization
template <> void f<>(double) { printf("double\n"); } // explicit specialization -- 14.7.2(7)
template <> void f(float) { printf("float\n"); }     // HERE

int main() {
  f(1L);    // T
  f(10);    // int
  f(10.0);  // double
  f(10.0F); // float
}

我看到在 C++11 标准 §14.7.2(7) 中允许在显式模板特化中推导尾随模板参数，但我找不到标记为 HERE 的简洁形式是否被允许或如何被允许。

这些编译器是一致的还是某些扩展？

Answer 1

C++14 标准 §14.7(3) 有

可以为函数模板、类模板、类模板的成员或成员模板声明显式特化。 template 引入了显式的特化声明。在类模板、类模板的成员或类成员模板的显式特化声明中，显式特化的类的名称应为 simple-template-id。在函数模板或成员函数模板的显式特化声明中，显式特化的函数或成员函数的名称可以是模板ID。

然后演示

template<class U> void g(U) { }
template<> void g(char) { }       //specialize for U == char
                                  // U is deduced from the parameter type

然后我们有§14.7.3(10)

如果可以从函数参数类型推导出来，则可以在命名显式函数模板特化的模板 ID 中未指定尾随模板参数。 [ 例子：

template<class T> class Array { / ... / };
template<class T> void sort(Array<T>& v);

// explicit specialization for sort(Array<int>&)
// with deduced template-argument of type int
template<> void sort(Array<int>&);

——结束示例]