This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: Lambda templates and implicit function templates.
- From: Jason Merrill <jason at redhat dot com>
- To: Adam Butcher <adam at jessamine dot co dot uk>
- Cc: gcc-patches at gcc dot gnu dot org, Gabriel Dos Reis <gdr at integrable-solutions dot net>, Andrew Sutton <andrew dot n dot sutton at gmail dot com>
- Date: Sun, 01 Sep 2013 16:05:39 -0400
- Subject: Re: Lambda templates and implicit function templates.
- Authentication-results: sourceware.org; auth=none
- References: <1377632573-14453-1-git-send-email-adam at jessamine dot co dot uk>
On 08/27/2013 03:42 PM, Adam Butcher wrote:
Unfortunately, due to errors being thrown 'early' in grokdeclarator, I
haven't been able to get 'auto...' (or reference/qualified variants)
working yet. I think I need to defer processing the parameter pack
internals of grokdeclarator until I have the synthesized template
parameter (or generate one on the fly in-place --- but that's
returning to the old 'on-demand' implementation which we moved away
from).
Hmm, yes. I'm not sure which approach would be better.
I don't know if it's the correct thing to do but the implementation
currently omits the conversion to function pointer operator if the
argument list contains a parameter pack.
I would expect that to work. Does the specification not provide for
deduction in that case?
One other thing, assuming the 'auto...' syntax can be made to work,
bug 41933 needs to be resolved for the expansion returned by the
generic lambda in N3690 5.1.2.5 to compile. Currently (transforming
the 'auto&&...' to an explicit '<typename T...> T&&...') appears to
yield the bug.
Bug 41933 is specifically about lambda capture; I think you're running
into something else.
Jason