C++某些类型的模板函数的特殊实例，该类型本身就是模板类

Question

我在创建非模板类的成员模板函数的特殊实例时遇到了麻烦。例如，我有一个带有模板成员函数 F: 的类 A，

class A
   {public:
      template <class T> int F (T arg) const;
      ....
   }

并且想要为类型 B: 有一个该模板函数 F 的特殊实例，

class B;
...
template <> void A::F (B arg) const //GOOD!

并且它工作得很好，直到出现 B 本身就是一个模板！

这段代码

template <class T> class B ...
...
template <> void A::F (B<T> arg) const //error, T undeclared

也

template <class T> class B ...
...
template <class T> template <> void A::F (B<T> arg) const //error, too many templates

给出了编译错误。

第二个问题是，如何将这个特殊实例（或整个模板实例）声明为B类的友元函数？ （即使 B 不是模板，它也不起作用）。

class B
   {friend template <> void A::F (B arg) const // error
     // as well as
    template <> friend void A::F (B arg) const // error
   }

有没有办法以我想要的方式编写代码，或者这是不可能的？

Answer 1

您试图为函数模板创建部分特化，这是非法的。您可以做的就是简单地创建一个过载。

要创建朋友，您只需使用正确的语法即可。

以下编译无错误。

template <typename T>
struct B {};

struct A
{
    template <typename T>
    void F(T arg) const;

    template <typename T>
    void F(B<T> arg) const;

    template <typename T>
    friend void G(B<T> arg);

    template <typename T>
    friend struct B;
};