c++ - 一个模板类的朋友模板函数

Question

如何使以下代码工作：

#include <array>
#include <iostream>

template<typename T>
class MyClass;

template<typename T, size_t N>
MyClass<T> myFun( const std::array<T, N>& a );

template<typename T>
class MyClass
{
    MyClass( size_t n )
    { std::cout << "Ctor with n = " << n << '\n'; }

    template<size_t N>
    friend MyClass<T> myFun<T, N>( const std::array<T, N>& a );
};


template<typename T, size_t N>
MyClass<T> myFun( const std::array<T, N>& a )
{
    return MyClass<T>( N );
}


int main()
{
    std::array<int, 3> a;
    myFun( a );
    return 0;
}

gcc 不喜欢template<size_t N>在前面friend声明：

错误：在主模板朋友 MyClass myFun( const std::array& a ) 的声明中无效使用模板 ID 'myFun'；

Answer 1

您只需将模板的前向声明复制到您的friend声明中：

template<typename T>
class MyClass
{
    MyClass( size_t n )
    { std::cout << "Ctor with n = " << n << '\n'; }

    template<typename T1, size_t N>
    friend MyClass<T1> myFun( const std::array<T1, N>& a );
};