From 8751002269610916383 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: f78e5,ede379f5dbbc1549 X-Google-Attributes: gidf78e5,public From: Valentin Bonnard Subject: Re: Suggestion: "typeof" keyword Date: 1999/08/13 Message-ID: <37B43D4A.3938@wanadoo.fr>#1/1 X-Deja-AN: 512347965 X-NNTP-Posting-Host: croiseur.ens.fr Content-Transfer-Encoding: 7bit Approved: stephen.clamage@sun.com (comp.std.c++) References: <7nt3vl$1oe$1@nnrp1.deja.com> <7oh7o8$t3f$1@nnrp1.deja.com> <7ol6hi$ej9$2@news.BelWue.DE> <37B2DA79.3A02@wanadoo.fr> <7p0lub$2i3$1@mulga.cs.mu.OZ.AU> X-UID: 0000000001 X-Status: $$$T Content-Type: text/plain; charset=us-ascii Organization: Ecole normale superieure Mime-Version: 1.0 Newsgroups: comp.std.c++ Originator: clamage@taumet Fergus Henderson wrote: > Valentin Bonnard writes: > >Hyman Rosen wrote: > >> If you think about it, there is a fundamental asymmetry in function > >> template argument deduction, in that the deduced types are fully > >> available to be used within the function, > > > >This ``asymmetry'' is called scoping, by the way. > > > >I am not sure that scoping has to be ``corrected''. > > `declare' and even `typeof' would both preserve scoping. Note that I have never said that they wouldn't. All I want to say is that the current asymmetry is just the scoping asymmetry (that outside names are visible inside but not the other way arround). -- Valentin Bonnard [ comp.std.c++ is moderated. To submit articles, try just posting with ] [ your news-reader. If that fails, use mailto:std-c++@ncar.ucar.edu ] [ --- Please see the FAQ before posting. --- ] [ FAQ: http://reality.sgi.com/austern_mti/std-c++/faq.html ]