模板函数在类模板中的明确的朋友专业化

Question

我面临的情况是出现了两个有关ADL和模板功能专业化在某些情况下如何工作的问题。

1. 为什么我不能用COUT朋友专业化的定义里面？ 在这种情况下我收到一个链接错误，指出basic_stream未定义，但如果我切换到调用cat编译继续。

   template<class T> 
   void func1(T&){ 
       ... 
   } 
   
   void cat(){ cout << "foo.func1" <<endl; } 
   
   namespace first{ 
       template<class R> 
       struct foo{ 
        friend void func1<>(foo<int>&){ 
         cout << "foo.func1" <<endl; // cat(); 
        }   
       };  
   } 
   
   foo<int> f; 
   func1(f); 
   

2. 为什么ADL当我改变专业化指模板类PARAM不适？ 如果我对ADL技工没有任何错误，为了解决func1在3中调用的正确版本（例如global（1）或friend defined one（2）），它会收集所有可能的匹配并选择最具体的一。而且，我认为最具体的一个是版本func1，因为不是将函数参数指定为完全依赖于模板参数，而是指定具体类型foo，其中func1不在1中，但ADL选择func1无论如何。这是为什么 ？

   template<class T> 
   void func1(T&){  // 1 
       ... 
   } 
   
   namespace first{ 
       template<class R> 
       struct foo{ 
        friend void func1<>(foo<R>&){  // 2 
         cout << "foo.func1" <<endl; 
        }   
       };  
   } 
   
   foo<int> f; 
   func1(f);  // 3 
   

Answer 1

模板参数无关与朋友的声明。你需要随身携带他们在friend声明消除歧义：

template<class R> 
struct foo{ 
    template<typename U> 
    friend void func1<U>(foo<U>&){ 
     cout << "foo.func1" <<endl; // cat(); 
    }   
};  

也为你的情况，你应该决定，如果你想要把如上内联朋友定义，或者只是提供了一个声明：

template<class R> 
struct foo{ 
    template<typename U> 
    friend void ::func1<U>(foo<U>&); 
};  

后者应明确匹配在全局命名空间的friend模板功能，并可以根据需要进行专业化：

template<> 
void func1(int&){ 
    // ... 
} 

template<> 
void func1(std::string&){ 
    // ... 
} 

// a.s.o. 

Answer 2

你不需要提供func1的专业化。只需提供过载：

namespace first { 
    template <class R> 
    struct foo { 
     friend void func1(foo&){ 
      std::cout << "foo.func1" << std::endl; 
     } 
    }; 
} 

int i; 
first::foo<int> f; 

func(i); // calls ::func<int> 
func1(f); // calls first::func1(first::foo<int>&); 

否则，你可以朋友specizliation，但你不能定义在类体内专业化：

template <class R> 
struct foo { 
    friend void func1<>(foo&); // friends ::func1<foo<R> > 
};