| 网站首页 | 业界新闻 | 小组 | 威客 | 人才 | 下载频道 | 博客 | 代码贴 | 在线编程 | 编程论坛
欢迎加入我们,一同切磋技术
用户名:   
 
密 码:  
共有 640 人关注过本帖
标题:[求助]关于头等程序对象的求助
取消只看楼主 加入收藏
展令扬
Rank: 1
等 级:新手上路
帖 子:10
专家分:0
注 册:2006-11-7
收藏
 问题点数:0 回复次数:0 
[求助]关于头等程序对象的求助
请问在c和c++中哪些值不是头等程序对象.?并举例说明为什么不是!!!
上次提问怪我,没有讲清楚概念,下面我说一下:
程序中的值包括:
• 字面量(整、实、布尔、字符、枚举、串)。
• 复合量(记录、数组、元组、结构、表、联合、集合、文件)。
• 指针值。
• 变量引用(左值、右值)。
• 函数或过程抽象。
每一语言不全部具有以上种类值。例如,C的结构相当于记录,ML则都有,且有差别,Pascal有集合其他语言没有。ML没有指针等等。
值既然相当于数学中的计算对象,它就应该具有和数学对象一样的权利,如可出现在表达式中求值;可作参数和函数结果值;它可以构成复杂的结构值(如矩阵、向量、张量等)。在程序语言学中我们把相当于数学对象的程序对象叫做头等对象(First Class Objct,也可叫作第一类对象、头等公民),因为它们作为运算对象的权利未受到任何限制。程序对象的权限具体说来是:
•可作为操作数出现在表达式中求值。
• 可作为单独的存储实体。
• 可作为参数传递到过程或函数。
• 可作为函数返回值。
• 可以构成复杂的数据结构。
但并非所有程序设计语言的对象均具有以上权利。函数抽象(即函数名)在多数过程式语言中是不能作函数返回值的。在Ada中甚至不能作为参数传递,更不能构成复杂的数据结构。只有函数式语言可以。显然,一个函数的输入参数是函数抽象,那么该函数必然是高阶的。若返回值又不能是函数抽象就有点不伦不类了。语义上难以描述。递归函数是特殊的高阶函数,要回避它又不行,所以,现代语言希望把函数抽象、变量引用都作为头等对象。
数组元素(单个)不是可存储体,也不能作为函数返回值。
所以问题就是上面的那个!我对c和c++中不甚了解!
希望大家集思广益,帮兄弟度过难关!!
搜索更多相关主题的帖子: 对象 
2006-11-08 12:46
快速回复:[求助]关于头等程序对象的求助
数据加载中...
 
   



关于我们 | 广告合作 | 编程中国 | 清除Cookies | TOP | 手机版

编程中国 版权所有,并保留所有权利。
Powered by Discuz, Processed in 0.024750 second(s), 8 queries.
Copyright©2004-2024, BCCN.NET, All Rights Reserved