Haxe泛型 - 花括号作为约束

Question

空花括号约束是什么意思？ 例如（取自Map的ObjectMap实现）：

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

Answer 1

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

另一方面，Dynamic的类型参数匹配对象和整数，浮点数，布尔值等。

（请注意：正如@ back2dos指出的那样，String计为一个类实例，因此将满足类型约束{}）