Welcome to OGeek Q&A Community for programmer and developer-Open, Learning and Share
Welcome To Ask or Share your Answers For Others

Categories

0 votes
351 views
in Technique[技术] by (71.8m points)

c++ - Why can't gcc deduce the return value type after parsing the first return clause?

Why this code is not valid?

auto f() {
  if (true) return 0;
  return {};
}

After parsing 0, I think gcc should know that the return type of function f was int, but it still interpret the {} as the initializer_list when parsing the final return clause, why?


与恶龙缠斗过久,自身亦成为恶龙;凝视深渊过久,深渊将回以凝视…
Welcome To Ask or Share your Answers For Others

1 Reply

0 votes
by (71.8m points)

From function#Return_type_deduction

if there are multiple return statements, they must all deduce to the same type

and

If the return statement uses a brace-init-list, deduction is not allowed:

Which prohibit such construct.

Once a return statement has been seen in a function, the return type deduced from that statement can be used in the rest of the function, including in other return statements.

only allows to reuse the function recursively.


与恶龙缠斗过久,自身亦成为恶龙;凝视深渊过久,深渊将回以凝视…
OGeek|极客中国-欢迎来到极客的世界,一个免费开放的程序员编程交流平台!开放,进步,分享!让技术改变生活,让极客改变未来! Welcome to OGeek Q&A Community for programmer and developer-Open, Learning and Share
Click Here to Ask a Question

...