conflict between friend function and inherited class function

Dear all, once again I stumbled upon the following puzzling problem.

When having the following two files (see below), the gnu compiler
compiles the file without a problem while the compiler complains about
the fact that the function foo (which is declared as a template) is not
a template! The problem itself vanishes when changing the name of the
function foo in the class bar into some other function name, lets say goo.

The problem apears to originate from the same function name which excist
in the parent class.

So my question is now, is this syntax correct, or is one of the
compilers failing?

Thanks for the help


[ testing]$ g++ -c car.cpp
[ testing]$ icpc -c car.cpp
vector.hpp(13): error: foo is not a template
friend void foo <(car<T&, car<T&);
^
detected during instantiation of class "car<T[with T=int]"
at line 2 of "car.cpp"

compilation aborted for vector.cpp (code 2)


======== car.hpp ========
#ifndef CAR_HPP
#define CAR_HPP

template<typename Tclass bar {
public :
void foo(bar<T&); // not working
// void goo(bar<T&); THIS ONE WOULD WORK
};

template<typename T class car;
template<typename Tvoid foo(car<T&, car<T&);

template<typename Tclass car : public bar<T{
friend void foo <(car<T&, car<T&);
};
#endif
============= car.cpp =============
#include "car.hpp"
template class car<int>;
===================================

re: conflict between friend function and inherited class function

ciccio wrote:Sorry, which one?
They both can be failing.
To verify your code better, you need to make the compilation _strict_
and _conforming_. Here you're just letting GNU extensions loose.
If youi need a particular instantiation of 'foo' to be the friend,
you need to give it the template arguments, I believe

friend void foo<T>(car<T>&, car<T>&);

Have you tried that?
So, have you actually tried inserting the entire 'car.hpp' into
'car.cpp' and then posting it here. It doesn't matter really that
you have two files, does it?

V
--
Please remove capital 'A's when replying by e-mail
I do not respond to top-posted replies, please don't ask

re: conflict between friend function and inherited class function

<snip>
What do you mean with gnu extensions? Could you elaborate a bit on this?
Yep, it gives the same error. And the above rule is given in faq-lite
also. When I remove the <from the friend declaration, i.e.
friend void foo(car <T&, car<T&);
The intel compiler gives a warning saying that I might need to include
the <.
Sorry, you are right there, here is the one file example

=== START CAR.CPP ======
template<typename Tclass bar {
public :
void foo(bar<T&);
};

template<typename T class car;
template<typename Tvoid foo(car<T&, car<T&);

template<typename Tclass car : public bar<T{
friend void foo <T(car<T&, car<T&);
};

car<inta;

===== END CAR.CPP =====

Again the same question remains, why does foo from the class bar
conflicts with the friend definition of the template function foo in the
class car?

re: conflict between friend function and inherited class function

ciccio wrote:Not sure what to tell you. GNU C++ is a slightly different language
than standard C++. It's full of extensions, some of which are bugs
in the compiler or in the compiler creators' understanding of the
Standard. You need to disable those. See man page to find out what
command-line switches to use.
The code you posted here compiles without a problem with Comeau online.

V
--
Please remove capital 'A's when replying by e-mail
I do not respond to top-posted replies, please don't ask

re: conflict between friend function and inherited class function

>What do you mean with gnu extensions? Could you elaborate a bit onI have switched those extensions off and the code compiles still fine in
GNU C++. I have done the same with the intel compiler but there it
gives that error again. Nonetheless the intel compiler has an other
option called -strict-ansi, with this it is possible to compile, but the
code becomes much slower due to this and is not really acceptable.

And since the intel compiler bases itself on the GNU compiler, I am a
bit surprised by its error.