值 (计算机科学)

✍ dations ◷ 2025-06-28 19:13:32 #电脑数据,类型论

在计算机科学中,值(英语:Value)是一无法进一步求值的表达式。例如,表达式“1 + 2”不是一个值,因为它可以被化简为表达式“3”。表达式“3”不能够继续化简,因此它是一个值。表达式既有类型(type)属性,又有值分类(value categories)属性。两种属性彼此独立。也就是说,对每一种类型的表达式,都有各种值分类。

大多数编程语言支持几种常见的值。

一些语言使用左值(l-value)和右值(r-value)的概念。左值具有确定的、可以被获得的内存地址。这意味着左值可以是变量,也可以是对指向特定内存地址的指针解引用(dereference)的结果。例如C语言的表达式(4 + 9),在执行时,计算机生成一个整数值13,但因为程序没有明确指定这个13如何在计算机中存储,所以这个表达式产生一个右值。另一方面,如果一个C程序声明了一个变量x并将x赋值为13,那么表达式(x)的值是13,并且是一个左值。

在C语言中,术语“左值”最初表示可以被赋值 (计算机科学)(即位于赋值运算符左侧)的对象,但由于“const”被加入到语言中,这类对象现在被称作“可更改的左值”。C++中,左值和右值是表达式的分类,一个表达式必然是左值或右值之一。C++11把上述左值性(lvalueness)扩充为更复杂的值类别(value category),包含左值(lvalue),纯右值(prvalue)和临终值(xvalue)三个基本分类(fundamental classification),一个表达式必然是三者之一。

左值和右值的概念最早由CPL程序语言的一篇论文引入。 这时定义的左值是可以放在赋值号左侧赋予新值的对象;右值是可以放在赋值号右侧读出其值的对象。在B语言中,左值和右值作为文法的元素被明确。在C语言中,文法不再出现左值和右值的区别,左值的概念被保留在语义规则中,而“右值”在ISO C中被视为“值”的同义词。

C++语言引入了const限定的对象。const对象可以取地址,但是不能被赋值;而一些右值对象也可以出现在赋值号的左边被赋值。因此,截至C++03标准,把具有标识(identity)的表达式规定为左值,不具有标识的表达式规定为右值。因而,名字、指针、引用等是左值,是命名对象,具有确定的内存地址;字面量、临时对象等为右值,右值仅在创建它的表达式中可以被访问。函数名字是左值(在C语言中规定它既不是左值也不是右值),数组名是常量左值,但是在大多数表达式中函数名字与数组名字自动隐式转换为右值。右值的生存期短暂,所以需要用左值去捕捉右值。把右值复制(copy)到左值上是常见操作。

C++11标准引入了右值引用数据类型与移动语义,因而左值与右值的定义发生了很大变化。右值引用变量绑定到右值上,延长了右值对应的临时对象的生存期。移动语义把临时对象的内容移动(move)到左值对象上。因而在C++11,对于值的分类,要考虑标识(identity)与可移动性(movability),二者的组合产生了五种分类:

C++的非静态成员函数调用表达式(obj.func与ptr->func),非静态成员函数指针调用表达式(obj.*mfp与ptr->*mfp)被当作纯右值,但是不能用于初始化引用,不能做函数实参,仅仅能用作函数调用表达式左边的操作数,如(pobj->*ptr)(args)。

返回void的函数调用表达式、到void的类型转换表达式、throw表达式被当作纯右值。但是不能用于初始化引用,不能做函数实参。可用于某些上下文环境中(如单独作为一行语句、逗号操作符的左端表达式等),或返回void的函数的return语句中。此外,throw表达式可用作三元条件操作符的第二或第三操作数。

位域(bit field)表达式是左值,但不能用&运算符取地址,不能绑定到非常量左值引用。常量左值引用可以用位域左值初始化,但实际上是另行分配绑定了一个对象。

值可以是一个给定的数据类型,例如一个字符串,一个数字,一个单一的字母等几乎任何类型的数据。

有些处理器支持多种尺寸的立即数,例如8位或16位,每一种指令形式采用独特的操作码和助记符。如果一个程序员提供的数据值不适合,汇编器将会出现“超出范围”的错误消息。大多数汇编器允许一个立即数被表示为ASCII,十进制,十六进制,八进制或二进制数据。因此,ASCII字符'A'和65、0x41是一样的。字符串的字节序在不同处理器之间可能不同,取决于汇编器和计算机体系结构。

相关

  • 亚科科(英文: family, 拉丁语:familia)是生物分类法中的一级,位于目和属之间,现时生物界约有800个科,科下也分亚科,而在其上亦有总科。亚科是生物分类法的一级,在科和属之间,有时亚科和属
  • 西西里王国西西里王国是一个在1130年至1816年曾存在于现意大利的国家,创立者为西西里的鲁杰罗二世。广义上西西里王国领土不仅只包含西西里岛,亦包括整个南意大利,1530年以前还包含马耳他
  • 真双子叶植物真双子叶植物(学名:eudicots)是被子植物的演化支之一,由道利(Doyle)和霍顿(Hotton)在1991年提出来的,是划分被子植物门中“非木兰类双子叶植物”,也就是说花粉具有三孔的植物类群。包
  • 鲭鱼鲭亚目为辐鳍鱼纲鲈形目的其中一个亚目。特点是前颌骨固着于上颌骨,不能向前伸出。背鳍鳍棘正常。臀鳍前无游离鳍棘。有或无皮肤血管系统。鱼体大多纺锤形,多是一些快速游泳的
  • 大伦敦大伦敦(英语:Greater London),位于英国英格兰东南部,是英格兰下属的一级行政区划之一,范围大致包含英国首都伦敦与其周围的卫星城镇所组成的都会区。行政上,该区域是在1965年时设置
  • 法瑞纳斯吉列尔莫·法里尼亚斯·埃尔南德斯(西班牙语:Guillermo Fariñas Hernández,1962年1月3日-),古巴心理医生、独立记者和持不同政见者。他多年来曾进行23次绝食以反抗古巴政权。他
  • gsubn/sub标准重力通常以 g0 或 gn 表示, 是在地球表面的水平线的由于地球重力而产生的额定加速度。大约为9.80665 m/s2 (approx. 32.174 ft/s2)。 这个数值被第三次国际度量衡会议
  • 赛特赛特(Set,也作Seth,Setekh等),又名西德,在埃及神话中最初是力量之神,战神,风暴之神,沙漠之神以及外陆之神。他保护沙漠中的商队,但同时又发起沙暴袭击他们。他是盖布与努特的儿子,奈芙
  • span class=nowrapHg(NOsub3/sub)sub2/sub/span硝酸汞(化学式:Hg(NO3)2)是一种主要用于实验室的化学试剂。硝酸汞是无色或白色透明结晶或白色粉末,有较强的潮解性。剧毒。易溶于水、稀硝酸、丙酮,难溶于乙醇。有半水和一水两种
  • 鸵鸟科鸵鸟科(学名:Struthionidae),属于鸵鸟目之下的一个科。是一种大型鸟类,无法飞行是它的特征。它在始新世时代演化出来,现代在驼鸟科之下只剩下鸵鸟属(Struthio)这个分支,其他的分支皆