泛函的定义其实没理解得很深，我自己的理解是就是直接指明了存储对象的类型，同时返回的对象的类型也被限定了，所以不需要类型的强制转换。求大神判断下，我的理解对不对？

泛函的定义其实没理解得很深，我自己的理解是就是直接指明了存储对象的类型，同时返回的对象的类型也被限定了，所以不需要类型的强制转换。求大神判断下，我的理解对不对？