哇,好久没有写blog了,再不写的话,blog的秘密都要忘记了,嘿嘿. 最近在试着参与一个开源项目,名字叫avim(A Vibrate IM),别想多了哟.地址是:https://github.com/avplayer/avim.git  我在看它的代码的是有一个地方一直不太明白,大概就是这个页面上面的代码 https://github.com/avplayer/avim/blob/master/libavproto/include/avif.hpp,关于这个avif 类的定义和 avtcpif…

一.前言 还记得JDK1.4时遍历列表的辛酸吗?我可是记忆犹新啊,那时因项目需求我从C#转身到Java的怀抱,然后因JDK1.4少了泛型这样语法糖(还有自动装箱.拆箱),让我受尽苦头啊,不过也反映自己的水平还有待提高,呵呵.JDK1.5引入了泛型.自动装箱拆箱等特性,C#到Java的过渡就流畅了不少.下面我们先重温两者非泛型和泛型的区别吧! // 非泛型遍历列表 List lst = new ArrayList(); lst.add(); lst.add(); ; for (Iterator =…

Type Erasure Pattern We can use the type erasure pattern to combine both generic type parameters and associated types to satisfy both the compiler and our flexibility goals. We will need to create three discrete types in order to satisfy these constr…

新视角:通过函数式编程的范畴理论来看待这个问题会更容易理解: 在低层类型无法很好表达的类型,可以将其转化为高阶类型进行表示. 将协议的实现类型转化为monad类型: 解决将具有关联类型的协议当作类型的 swift所谓的类型擦除是指通过协议的泛型化.继承.封装,将协议类型抹除的过程: 泛化的最终目的: 将实现了同一协议,并且关联类型一样的类型作为同一类型来看待. 接口类型最终目的: 1.接口类型用实例类型初始化后的行为和实例类型的行为一致: 2.实现了协议的可类型化,和实例类型的封装: 3.隐藏了…

我感觉这个是swift的设计缺陷. 类型擦除:解决泛型类型作为公用类型的问题 是抽象的公用机制的一种实现方式. 1)类型擦除并不能解决类型不一致的兼容问题,只能解决类似继承一致性的兼容问题. 2)擦除类型后的抽象类型,其类型信息仍然存在,只是需要保持逻辑一致性. 3)类型擦除后的抽象类型,其初始化过程借助类型推断自动完成. import Foundation protocol Pokemon { associatedtype Power func attack() -> Power } stru…

每个语法节点Tree都有Type属性,部分的语法节点有Symbol属性,如下: 与Symbol类型与Type类型之间的关系如下: 下面是Symbol与Type之间的关系: (1)MethodSymbol("finalize").type = MethodType("()void").tsym= ClassSymbol("Method").type=ClassType("Method").tsym=ClassSymbol(&qu…

Go所提供的面向对象功能十分简洁,但却兼具了类型检查和鸭子类型两者的有点,这是何等优秀的设计啊! Duck typing in computer programming is an application of the duck test 鸭子测试 鸭子类型 指示编译器将类的类型检查安排在运行时而不是编译时   type checking can be specified to occur at run time rather than compile time. <代码的未来> https:…

写在前面 作者并没有任何可以作为背书的履历来证明自己写作这份手册的分量. 其内容大都来自于TypeScript官方资料或者搜索引擎获得,期间掺杂少量作者的私见,并会标明. 大部分内容来自于http://www.infoq.com/minibooks/typescript-c-sharp-programmers 你甚至可以认为这就是对这本英文小册子的翻译,实际上80%如此. 写给那些已经有编程基础,尤其是掌握c语言.c#.java这一类型的静态类型语言的同好. 鸣谢 先谢国家,虽然并不知道要谢些什…

反射reflection是程序对自身的检查.验证甚至代码修改功能.反射可以通过它的Reify功能来实时自动构建生成静态的Scala实例如:类(class).方法(method).表达式(expression)等.或者动态跟踪当前程序运算事件如:方法运算(method invocation).字段引用(field access)等.反射又分编译时段与运算时段反射即:compile-time-reflection及runtime-reflection.我们使用compile-time-reflect…

1.为什么需要泛型 List list1=new ArrayList(Arrays.asList(new String("string"),new Integer(20))); String str=(String)list.get(0);//强制向下转型System.out.println(str.matches("y\\w+")); 说明: Java在1.5版本的时候引入了泛型机制,list1就是没有使用泛型的容器,可以向容器中添加任何类的对象 传入容器的对象都…