没有 <> 的模板专业化

Question

C++03和C++11在[temp.friend]第一段中有：

[编辑引用。第一次尝试错过了措辞的第二个差异。]

对于不是模板声明的友元函数声明：

1. 如果朋友的名字是合格的或不合格的template-id，朋友声明是指一个函数模板的特化，否则

2. 如果朋友的名字是 qualified-id 并且在指定的类或命名空间中找到匹配的非模板函数，则朋友声明引用该函数，否则，

3. [C++03:] 如果朋友的名字是一个 qualified-id 并且在指定的类或命名空间中找到了一个函数模板的匹配特化，朋友声明是指该函数模板特化，否则，

   [C++11:] 如果朋友的名字是一个 qualified-id 并且在指定的类或命名空间中找到匹配的函数模板，朋友声明引用推导的该函数模板的特化，否则，

4. 名称应为声明（或重新声明）普通（非模板）函数的 unqualified-id。

[措辞的变化对我来说似乎是澄清。虽然我猜可能有不同的方式来解释 C++03 关于“在类或命名空间中寻找专业化”的措辞。]

我对第三颗子弹很好奇。我编写此代码以尝试满足其要求，但 g++ 4.8.1 和 clang++ 3.4 都拒绝该代码，无论是使用 -std=c++03 还是 -std=c++11：

template <class T> class R;
namespace N {
    template <class T> void test(const R<T>&);
}

template <class T>
class R {
    friend void N::test(const R<T>&);  // 8
    int m;
};

template <class T>
void N::test(const R<T>& rec) { rec.m; }

int main() {
    R<int> r;
    N::test(r);
}

当然，如果我将第 8 行更改为

friend void N::test<>(const R<T>&);

第一个项目符号适用并且程序被接受。 g++ 会打印一个有用的警告，说朋友“声明了一个非模板函数”，并建议我可能想要这样做。为了清晰和安全，代码可能也会获得更多样式点。

但是上面的代码不应该被第三个项目符号覆盖并且有效吗？朋友声明不是模板声明，它使用不是 template-id 的 qualified-id 作为名称。并且没有与第二个项目符号匹配的非模板函数声明。

这只是两者共同的编译器错误吗？还是我误解了什么？如果有，有没有演示第三个项目符号的程序示例？

Answer 1

在 //8 行， 修改代码为： friend void N::test< R<T> >( R<T>&); 也正确。

friend void N::test<R<T>>(const R<T>&);//one type is friend with one type  #1
friend void N::test<>(const R<T>&);// one type is friend with one type    #2

我使用一些代码证明 #1 等于 #2

最后，我试着回答你的问题。我不确定这是对的。

 friend void N::test(const R<T>&);

在实例化类 R 时，R<T> 是已知类型。但是，功能是

声明为友元函数并且真的不实例化函数模板，那么

朋友功能是一个不存在的功能。从语法的角度来看，

编译器会提示你它是一个函数而不是一个模板

N::test (r);

在这个地方实例化了函数，但是编译器不匹配一个

朋友在R类中声明之前，因为你没有在R中声明为模板

类，你只需声明一个函数。

Answer 2

我认为 是进行扣除的条件，因为从 14.8.2.6 开始，

在其 declarator-id 引用函数模板的特化的声明中，执行模板参数推导以识别声明所引用的特化。具体来说，这是针对显式实例化 (14.7.2)、显式特化 (14.7.3) 和某些友元声明 (14.5.4) 完成的。

在这种情况下，declarator-id 不是特化，因此不会进行推导。

Answer 3

N::test 是一个模板函数，它接受一个名为T 的类。它不需要一个名为R<T> 的类。适当更改功能，它就会起作用。

namespace N
{
    template <class T>
    void test ( const T & );
}

template <class T>
class R
{
    friend void N::test ( const R<T> & );
    int m;
};

template <class T>
void N::test ( const T & rec ) { rec.m; }

int main ( )
{
    R<int> r;
    N::test ( r );
}