C++类模板的友元函数模板问题

soloforce

在类模板中声明一友元函数模板，结果编译无法通过。 想破头也不明白哪里错了。
哪位C++高手帮忙一下！

[php]

// file : b3.cc

#include <iostream>
using namespace std;

template<typename T> class A;

template<typename T>
A<T> operator+(A<T> const& rhs1, A<T> const& rhs2)
{
    A<T> ret(rhs1.data+rhs2.data);
    return ret;
}

template<typename T>
class A{
friend A<T> operator+ <T>(A<T> const&, A<T> const&);
private:
    T data;
public:
    A(T const& x):data(x){}
    void show() const { cout<<data<<endl; }
};


int main()
{
    A<int> a(9);
    A<int> b(8);
    A<int> c=a+b;
    c.show();
}
[/php]

$ gcc -v
使用内建 specs。
目标：i686-pc-linux-gnu
配置为：/var/tmp/portage/gcc-4.1.1-r1/work/gcc-4.1.1/configure --prefix=/usr --bindir=/usr/i686-pc-linux-gnu/gcc-bin/4.1.1 --includedir=/usr/lib/gcc/i686-pc-linux-gnu/4.1.1/include --datadir=/usr/share/gcc-data/i686-pc-linux-gnu/4.1.1 --mandir=/usr/share/gcc-data/i686-pc-linux-gnu/4.1.1/man --infodir=/usr/share/gcc-data/i686-pc-linux-gnu/4.1.1/info --with-gxx-include-dir=/usr/lib/gcc/i686-pc-linux-gnu/4.1.1/include/g++-v4 --host=i686-pc-linux-gnu --build=i686-pc-linux-gnu --disable-altivec --enable-nls --without-included-gettext --with-system-zlib --disable-checking --disable-werror --disable-libunwind-exceptions --disable-multilib --disable-libmudflap --disable-libssp --disable-libgcj --enable-languages=c,c++,fortran --enable-shared --enable-threads=posix --enable-__cxa_atexit --enable-clocale=gnu
线程模型：posix
gcc 版本 4.1.1 (Gentoo 4.1.1-r1)

$ g++ b3.cc
/usr/lib/gcc/i686-pc-linux-gnu/4.1.1/include/g++-v4/bits/stl_iterator_base_types.h: In instantiation of ‘std::iterator_traits<int>’:
/usr/lib/gcc/i686-pc-linux-gnu/4.1.1/include/g++-v4/bits/stl_iterator.h:98:   instantiated from ‘std::reverse_iterator<int>’
b3.cc:15:   instantiated from ‘A<int>’
b3.cc:26:   instantiated from here
/usr/lib/gcc/i686-pc-linux-gnu/4.1.1/include/g++-v4/bits/stl_iterator_base_types.h:129: 错误：‘int’ 不是类、 结构或联合类型
/usr/lib/gcc/i686-pc-linux-gnu/4.1.1/include/g++-v4/bits/stl_iterator_base_types.h:130: 错误：‘int’ 不是类、 结构或联合类型
/usr/lib/gcc/i686-pc-linux-gnu/4.1.1/include/g++-v4/bits/stl_iterator_base_types.h:131: 错误：‘int’ 不是类、 结构或联合类型
/usr/lib/gcc/i686-pc-linux-gnu/4.1.1/include/g++-v4/bits/stl_iterator_base_types.h:132: 错误：‘int’ 不是类、 结构或联合类型
/usr/lib/gcc/i686-pc-linux-gnu/4.1.1/include/g++-v4/bits/stl_iterator_base_types.h:133: 错误：‘int’ 不是类、 结构或联合类型

soloforce

[php]
template<typename T>
class A{

private:
    T data;
public:
    template<typename Type> friend A<Type> operator+(A<Type> const&, A<Type> const&);
    A(T const& x):data(x){}
    void show() const { cout<<data<<endl; }
};
[/php]
如果采用非绑定（一对多）声明友元操作符函数模板，就可以通过编译。记得标准里头允许友元模板操作符函数的绑定式（一对一：即类实例化和函数实例化是一一映射关系）啊。。。 对于一般性的非操作符函数也实验了可以绑定式声明的。。。。真是怪了，莫非gcc还未实现？

manphiz

3. // file : b3.cc
5. #include <iostream>
6. using namespace std;
8. template<typename T> class A;
10. template<typename T>
11. A<T> operator+(A<T> const& rhs1, A<T> const& rhs2)
12. {
13.     A<T> ret(rhs1.data+rhs2.data);
14.     return ret;
15. }
17. template<typename T>
18. class A{
19.     friend A<T> operator+ <>(A<T> const&, A<T> const&);  [color=red]// 把operator+后面<>的T去掉[/color]
20. private:
21.     T data;
22. public:
23.     A(T const& x):data(x){}
24.     void show() const { cout<<data<<endl; }
25. };
28. int main()
29. {
30.     A<int> a(9);
31.     A<int> b(8);
32.     A<int> c=a+b;
33.     c.show();
34. }

复制代码

soloforce

Post by manphiz

1. 
   
2. 
   
3. 
   
4. template<typename T>
   
5. class A{
   
6.     friend A<T> operator+ <>(A<T> const&, A<T> const&);  [color=red]// 把operator+后面<>的T去掉[/color]
   
7. private:
   
8.     T data;
   
9. public:
   
10.     A(T const& x):data(x){}
    
11.     void show() const { cout<<data<<endl; }
    
12. };
    
13. 
    

复制代码

果然如此，这可怪了;  这规定是哪里来的？

manphiz

个人感觉gcc实现的问题。有待进一步考证……

soloforce

看来是gcc的问题。  vs.net2005 在 有模板参数和 无模板参数时都可以通过编译和运行。