Re: c++/3629: nested template constructor doesn't get used as copy constructor

Re: c++/3629: nested template constructor doesn't get used as copy constructor

[Gabriel Dos Reis]

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

From: Gabriel Dos Reis <Gabriel.Dos-Reis@cmla.ens-cachan.fr>
To: "Paul J. Lucas" <pauljlucas@mac.com>
Cc: gcc-gnats@gcc.gnu.org
Subject: Re: c++/3629: nested template constructor doesn't get used as copy constructor
Date: 09 Jul 2001 23:13:30 +0200

 "Paul J. Lucas" <pauljlucas@mac.com> writes:
 
 | 	A used-defined template copy constructor inside a template class
 | 	doesn't get used to generate a copy constructor when the types equal.
 
 That is a C++ conformant behaviour: A copy constructor cannot be
 generated from a template constructor.
 
 So Not a Bug.
 
 -- Gaby

Re: c++/3629: nested template constructor doesn't get used as copy constructor

[gdr]

Synopsis: nested template constructor doesn't get used as copy constructor

Responsible-Changed-From-To: unassigned->gdr
Responsible-Changed-By: gdr
Responsible-Changed-When: Mon Jul  9 14:14:47 2001
Responsible-Changed-Why:
    Analyzed.
State-Changed-From-To: open->closed
State-Changed-By: gdr
State-Changed-When: Mon Jul  9 14:14:47 2001
State-Changed-Why:
    Not a bug.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=3629&database=gcc

c++/3629: nested template constructor doesn't get used as copy constructor

[Paul J. Lucas]

	Note: There was a bad value `wrong' for the field `>Class:'.
	It was set to the default value of `sw-bug'.


>Number:         3629
>Category:       c++
>Synopsis:       nested template constructor doesn't get used as copy constructor
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Mon Jul 09 14:06:00 PDT 2001
>Closed-Date:
>Last-Modified:
>Originator:     Paul J. Lucas
>Release:        3.0
>Organization:
>Environment:
System: Linux powerbook 2.2.17 #2 Wed Nov 22 16:34:45 PST 2000 ppc unknown
Architecture: ppc
host: powerpc-unknown-linux-gnu
build: powerpc-unknown-linux-gnu
target: powerpc-unknown-linux-gnu
configured with: ./configure --prefix=/usr/local/packages/gcc-3.0 --enable-languages=c++
>Description:
	A used-defined template copy constructor inside a template class
	doesn't get used to generate a copy constructor when the types equal.
>How-To-Repeat:
#include <iostream>

template< class T > struct A {
	A() { }
	template< class U > A( A<U> const& )	{ std::cerr << "Here!\n"; }
};

main() {
	A<int> a;
	/*
	** The line below should cause "Here!" to be printed because, when the
	** type T = type U, it matches the signature of a copy constructor and
	** the one defined above should be called.  However, the compiler
	** still generates a default copy constructor and doesn't use the above
	** one.
	*/
	A<int> b( a );
}
>Fix:
	A non-template copy constructor can be written explicitly, e.g.:

		A( A const& );

	but the user shouldn't have to.

>Release-Note:
>Audit-Trail:
>Unformatted: