当一个函数的返回值被声明为多态类型时,必须至少有一个参数位置也是多态的,并且作为该参 数提供的实际数据类型决定了该调用的实际结果类型.例如,如果还没有一种数组下标机制,可 以定义一个函数来实现下标:subscript(anyarray, integer) returns anyelement.这个声明约束了实际 的第一个参数是一种数组类型,并且允许...
当一个函数的返回值被声明为多态类型时,必须至少有一个参数位置也是多态的,并且作为该参 数提供的实际数据类型决定了该调用的实际结果类型.例如,如果还没有一种数组下标机制,可 以定义一个函数来实现下标:subscript(anyarray, integer) returns anyelement.这个声明约束了实际 的第一个参数是一种数组类型,并且允许...