これはテンプレートのsugarになってるはずで

4:20 AM

関数宣言の構文において、先頭の戻り値型をautoもしくはdecltype(auto)とすることで、戻り値の型が関数のreturn文から推論される。

4:20 AM

// C++14 template <class F> auto g(F f) { return f(); } (edited)

4:20 AM

//C++11 template <class F> auto g(F f) -> decltype(f()) { return f(); }

4:22 AM

↑あ、この例はreverseじゃないですね。

4:24 AM

static int static_value = 3; auto f() { return static_value; } ↑これは実装から決まってる