为什么这个内部朋友全局功能不能工作？

Question

template<class T, class M>
struct myPair{
    friend myPair<T, M> my_make_pair(T f, M s){
        myPair<T, M> tmp(f, s);
        return tmp;
    }
    T first;
    M second;
    myPair(){};
    myPair(T f, M s){
        this->first = f;
        this->second = s;
    }
};

int main(){
    myPair<string, int> a = my_make_pair("hello", 2);
    cout << a.first << " " << a.second << endl;
}

错误表示：“my_make_pair”现在在此范围内声明。但为什么以及如何？真的很迷茫......

Answer 1

类中定义的友元只能通过依赖于参数的查找找到，但是my_make_pair("hello", 2) 没有 myPair 类型的参数。所以不起作用。

该函数实际上不必是友元，因此可能只是一个自由函数（在类之外）：

template<class T, class M>
myPair<T, M> my_make_pair(T f, M s){
    myPair<T, M> tmp(f, s);
    return tmp;
}

该函数将被发现，但是...如“hello”< /code> 不是 std::string，无论如何调用都会返回错误类型的对。

您可以通过显式指定类型来让赋值工作：

myPair<std::string, int> a = my_make_pair<std::string, int>("hello", 2);

但是这种方式会剥夺拥有 make 函数的用处。然后，您也可以使用构造函数直接构造该对：

myPair<std::string, int> a {"hello", 2};