Scala 3不透明类型实例调用底层类型方法的行为与《Scala高级编程》第五版描述不一致的疑问

嘿，这个问题确实挺容易让人懵的，我来帮你捋捋这里的门道~

首先先把书中的核心描述放出来：

根据Martin Odersky所著的《Scala高级编程》第五版中的内容：
给不透明类型添加上限的行为，和定义类时用extends关键字完全不一样。尤其是，不透明类型并不会继承其上限类型的接口。举个例子，你虽然能把NonEmptyString传给需要String的参数，但你没法直接在NonEmptyString实例上调用String类的方法。

但你实际测试后发现，NonEmptyString("hi").charAt(1)居然能正常跑，还输出了i，完全没像书中说的那样报错，对吧？

其实这大概率是Scala 3版本迭代带来的行为变化，或者说书中的例子是基于更早的Scala 3版本写的：

• 在Scala 3的早期预览版本（比如3.0.x系列）里，不透明类型的上限仅仅是用来做类型兼容性检查的——允许你把NonEmptyString当成String用，但不会自动帮你做隐式转换，所以直接调用charAt这种String的方法肯定会报错，和书里的描述一致。
• 但到了Scala 3.1及之后的正式版本，官方调整了这个逻辑：当你声明opaque type T <: U = V时，编译器会自动生成一个从T到U的隐式转换。这样当你尝试调用U的方法时，编译器会偷偷把T实例转成U，所以方法调用就成功了，这就是你看到的现象。

另外也可以排查下代码结构：如果你的NonEmptyString.apply方法和不透明类型的定义在同一个作用域里（比如同一个对象内部），那在这个作用域里不透明类型和底层String是完全等价的，自然能调用所有方法，但你说这是在不同文件导入后测试的，所以这个情况可以排除。

如果你想验证这个点，可以试试显式锁定类型：(NonEmptyString("hi"): NonEmptyString).charAt(1)，要是编译器还允许运行，那肯定是隐式转换在起作用；或者切换回Scala 3.0.x版本，应该就能复现书里的报错了。

总结一下就是：现在的Scala 3版本对不透明类型的上限处理更灵活了，自动生成的隐式转换让你能间接调用上限类型的方法，这是书出版之后Scala官方更新的特性~

备注：内容来源于stack exchange，提问作者PetrosY