Modelica ConstrainedBy与通用编程语言的区别-JZTXT

通用编程语言里面我们定义变量，那么这个变量会被类型约束起来，赋值的时候只能是这个类型的对象或者是这个类型的子类型对象；
又或者通用编程语言里面提供了泛型的功能，对泛型可以是任意类型，泛型约束就限定了这个类型的范围，也是类型约束，java中使用extend进行泛型上界约束，kotlin使用where关键字。
ConstrainedBy的区别是，他能够约束目录结构的包，指定包下的子类，是结构关系而不是继承关系，是另一个维度的功能。