把本地项目testsvn整个目录里的内容往备份站点塞, 这是最初的结构, 建立最初的rev 0 以后checkout回来同样是按该路径,把目录下的(不包括最后的目录名)文件取回 svn import testsvn svn://path/to/repos -m "最后的这个注释不能少" 取回项目, 路径同上. 最后取出来的新目录名不给定就会用最后路径的最后一个目录名, 这里就是repos目录 svn checkout svn:///path/to/repos A_NewProjectName 更新本地项目. 千万记得,通过第一步import后的那个目录并没有默认建立svn与远程的关系,需 ...
第三章基于类的高级特性 (Advanced Class-Based Features) 传统的基于类的面向对象语言的一个主要特点就是inheritance, subclassing和subtyping之间的密不可分的联系。很多的面向对象语言的语法,概念,就是从这三者而来的。比如说,通过subclassing, 你可以继承父类的一些方法,而同时你又可以在子类中改写父类的方法。这个改写过的方法,通过subtyping, subsumption, 又可以从一个类型是父类的对象去调用。 但是,inheritance, subclassing, subtyping这三者并不是永远和睦相处的。在一 ...
(译自Martin Abadi, Luca Cardelli的对象理论一书的第一部分) 译者前言 这本书是我们上面向对象类型理论的教材。当时上这门课时,心里满不以为然,觉得自己的C++和OO已经颇有造纸,C++和Java的类型系统不说倒背如流,也是轻车熟路,上这么一门课不是白拿学分?哈哈! 但一上起来,才发现自己竟如井底之蛙一样。老天,原来就这么简单的面向对象竟有这么多说道!原来除了C++, Java, 面向对象还有这么多没见过甚至没想过的东西! 前几章概论,勉强还都搞定了。但后面上到类型系统的建模,subject reduction的证明,就发现自己就象回到了本科时代,这,这,这怎么 ...
无明
搜索本博客
存档
最新评论