conflict between friend function and inherited class function

[ciccio]

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<typena me Tclass bar {
public :
void foo(bar<T&); // not working
// void goo(bar<T&); THIS ONE WOULD WORK
};

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

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

[Victor Bazarov]

ciccio wrote:

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

Sorry, which one?

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?

They both can be failing.

>
Thanks for the help
[ testing]$ g++ -c car.cpp

To verify your code better, you need to make the compilation _strict_
and _conforming_. Here you're just letting GNU extensions loose.

[ 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<typena me Tclass bar {
public :
void foo(bar<T&); // not working
// void goo(bar<T&); THIS ONE WOULD WORK
};

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

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

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?

};
#endif
============= car.cpp =============
#include "car.hpp"
template class car<int>;
=============== =============== =====

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

[ciccio]

<snip>

To verify your code better, you need to make the compilation _strict_
and _conforming_. Here you're just letting GNU extensions loose.

What do you mean with gnu extensions? Could you elaborate a bit on this?

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?

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 <.

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?

Sorry, you are right there, here is the one file example

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

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

template<typena me 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?

[Victor Bazarov]

ciccio wrote:

<snip>

>To verify your code better, you need to make the compilation _strict_
and _conforming_. Here you're just letting GNU extensions loose.

What do you mean with gnu extensions? Could you elaborate a bit on
this?

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.

>

>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?

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 <.

>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?

Sorry, you are right there, here is the one file example

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

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

template<typena me 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?

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

[ciccio]

>What do you mean with gnu extensions? Could you elaborate a bit on

>this?

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.

I 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.