#include <iostream>
using namespace std;
template <typename T>
class test
{
T y;
public:
test(T k) : y(k) {}
friend int a(T& x);
};
template <typename T>
int a(T& x)
{
cout << x.y;
return 9;
}
template <>
class test<int>
{
int y;
public:
test(int k) : y(k) {}
friend int a(int& x);
};
template <>
int a<int>(int& x)
{
cout << "4";
return 0;
}
int main(int argc, char* argv[])
{
test<int> z(3);
a(z);
return 0;
}
我想创建一个测试类的朋友类(在实际情况下,它是一个运算符&lt;&lt; of ofstream)。但我不知道如何定义专门类的模板友好函数。
此外,上面的代码显示了此编译错误消息;
错误C2248:'test :: y':无法访问声明的私有成员 class'test'
问题已添加;
Aaron McDaid对我很好,但我试图重载运算符&lt;&lt; ofstream类。
friend ofstream& operator<< <test<int>> (ofstream& os, const test<int>& t);
我将上面的代码添加到测试类和
template<>
ofstream& operator<< <test<int> > (ofstream& os, const test<int>& t)
{
os << t.y;
return os;
}
使用上面的代码。但看起来我不能使用os&lt;&lt; t.y( int )我不明白为什么会这样。错误消息是
错误C2027:使用未定义类型'std :: basic_ofstream&lt; _Elem,_Traits&gt;'
答案 0 :(得分:4)
这位朋友不是模板,而是普通的功能:
friend int a(T& x);
要拥有也是朋友的模板,请尝试:
template<class U>
friend int a(U& x);
在评论中讨论之后,或许我应该表明我打算为test
类及其专业化做出这些声明:
template <typename T>
class test
{
T y;
public:
test(T k) : y(k) {}
template<class U>
friend int a(U& x);
};
template <>
class test<int>
{
int y;
public:
test(int k) : y(k) {}
template<class U>
friend int a(U& x);
};
稍微不利的是,这使得所有a
类的所有test
函数成为朋友,但这通常不是一个大问题。
答案 1 :(得分:2)
(更新:这是http://ideone.com/3KGU4上完全测试的版本。对于其他问题,请参阅http://ideone.com/w0dLo)
普通重载函数和模板函数之间存在差异。例如,在没有任何模板引用的情况下,开发人员可以声明:
void f(int x);
void f(char *x);
或者,开发人员可以使用模板
template <class T> void f(T x);
它们之间的主要区别在于,对于普通函数,您必须事先确定一组固定的允许参数,并且必须为每个函数提供一个实现。使用模板,您可以更灵活。
稍后在您的程序中,很明显您希望a
成为模板函数,而不仅仅是(重载)普通函数。但是当编译器第一次看到提到a
(第10行)时,看起来它正在声明一个普通的函数。要解决此问题,您必须采取两个步骤。您必须尽快声明a
是模板函数,因此您的第一行应该是:
template <typename T> int a(T& x);
然后你必须宣布相关的友谊。如果T
为int
,则a
的参数为test<int>&
,而不是int&
。因此,两个朋友行应替换为:
friend int a<test<T> >( test<T> & x); // around line 10
friend int a<test<int> >( test<int> & x); // around line 27
并且a
的专业化应该是:
template <>
int a< test<int> >(test<int>& ) // around line 30
附加问题
如果您只输出文件而不输出ostream
,请使用ofstream
代替#include <fstream>
(或者包括cout
。在我的回答中,operator <<
不是模板,而是正常的重载函数。我不确定是否可以将operator<<
作为模板。此外,我在声明它并声明为朋友的地方定义了运算符。说实话,我认为还有其他的,可能更好的方式,但这对我有用。
答案 2 :(得分:0)
试试这个,it works
#include <iostream>
using namespace std;
template <typename T>
class test;
template <typename T>
int a( test<T>& x);
template <typename T>
class test
{
T y;
public:
test(T k) : y(k) {}
friend int a<T>( test<T>& x);
};
template <typename T>
int a( test<T>& x)
{
cout << x.y;
return 9;
}
template <>
class test<int>
{
int y;
public:
test(int k) : y(k) {}
friend int a<int>( test<int> & x);
};
template <>
int a< int >( test<int> & x)
{
cout << "4";
return 0;
}
int main(int argc, char* argv[])
{
test<int> z(3);
a(z);
return 0;
}
问题是,模板函数a
采用test
模板类的参数。如果你想让它们都具有相同的模板参数,那么IMO你需要明确说明
template <typename T>
int a( test<T>& x);
a
(int
)的函数template<> int a(int& x)
的专业化在这里也没用。你需要
template <> int a<int>( test<int> & x)