From -8399552781441912129
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: f78e5,ede379f5dbbc1549
X-Google-Attributes: gidf78e5,public
From: Valentin Bonnard <Bonnard.V@wanadoo.fr>
Subject: Re: Suggestion: "typeof" keyword
Date: 1999/08/12
Message-ID: <37B2DA79.3A02@wanadoo.fr>#1/1
X-Deja-AN: 511876080
Content-Transfer-Encoding: 7bit
Approved: Valentin Bonnard <bonnard@clipper.ens.fr>
References: <7nt3vl$1oe$1@nnrp1.deja.com> <7oh7o8$t3f$1@nnrp1.deja.com> <7ol6hi$ej9$2@news.BelWue.DE> <cTiioXAhAwr3Ew$X@robinton.demon.co.uk> <t7d7ww1vrz.fsf@calumny.jyacc.com> <e4DSyfA4ALs3Ew0Q@robinton.demon.co.uk> <t7hfm6ytow.fsf@calumny.jyacc.com>
X-Original-Date: Thu, 12 Aug 1999 16:30:17 +0200
Content-Type: text/plain; charset=us-ascii
Organization: Ecole normale superieure
X-Auth: PGPMoose V1.1 PGP comp.std.c++ iQBVAwUAN7Ldk6wEuYhIxRhxAQEzcQH9FXayOdOyvZaEVUTgrDdzAHc52d22e8Gb F/dhbJq9lvetCevvFXKQlgg8jVBVScR9/z2KkVIr2mjViT9VtNI5Xg== =/cHM
Mime-Version: 1.0
Newsgroups: comp.std.c++

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

-- 

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              ]



