抱歉，标题有点不对。因为当我想到这个问题时，我正在考虑方法绑定(bind)。 带有一些伪代码的示例..
interface A
interface B
val z: A & B = [object of a class that implements A and B];
他们有支持此功能的静态语言吗？
-> 解析两种类型 z 的引用。
或者我有一些逻辑问题并且这是不可能的？
最佳答案
你可以在 scala 中使用特征来做到这一点:
trait A
trait B
class Z extends A with B
val z: A with B = new Z
关于methods - 静态类型语言中的多界方法？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/31262562/