On Wed, 28 Mar 2012, Gabriel Dos Reis wrote:

On Wed, Mar 28, 2012 at 10:51 AM, Marc Glisse <marc.gli...@inria.fr> wrote:
On Sun, 25 Mar 2012, Marc Glisse wrote:

- a first goal is simple functions, with a single return statement (which
may even often be the only statement).

After playing with it a bit, I am not sure how to use it in the simple
forwarding case:

T f(int);
auto g(int i){return f(i);}

function call or return value is equivalent to initialization. So, the
deduction works (as it should) as if you wrote

   auto x = f(i);

I agree that it works like initialization, and like lambdas, so that ship has sailed. I assume there were good reasons for that, even if they are not obvious, I know things can be trickier than they appear. However, I can't help thinking that there is something wrong with having to write:

auto g(int i) -> decltype(f(i)) { return f(i); }

(and even worse with noexcept(noexcept(f(i))), but that's another issue)
for a simple macro-like forwarding function.

Now fixing that isn't the goal of Jason's proposal and this is fine.

Marc Glisse

Reply via email to