静态类型语言中的多边界方法？

Question

抱歉标题有点不对劲。因为我正在考虑方法绑定，当这个问题出现时。 一些伪代码示例..

interface A
interface B

val z: A & B = [object of a class that implements A and B];

他们的任何静态语言是否支持此功能？
- ＆GT;解析对这两种类型的z的引用。
或者我有一些逻辑问题，这是不可能的？

Answer 1

您可以使用特征在scala中执行此操作：

trait A
trait B
class Z extends A with B

val z: A with B = new Z