c++/383: C++v2,96:member template conversion not implicit

c++/383: C++v2,96:member template conversion not implicit

[Wolfgang Bangerth]

The following reply was made to PR c++/383; it has been noted by GNATS.

From: Wolfgang Bangerth <bangerth@apex68.ticam.utexas.edu>
To: gcc-gnats@gcc.gnu.org
Cc:  
Subject: c++/383: C++v2,96:member template conversion not implicit
Date: Thu, 14 Nov 2002 14:32:04 -0600

 Re-confirmed with 3.3 CVS from 2002-11-10 and 3.2.1 pre from the same date.

Re: c++/383: C++v2,96:member template conversion not implicit

[Wolfgang Bangerth]

The following reply was made to PR c++/383; it has been noted by GNATS.

From: Wolfgang Bangerth <bangerth@ticam.utexas.edu>
To: gcc-bugs@gcc.gnu.org, <gcc-gnats@gcc.gnu.org>
Cc: jcampbell3@prodigy.net
Subject: Re: c++/383: C++v2,96:member template conversion not implicit
Date: Tue, 22 Oct 2002 17:14:06 -0500 (CDT)

 This bug still applies with present CVS and 3.2. A slightly simpler to 
 read form of the report is this:
 -----------------------------------------
 template <bool P> struct X {
     template <bool PP> operator X<PP>& (void);
 };
 
 int main(void) {
   X<true> x;
   static_cast<X<false> >(x);
   X<false> y = x;
 };
 -----------------------------------------
 The messages are
 y.cc: In function `int main()':
 y.cc:7: error: no matching function for call to `X<false>::X(X<true>&)'
 y.cc:1: error: candidates are: X<false>::X()
 y.cc:1: error:                 X<false>::X(const X<false>&)
 y.cc:8: error: conversion from `X<true>' to non-scalar type `X<false>'
    requested
 
 Regards
   Wolfgang
 
 -------------------------------------------------------------------------
 Wolfgang Bangerth              email:           bangerth@ticam.utexas.edu
                                www: http://www.ticam.utexas.edu/~bangerth
 
 

Re: c++/383: C++v2,96:member template conversion not implicit

[nathan]

Synopsis: C++v2,96:member template conversion not implicit

Responsible-Changed-From-To: unassigned->nathan
Responsible-Changed-By: nathan
Responsible-Changed-When: Wed Dec 26 10:17:27 2001
Responsible-Changed-Why:
    patch in progress. I believe this is a defect in the
    std. [temp.deduct.conv] fails to appreciate that both P and
    A could be reference type. (This is similar to DR 214.)

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=383