作者godfat (godfat 真常)
看板PLT
标题Re: [转录][问题] first-class object
时间Sat Jul 28 20:45:35 2007
不是作者转的有一点失望 XD
: ※ [本文转录自 C_and_CPP 看板]
: 作者: sai199 (Adapter) 看板: C_and_CPP
: 标题: [问题] first-class object
: 时间: Sat Jul 28 19:25:48 2007
: 『这对於像C++这种不将类别视为一级物件 (first-class object) 的程式语言来说,』
就像推文所说的,first-class object 指的就是你可以把他当成可以任意操作的 value
wikipedia 上其实写得很清楚了,这里就大略用中文讲一次,并给点实例
Depending on the language, this can imply:
* being expressible as an anonymous literal value
可以当作一个匿名的字面数值,例如数字:1 2 3
你不需要特别给他一个名字,就可以使用数字
* being storable in variables
可以存到变数里面。在 C++ 中,class 不是 first-class, 所以你不能:
class T{};
T' t = T;
你找不到一个可以储存 class 的 variable/type
* being storable in data structures
这意思跟上面的差不多﹍
* having an intrinsic identity (independent of any given name)
这个看不太懂,我想是指可以给他任意名字,如果是这样那跟存到变数里的意思差不多
* being comparable for equality with other entities
可以拿来被比较,例如:
class T{}; class U{};
cout << T == U;
当然这在 C++ 中不合法,你只能透过间接的手段:
cout << typeinfo(T) == typeinfo(U);
* being passable as a parameter to a procedure/function
可以当作参数去传递(可以存到变数里就可以当作参数传,说来说去意思都差不多﹍)
* being returnable as the result of a procedure/function
可以被回传
* being constructable at runtime
可以在执行期间被产生出来,这点也是非常明确,你不能在 C++ 执行期产生 class
所有的 class 都必须在 compile time 就决定好,日後也不得改变。
* being printable
可以被印出来,C++ 中可透过间接的方法
cout << typeinfo(T).name();
然而这个 name 是实做决定(implementation defined),
所以在不同 compiler 下出来的结果并不会一样。
例如 ms 的 vc 系列都是印很白话的:class T
而 g++ 则会产生不容易让人看懂的:1T 之类的,用一个数字表示後面名字的长度,
紧接着就是那个真正的名称。碰到 template 时几乎是完全无法阅读。
我猜这是为了要让名称统一之故。
* being readable
这不知道指什麽
* being transmissible among distributed processes
可以在不同的 processes 间传递,这也跟变数的意思差不多
* being storable outside running processes
这大概是指可以被 dump 出来的意思。
所以简单地说就是 first-class 就是指可以自由使用的意思。
不是 first-class 的话,什麽可能都有,像是 C++ 的 class 限制就很多,
template 则限制又更多了,因为他已经是 metaprogramming 的层次了。
不过一般会谈到 first-class 的不是 class, 而是 function,
这在 functional programming 中非常重要,虽然一般是用 higher-order 这个词,
把焦点放在另外一个层次上了 :p
在 C++ 中要做 first-class function, 可以靠 boost 的 lambda library,
用了一堆非常 tricky 的方式达到 first-class function, 有点别扭,
不过还算可以用,有兴趣的话可以去看看。
我觉得 C++ 可怕之处就在於虽然语言上欠缺不少东西,却总是能看到有人用
很诡异的方式实做出来,尽管有点残废,但至少有点样子了。
--
『风车』が廻り続ける度に 『美しき』幻想が静かに纺がれ
『焔』の揺らめきの外に 『腕』を伸ばす愚かな者达 -《Roman》5th Story
『宝石』をより多く掴もうと 『朝と夜』の狭间を彷徨い続ける Track 10
『星屑』の砂の煌めきにも 『葡萄酒』の仄甘い陶酔を魅せ 黄昏の贤者
『贤者』が忌避する槛の中から 『伝言』の真意を彼等に问うだろう
『天使』が别れを告げし时 『地平线』は第五の物语を识る
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 220.135.28.18
1F:→ sunneo:嗯---- boost就是一个诡异的例子吧(笑 07/28 21:34
2F:推 sai199:感谢两位,我还不会转文-.-",谢谢godfat^^ 07/28 21:44
3F:→ sai199:太深奥了,还是头次发现PLT版○rz 07/28 21:47
4F:推 timTan:好文! 07/30 01:21