Exception specification for template friend functions

Question

Hello, everybody!
I have the following piece of code:
template <class T> inline bool f(T& _refT) throw();
class A {
template <class T> friend inline bool f(T& _refT) throw(); // line 4
int main()
A l_A;
int l_k = 0;
bool l_b = f(l_k);
template <class T> inline bool f(T& _refT) throw()
return true;
; it would compile fine with gcc 2.95.2, but WS6U1 C++ would say
"line 4: Error: The prior declaration for f<T>(A::T&) has an exception specification." Removing the exception specification, everything compiles fine with CC as well. I couldn't find any contradiction of given code with Draft December 1996 of C++ Standard. Could anyone explain my mistake (if any)? Thanks in advance! Artem.

Answer 1

#include <iostream>
using namespace std;
class MYINT
public:
typedef int node;
node _a;
MYINT(node a): _a(a) {}
friend ostream & operator<< (ostream & o, MYINT & m);
ostream & operator<< (ostream & o, MYINT & m)
o << m._a;
return o;
template <class A>
class C
typedef typename A::node node;
public:
A _a;
C(A & a) : _a(a) {}
~C() {}
template <class B, class P>
node f1(A a, B b, P c) { cout << "\n Print 1. _a: " << _a << ", " << a << ", " << b << ", " << c << endl; return a._a; }
template <class B, class P>
typename A::node f2(A a, B b, P c) { cout << "\n Print 2. _a: " << _a << ", " << a << ", " << b << ", " << c << endl; return a._a; }
template <class B, class P>
node f3(A a, B b, P c);
template <class B, class P>
typename A::node f4(A a, B b, P c);
template <class A>
template <class B, class P>
inline typename C<A>::node C<A>::f3(A a, B b, P c) { cout << "\n Print 3. _a: " << _a << ", " << a << ", " << b << ", " << c << endl; return a._a; }
template <class A>
template <class B, class P>
inline typename A::node C<A>::f4(A a, B b, P c) { cout << "\n Print 4. _a: " << _a << ", " << a << ", " << b << ", " << c << endl; return a._a; }
int main()
MYINT i(1);
C<MYINT> c(i);
int j=2;
char k='c';
double d = 5;
c.f1(j, k, d);
c.f2(j, k, d);
c.f4(j, k, d);
c.f3(j, k, d);
return 0;
Edited by: 833843 on Feb 7, 2011 1:42 AM