Re: [ublas] compilation error using prod()

From: Michael Stevens (mail_at_[hidden])
Date: 2005-09-07 14:15:56

Hello Patrick,

On Dienstag 06 September 2005 12:04, you wrote:
> Hello Thomas,
>
> Joerg and me discussed this topic a while ago. The cases you describe
> _never_
> worked on MSVC 7.1 and funny enough gcc agrees _now_.

I remember this now. Good you though of this.
>
> -Start of the discussion:
> http://groups.yahoo.com/group/ublas-dev/message/964
>
> -Problem posted in comp.lang.c++.moderated
> http://groups.google.com/group/comp.lang.c++.moderated/browse_frm/thread/c7
>3 907
> 0c7ee77548/cb6a654bdeb1c17e?tvc=1#cb6a654bdeb1c17e
> -Problem posted in comp.std.c++
> http://groups.google.com/group/comp.std.c++/browse_frm/thread/3b5faa9aaea18
>0 95/
> 43a43f911d65aaab?
> lnk=st&q=Function+template+overload+resolution&rnum=1#43a43f911d65aaab
> (if the links do not work, just search for "function template overload
> resolution" in google.groups)
>
> -Somewhere there is a gcc bug report. I have to search it in my emails.

I remember this report. I thought it had Joergs name on it as reporter. I 
spent a while searching GCC bugzilla and I can't find it. If you still have a  
reference it would be very useful.

I compiled up the offical GCC 4.0.1 release. I can confirm that 4.0.1 finds 
the prod versions ambigous. GCC 4.0.0 and anything prior does not.

> Interessting enough: nobody was sure to interpret the standard correctly
> :).
>
I've been trying to find a standard Defect Report related to this but with no 
luck.

For comparision Intel 8.1 (EDG base) accepts the code. VC-7.1 rejects as 
ambigous.

4.0.1 make a couple of changes to related issues. The following look relavant

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19203
"[3.4/4.0 Regression] [DR 214] Partial ordering failure between function 
reference and generic const reference"

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=4672
"[4.0 only] [DR 214] Template parameter deduction fails for overloaded 
template functions."

Sadly neither explictly changes the simple case we are looking at.

Michael

-- 
___________________________________
Michael Stevens Systems Engineering
34128 Kassel, Germany
Phone/Fax: [phone]
Navigation Systems, Estimation  and
                 Bayesian Filtering
    http://bayesclasses.sf.net
___________________________________