函数模板不能隐藏类名？

Question

这在 GCC 和 Comeau 中有效：

struct X {};

void X() {}

这在 Comeau 中中断：

struct X {};

template< typename T >
void X() {}

这同时中断：

template< typename T >
struct X {};

template< typename T >
void X() {}

该规则由 §3.3.7/2 定义。差异仅仅是因为函数模板不是函数吗？我无法理解 GCC 的行为。

类名 (9.1) 或枚举名称 (7.2) 可以通过在同一作用域中声明的变量、数据成员、函数或枚举器的名称来隐藏。如果类或枚举名称和变量、数据成员、函数或枚举器在同一范围内（以任何顺序）以相同名称声明，则无论变量、数据成员、函数或枚举器在何处，类或枚举名称都会隐藏。枚举器名称可见。

Answer 1

那是因为规范在 14.p5 中说：

类模板不得与任何其他模板、类、函数、变量、枚举、
相同范围 (3.3) 中的枚举数、命名空间或类型，(14.5.5) 中指定的除外。除了一个
函数模板可以由同名的（非模板）函数或其他函数重载
具有相同名称的函数模板（14.8.3），在命名空间范围或类中声明的模板名称
范围在该范围内应是唯一的。