Scala中‘NotInferedT’的来源、属性及文档查询疑问

首先明确一点：NotInferedT绝对不是Scala语言里的正式类型，它只是Scala编译器在类型推断失败时抛出的一个诊断占位符，用来代表那个本该被自动推断出来，但编译器没有足够上下文信息确定的泛型类型参数。

举个你提到的例子：当编译器提示“期望类型为(NotInferedT, NotInferedT) => Boolean，实际类型为(Nothing, Nothing)”时，它想表达的是——它需要一个能处理两个相同类型值的比较函数，但它完全猜不出这个类型T应该是什么，最后只能退而求其次用Scala的底部类型Nothing来填充，结果就导致了类型不匹配的错误。

至于为什么你在Scala API文档里找不到它的相关内容？这很正常：NotInferedT根本不是Scala公开API的一部分，也没有被写进语言规范里，它只是编译器内部用来生成友好错误提示的临时符号，只出现在编译报错信息里，帮助开发者快速定位“类型推断失败”的问题点。

遇到这类错误时，解决思路也很清晰：

• 显式指定泛型类型参数，比如调用泛型方法时加上<YourType>，像myFunction[User](input)
• 给变量或集合显式声明类型，比如val users: List[User] = List()而不是val users = List()
• 调整代码逻辑，给编译器提供更多的类型上下文（比如把依赖推断的表达式放到一个有明确类型的上下文中）

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