generics - Haxe 泛型 - 花括号作为约束

Question

空花括号约束是什么意思？例如(取自 Map 的 ObjectMap 实现):

extern class ObjectMap < K: { }, V > implements Map.IMap<K,V> {
...

Answer 1

{} 的类型参数匹配任何对象。这包括类实例、匿名对象等，但不包括 Ints、Floats、Bools 和其他基本类型。

另一方面，Dynamic 的类型参数同时匹配对象和整数、 float 、 bool 值等。

(请注意:正如@back2dos 所指出的，String 算作一个类实例，因此将满足类型约束 {})