GLSL为何假设未定义函数会返回float类型？

问题场景 #

在GLSL ES 1.0和3.0环境下，执行如下代码：

int i = f();

当f()未定义时，编译器会输出两个错误：

ERROR: 0:41: 'f' : no matching overloaded function found
ERROR: 0:41: '=' : cannot convert from 'const mediump float' to 'mediump int'

第一个错误符合预期，但第二个错误不符合预期。而如果将代码改为：

float j = f();

则仅会输出第一个“找不到匹配重载函数”的错误。

疑问 #

为什么GLSL会将未定义的f()视为返回const mediump float？这是重载搜索的默认规则吗？是否存在默认返回float的函数概念？

解答 #

这是GLSL编译器在重载解析失败时的回退行为，属于规范隐含的处理逻辑：

• GLSL的重载搜索机制在找不到匹配函数时，会默认假设该函数返回mediump float类型。这是因为float是GLSL中最基础、最常用的数值类型，大量内置函数也以float作为默认参数或返回值类型，编译器用这个默认类型继续后续类型检查，因此会触发第二个类型转换错误。
• 不存在所谓“默认返回float的函数”，这只是编译器在无法确定函数类型时的临时假设，目的是尽可能暴露潜在代码问题，同时遵循GLSL对基础类型的优先级设定。
• 当接收变量改为float时，类型与临时假设匹配，因此只会抛出函数未找到的核心错误，不会触发类型转换错误。

内容的提问来源于stack exchange，提问作者dubious