From 985329502543561980
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: f78e5,ede379f5dbbc1549
X-Google-Attributes: gidf78e5,public
From: Hyman Rosen <hymie@prolifics.com>
Subject: Re: Suggestion: "typeof" keyword
Date: 1999/08/12
Message-ID: <t7hfm6ytow.fsf@calumny.jyacc.com>#1/1
X-Deja-AN: 511860917
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>
X-Original-Date: 11 Aug 1999 15:59:43 -0400
Content-Type: text/plain; charset=us-ascii
Organization: PANIX Public Access Internet and UNIX, NYC
X-Auth: PGPMoose V1.1 PGP comp.std.c++ iQBVAwUAN7LW6awEuYhIxRhxAQEB0wH8DSd/W+1aU3GUcp6FP2w7n+/PLtTK3XDM U1iU2f/HgCwpGswWNVncHas0uGWHtoPWiURJxI6URbqHYIktFPIzYA== =xIHG
Mime-Version: 1.0
User-Agent: Gnus/5.070084 (Pterodactyl Gnus v0.84) Emacs/20.3
Newsgroups: comp.std.c++

Francis Glassborow <francis@robinton.demon.co.uk> writes:
> In order to gain support you need to explain carefully  (with examples)
> exactly what it is to do and what kind of non-academic problem it will
> solve.  Code examples help.

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, including declaring new
variables of the deduced types and derivations based on them, but
there is no way to use such a deduced type *outside* the function.

It is this asymmetry which typeof corrects.
---
[ 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              ]



