上一页 1 ··· 35 36 37 38 39 40 41 42 43 ··· 103 下一页
摘要: One can explicitly write @objc on any Swift declaration that can be expressed in Objective-C. @objc相关的参量只能修饰类、类的成员、扩展以及只能被类实现的协议; 下面开列修饰的情况和说明 一、无修饰 N 阅读全文
posted @ 2019-03-26 19:33 zzfx 阅读(1678) 评论(0) 推荐(0)
摘要: The convention of the function, indicated by the attribute. This is similar to the language-level @convention attribute, though SIL extends the set of 阅读全文
posted @ 2019-03-26 18:06 zzfx 阅读(378) 评论(0) 推荐(0)
摘要: Metatype Types A concrete or existential metatype in SIL must describe its representation. This can be: @thin, meaning that it requires no storage and 阅读全文
posted @ 2019-03-26 17:59 zzfx 阅读(196) 评论(0) 推荐(0)
摘要: 泛型编程思想:复合类型的抽象和代码复用 阅读全文
posted @ 2019-03-26 10:50 zzfx 阅读(233) 评论(0) 推荐(0)
摘要: 一、函数的类型: 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)
摘要: Programming is about ideas, languages are just a way to express them. https://thzt.github.io 阅读全文
posted @ 2019-03-24 21:46 zzfx 阅读(368) 评论(0) 推荐(0)
摘要: 描述类型系统的语言 类型系统主要用来说明编程语言的定型规则,它独立于类型检查算法 定义一个类型系统,一种重要的设计目标是存在有效的类型检查算法 类型系统的基本概念可用于各类语言,包括函数式语言、命令式语言和并行语言等 我们后面讨论用形式方法来描述类型系统 类型系统的形式化 类型系统是一种逻辑系统 有 阅读全文
posted @ 2019-03-24 21:33 zzfx 阅读(427) 评论(0) 推荐(0)
摘要: 计算机程序是建立在计算机硬件和一系列规则、协议、规范、算法基础之上的; 阅读全文
posted @ 2019-03-24 21:19 zzfx 阅读(269) 评论(0) 推荐(0)
摘要: 所有的类型都是在数据类型和函数类型的基础上进行组合和扩展而来; 阅读全文
posted @ 2019-03-24 20:09 zzfx 阅读(136) 评论(0) 推荐(0)
摘要: 赋值规则检查; 基础运算规则+; 方法调用权限; 类型一致性检查、类型行为检查; 类型系统是对类型表达式合规性的检查; Type systems are generally formulated as collections of rules for checking the “con- siste 阅读全文
posted @ 2019-03-24 20:06 zzfx 阅读(480) 评论(0) 推荐(0)
摘要: 静态类型:类型的变量有明确的行为约束; 动态类型:为所欲为; 动态类型:动态类型绑定类型;动态:可变、晚绑定; 静态类型语言在编译时便已确定变量的类型,而动态类型语言的变量类型要到程序运行的时候,待变量被赋予某个值之后,才会具有某种类型。 https://www.cnblogs.com/Roylh/ 阅读全文
posted @ 2019-03-23 22:15 zzfx 阅读(461) 评论(0) 推荐(0)
摘要: 类型安全与类型检查是什么? 阅读全文
posted @ 2019-03-23 21:35 zzfx 阅读(294) 评论(0) 推荐(0)
摘要: swift 该死的派发机制 final static oc类型 多态类型 静态类型 动态函数 静态函数 nsobject: 1、缺省不再使用oc的动态派发机制; 2、可以使用nsobject暴露出来的接口函数; 3、其它行为与swift的class一样; 多态类型:class与protocol 静态 阅读全文
posted @ 2019-03-22 19:28 zzfx 阅读(536) 评论(0) 推荐(0)
摘要: 类型的内存模型的3个问题: 1、包含什么:附加信息 2、怎么布局:内存对齐 3、使用场景:怎么使用附加信息 一、包含什么? 除了包含结构类型的显式成员变量外,类型内存模型需要解决附加信息的引入问题 1、附加信息(Opaque)有哪些: 类型信息、函数信息、继承信息、内存计数等; 2、为什么有附加信息 阅读全文
posted @ 2019-03-22 17:16 zzfx 阅读(366) 评论(0) 推荐(0)
摘要: 面向多态编程是面向抽象编程; 多态的本质是抽象; 一、多态的分类: 1、由函数到方法,隐藏缺省参量从而实现抽象;面向接口与继承; 2、泛型:参量化类型抽象出共同的结构和行为; 3、高阶函数:抽象出共同的基础操作; 4、运行时类型信息; 二、多态的支持系统分为两类: 1、类型支持; 2、函数调用的解释 阅读全文
posted @ 2019-03-22 16:35 zzfx 阅读(233) 评论(0) 推荐(0)
上一页 1 ··· 35 36 37 38 39 40 41 42 43 ··· 103 下一页