c++ - 在 C++ 中，严格的自底向上分析如何暗示返回类型不用于重载决策？

Question

在 Bjarne 的 book ，他说，

The insistence on strict bottom-up analysis implies that the return type is not used in overloading resolution.

看起来“自下而上的分析”与编译器如何解析 C++ 代码有关。

他这么说是什么意思？

问候。

Answer 1

“自下而上的分析”特别意味着必须在包含表达式的类型之前确定子表达式的类型，例如，如果我们有一个表达式 g(f()) f() 的类型必须在编译器开始为 g() 重载解析之前确定。如果我们有:

int f();
float f();

void g(float);

// Even though g() accepts only float, bottom-up analysis implies that 
// this information is not available during resolution of f().
g(f());