On Sun, 25 Mar 2012 12:17:10 +0200 (CEST)
Marc Glisse <marc.gli...@inria.fr> wrote:

> On Sun, 25 Mar 2012, Jason Merrill wrote:
> > As I mentioned in my patch to add -std=c++1y, I've been working on a 
> > proposal 
> > for the next standard to support return type deduction for normal 
> > functions, 
> > not just lambdas.  This patch implements that proposal.
> Nice. I like the way you seem to be going for the basic, uncontroversial 
> version (extensions can always be discussed later), instead of trying to 
> figure out something universal.
> If I understand correctly, you pick the first return statement for type 
> deduction, and other returns (if any) are only checked afterwards for 
> exact consistency [...]

I am not a C++ or a GCC front-end expert, but I am not sure it is the right 
approach for
functions starting with
   if (!p) return nullptr;
where p is a formal argument.

Or perhaps I am misunderstanding what Marc is saying.

I would rather suggest using all the return statements to infer the type of the 
not only the first one.

Basile STARYNKEVITCH         http://starynkevitch.net/Basile/
email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359
8, rue de la Faiencerie, 92340 Bourg La Reine, France
*** opinions {are only mine, sont seulement les miennes} ***

Reply via email to