作用域解析运算符和从属名称

我有以下测试代码

#include <iostream>
template <typename T>

struct PS
{
   template <typename U>
   static void foo()
   {
       std::cout<<"Some test code";
   }
};

template <typename T>
void bar()
{
   PS<T>::template foo<T>(); //won't compile without `::template`
}

int main()
{
   bar<int>();
}

ISO C++ 03 14.2/4 说

当成员模板专用化的名称出现时 之后。或-gt; 在后缀表达式中,或在限定ID中嵌套名称说明符之后,后缀表达式或限定ID显式依赖于模板参数(14.6.2),成员 模板名称必须以关键字template作为前缀。否则,假定该名称命名非模板 .

标准中提到 -> 和 . 但不是关于 :: . 它是C++ 03标准中的缺陷还是我遗漏了什么?有人请开导我。

然而,措辞在 N3126

当成员模板专用化的名称出现在 . 或-gt; 在post_x表达式中或在限定ID中的嵌套名称之后指定,以及在限定ID中的post_x表达式或嵌套名称指定的对象或指针表达式取决于模板参数(14.6.2)。 但不引用当前实例化的成员 (14.6.2.1),成员模板名称必须为 由关键字模板预处理。否则,将假定该名称命名非模板。

有人能举个例子来说明 but does not refer to a member of the current instantiation 在C++ 0x上下文中的方法?

-PS