- 博客(4)
- 收藏
- 关注
原创 泛型<编程>:可识别联合(Discriminated Unions)(2)
泛型:可识别联合(Discriminated Unions)(2)Andrei Alexandrescu 你知道“语法作料”(译注:synbtactic suger,语言里用来提高可读性的部分,但对语言本身没有作用)吗?它导致了乱用分号的恶习?[1]好吧,玩笑开够了,今天我们有很多事情要做,让我们开始吧。 这个部分接着完善使用C++的可识别联合的实现。今天我们会结束关于对齐的讨论,并写一些Va
2004-04-29 21:09:00 1513
原创 泛型<编程>:可识别联合(Discriminated Unions)(1)
泛型:可识别联合(Discriminated Unions)(1)Andrei Alexandrescu 相信我:不管粗看上去怎么样,如果你想要的是关于编程的文章,你算来对地方了。这里讨论的不是怎样去识别一个联合,这个泛型编程的部分讨论的是可识别联合数据的类型。 可识别联合从概念上说有许多同义词:拆解联合(disjoint union),可变类型(variant type),或者代数类型(al
2004-04-28 22:53:00 1774
原创 泛型编程:类型串(typelists)及应用
泛型编程:类型串(typelists)及应用Andrei Alexandrescu很难讲这是怎么开始的。我个人只能说:开始我在Usenet新闻组comp.lang.c++.moderated(顺便推荐一下)看到一些帖子,里面有怪异的模板递归。后来,当在自动虚工厂(Abstract Factory)实现中遇到巨大困难时,某种结构出现在我脑海中。 其他人也已经独立做过类似工作,因为各种不同的类型串
2004-04-28 00:03:00 1861 1
原创 一个可识别联合(Discriminated Unions)的C++实现
一个可识别联合(Discriminated Unions)的C++实现 Andrei Alexandrescu概要:可识别联合(也是常说的可变类型或标记联合)是一种存放对象和对象所属类型标记的数据结构,对象可来自于任意的类型集合。可识别联合在某些应用中象解释器,数据库程序和数据通讯中是非常有用的。一些用c++来实现的可识别联合已经出版[1],[2]。这篇文章介绍了基于c++泛型的可识别
2004-04-26 22:07:00 1866
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人