摘要: 一、函数的类型: 1、输入输出的映射形式; 2、定义了访问函数时的调用约定;cpu在访问函数是参量的布局形式; 3、相同函数类型的变量可以相互赋值; 函数作为类型是函数式编程的基石; 二、函数的变量: 定义函数类型-》定义变量-》给 变量赋值; 常见形式: 常指针变量:函数类型 = 函数实现; 函数 阅读全文
posted @ 2019-03-25 21:27 zzfx 阅读(666) 评论(0) 推荐(0)
摘要: 泛型是什么?包含参量化类型的类型 阅读全文
posted @ 2019-03-25 19:41 zzfx 阅读(211) 评论(0) 推荐(0)
摘要: 类型运算: 类型指定、类型约束、类型依赖; 所谓泛型,即通过参数化类型来实现在同一份代码上操作多种数据类型。 https://www.cnblogs.com/arxive/p/6179972.html 因而函数重载是一种多态,而这样的多态被称作ad-hoc多态。 泛型程序设计(generic pro 阅读全文
posted @ 2019-03-25 19:39 zzfx 阅读(210) 评论(0) 推荐(0)
摘要: 多态的本意:是抽象类型具体实现的多样化; 然后对具体类型的行为,作出或相同或不同的解释; 多态是一个类型理论的名词;对抽象类型的行为作出了解释; 抽象类型的指代作用举例: 这个牛是一头白牛,这个牛(这头白牛)........ The most commonly recognised major cl 阅读全文
posted @ 2019-03-25 18:41 zzfx 阅读(339) 评论(0) 推荐(0)
摘要: 两个方面: 1、抽象类型的具体化; 2、方法调用的解释 同一个接口方法调用在运行时,针对不同的抽象类型具体化变量输入,具有不同的解释; 解释机制: 编译器插入:查找、绑定、执行; 运行时解释:查找、绑定、执行;对全部消息调用进行解释? 同一个接口函数在接收到不同的接口实现时,存在不同的解释; 阅读全文
posted @ 2019-03-25 18:06 zzfx 阅读(240) 评论(0) 推荐(0)
摘要: 异常机制的本质: 用冗余代码实现额外信息的传递: 异常机制的本质是异常机制代码的解释权: 作出解释即用冗余代码实现异常机制的额外逻辑; 1、异常信息的表达:包含什么:在哪里出的什么错误; 2、异常信息的传递:栈帧、长跳转; 3、异常的处理: /** * 抛出异常对象,对应代码:@throw e; * 阅读全文
posted @ 2019-03-25 17:35 zzfx 阅读(316) 评论(0) 推荐(0)