向前声明类模板显式/部分特化有什么意义？

Question

C++98 标准说：

[temp.class.spec] 通过名称查找找不到部分特化声明本身。

如果对于显式特化也是如此，则这会使类模板显式/部分特化的前向声明不可见。

[temp.class.spec.match] 当在需要类实例化的上下文中使用类模板时，有必要确定是使用主模板还是部分模板之一生成实例化专业。

这意味着直到匹配特化的（隐式）实例化点才进行显式/部分特化的选择 - 这仅在需要完全定义类时发生。

在以下示例中，前向声明的显式特化的唯一影响是使程序无法编译。

namespace N
{
    template<class T>
    struct S
    {
    };

    typedef S<char> Type; // name lookup finds S<T>

    template<>
    struct S<char>; // invisible to name lookup

    typedef S<char> Type; // name lookup finds S<T>

    int f(S<char>*); // name lookup finds S<T>

    S<int> object; // implicitly instantiates S<int>

    template<>
    struct S<int>; // illegal, explicit specialization after instantiation
}

N::S<char>* p = 0; // name lookup finds N::S<T>
int i = f(p); // name lookup finds N::f via ADL


N::S<char> object; // illegal, incomplete type N::S<char>

在这两种情况下，使程序编译的唯一方法（除了删除特化）是为这两个特化提供定义在它们被实例化 - 这使得前向声明有点毫无意义。

这种行为在现实世界中有什么实际应用吗？除此之外，这些前向声明还有什么用处吗？

Answer 1

唯一的目的是使程序无法编译是不正确的。在下文中，V2 是“格式错误的；不需要诊断”，而 V1 是格式正确的。

namespace N {
   template<typename T> struct A {
      friend void f(A *a) { } // would take this with V2
   };
}
void f(void*) { } // would take this with V1

namespace N {
/* V1: */ template<> struct A<int>;
}

int main() {
   N::A<int> *p;
   f(p);
}

namespace N {
/* V2: */ template<> struct A<int>;
}