c++ 运算符〈〈的模板类中的友元函数

hts6caw3  于 2023-02-14  发布在  其他
关注(0)|答案(2)|浏览(479)

在.cpp文件中声明模板类的友元函数(对于std::ostream& operator〈〈)**的正确方法是什么?
我当前的实现不起作用:

// MyTest.h
template<class T, unsigned int TSIZE> class MyTest
{
    inline friend std::ostream& operator<< <T, TSIZE> (std::ostream &lhs, const MyTest<T, TSIZE> &rhs);
};

// MyTest.cpp
template<class T, unsigned int TSIZE> inline friend std::ostream& operator<< <T, TSIZE> (std::ostream &lhs, const MyTest<T, TSIZE> &rhs)
{
    // IMPLEMENTATION
}
gojuced7

gojuced71#

要像您一样引用operator<< <T, TSIZE>,这是一个模板专门化,主模板的声明必须可见,而operator<<需要MyTest的声明,因为它作为一个参数出现。

// Declare MyTest because operator<< needs it
template<class T, unsigned int TSIZE> class MyTest;

// Declare primary template
template<class T, unsigned int TSIZE>
inline std::ostream& operator<<(std::ostream& lhs, const MyText<T, TSIZE>& rhs);

template<class T, unsigned int TSIZE> class MyTest
{
    // Specialization MyTest<T, TSIZE> only declares
    // specialization operator<< <T, TSIZE> as friend
    // Note that you can just use '<>' to designate the specialization,
    // template parameters are deduced from the argument list in this case
    inline friend std::ostream& operator<< <> (std::ostream &lhs, const MyTest<T, TSIZE> &rhs);
};

你的定义应该与那些声明相匹配。注意,因为operator<<是一个模板,它的定义应该在头中。
在编写所有这些抢占式声明时,另一种需要较少工作量的方法是MyTest<T, TSIZE>将整个模板声明为友元,而不仅仅是使用MyTest<T, TSIZE>的专门化。

// in MyTest definition
template<typename U, unsigned USIZE>
inline friend std::ostream& operator<<(std::ostream& lhs, const MyTest<U, USIZE>& rhs);

您拥有的定义也应该匹配这样的声明(模板参数的名称与匹配的声明和定义无关)。
为了完整起见,我会提到,当涉及到类模板的友元时,另一种选择是在类模板定义中定义它,这定义了一个非模板友元函数,该函数对于每个专门化都是唯一的。

// in MyTest definition
friend std::ostream& operator<<(std::ostream& lhs, MyTest const& rhs)
{ /* implementation */ }

不可能引用这样的函数(例如&ns::operator<<不起作用,不像其他选项),它们只能通过ADL找到。

eni9jsuy

eni9jsuy2#

我不太清楚最初的帖子想要什么,我假设它想要的是:

// Some template class.
template<class T, unsigned int TSIZE> class MyTest { };

// Some template function.
template<class T, unsigned int TSIZE> std::ostream& operator<< (std::ostream &lhs, const MyTest<T, TSIZE> &rhs)
{
    // IMPLEMENTATION
}

现在需要将这个模板函数声明为类的友元,因为这个函数需要访问My test的保护对象,这可以通过下面的定义来实现:

template<class T, unsigned int TSIZE> class MyTest
{
    template<class T1, unsigned int TSIZE1> 
    friend std::ostream& operator<< (std::ostream &lhs, const MyTest<T1, TSIZE1> &rhs);
};

friend声明之前需要模板头,因为这是一个不相关的模板函数,不属于当前模板类。

相关问题