Remix.run Logo
cpburns2009 4 hours ago

Now I haven't touched C++ in probably 15 years but the definition of main() looks confused:

> auto main() -> int

Isn't that declaring the return type twice, once as auto and the other as int?

yunnpp 4 hours ago | parent | next [-]

No. The auto there is doing some lifting so that you can declare the type afterwards. The return type is only defined once.

There is, however, a return type auto-deduction in recent standards iirc, which is especially useful for lambdas.

https://en.cppreference.com/w/cpp/language/auto.html

auto f() -> int; // OK: f returns int

auto g() { return 0.0; } // OK since C++14: g returns double

auto h(); // OK since C++14: h’s return type will be deduced when it is defined

maccard 4 hours ago | parent [-]

What about

auto g() -> auto { return 0.0; }

yunnpp 2 hours ago | parent [-]

0.0 is a double, so I would assume the return type of g is deduced to be double, if that is what you're asking.

maccard 4 hours ago | parent | prev [-]

I really wish they had used func instead, it would have saved this confusion and allowed for “auto type deduction” to be a smaller more self contained feature

zabzonk 2 hours ago | parent [-]

the standard c++ committee is extremely resistant to introducing new keywords such as "func", so as not to break reams of existing code.