例程代码在:https://github.com/KinoluKaslana/CPPLearning/blob/master/stat_identi_expre.cpp
标识符
标识符实际上是由一组字符组成的任意长度的字符串,规定是以非数字开头,以下划线字母Unicode开头,非关键字的字符串即可,但是要主要的是虽然引入了对Unicode字符的支持,但是各实现任是不定的,对于Unicode的处理,我们在翻译的第一阶段就知道了,映射成了一个通用转移序列开头的字符。
在声明中
对于标识符在标准中也是有一定规定的,通常有两个下划线或一个下划线一个大写字母的标识符是被保留的,以一个下划线开头的标识符在全局作用域中是保留的,这里的保留的意思就是说,这写标识符可能都被声明或是被空白#define过的用于内部使用不对外给使用者使用,即使有些功能是已知的,但是具体实现,特性等都是未知的,故使用这类标识符是UB,同样,不能对关键字进行#define #undef 如果这么做的话则也是UB。
在表达式中
一个命名函数,变量,枚举项的标识符是一个表达式,当这个标识符单独作为一个表达式时,表达式的结果是这个标识符所命名的实体,如果这个标识符指名的是变量,函数,模板形参对象,数据成员,那么这个表达式的值类别就是左值,否则就是纯右值
一个表达式的类型确定通常有规定,通常情况下表达式的类型就是它指名的实体类型
如果表达式是一个非静态局部变量并且在其作用域外被指名则会导致造成这个形式的lambda对象以复制捕获,那么这个表达式的类型就是其最内层穿插的lambda表达式的闭包对象捕获声明的一个非静态数据成员的成员访问表达式的类型。
在非静态成员函数内,每个指名数据成员的都被隐式的转换成类成员表达式(this→mumber)
无限定标识符
无限定标识符除了上述声明了的标识符外还有以下标识表达式可以被用在表达式中:
函数写法的重载运算符名字
用户定义类型转换的函数名字
用户定义的字面量运算符的名字
带有实参表的模板名字
~字符随类名
~字符随decltype
这些都符号和标识符组合在一起成为无限定的标志表达式
有限定标识符
有限定标识符则是在无限定标识符前加作用域解析符,或是以作用域解析副分隔的一系列枚举,类,名称空间的名字或者decltyle表达式
对于有限定标识符,可能会存在要求用templata来消除依赖的模板名的歧义
//ToDo在代码中添加消除依赖相关内容
名字
名字可以代表一个实体或是一个标签
名字通常是一个标识符 或者是在无限定标识符中(实际上有无限定均属)详细说明的代名字的标志表达式
一个代表实体的名字是通过声明引入的,代表标签的则是可以通过goto或由标号标签(case)引入
语句
语句的大格式是
attr statement
即在语句前可以用一系列属性对语句做修饰
语句是顺序执行C++程序片段,任意函数体是语句的序列,一个语句通常可以是:
表达式语句
一个表达式后跟随一个分号即可(只有跟随分号的一个最终表达式是表达式语句语句)
复合语句
当期望一个语句但是又要求这个语句内包含多个顺序执行的语句序列时就使用一个复合语句
复合语句需要由一对花括号包括,并引入一个块作用域,在复合语句结束后,声明于块内变量被销毁。
选择语句
选择语句是if constexpr,switch,其中从C++17起,if可带初始化语句,其会被改编为
{
初始化语句
if constexpr(可选)…
}
迭代语句
迭代语句是for(包括C++11起的范围for) while do...while
跳转语句
continue break return goto
声明语句
try块
表达式
表达式是由运算符和运算数组成的一个序列。
可对表达式求值产生结果,一个表达式也可以产生副作用。
一表达式求值,可以推得一个值类别,同时,表达式遵循一个求值顺序规则来求得实参和子表达式的值作为表达式的中间值
表达式的运算符包括:
所有支持的运算符
类型转换
分配内存
其他
其中一个表达式可以分为:
初等表达式
表达式通常是一个初等表达式和一个子表达式递归形成
一个初等表达式可以是:
常量
字面量
标识符
lambda表达式
折叠表达式
之一
括号内的表达式被当作一个初等表达式看待(所以在进行表 达式求值即存在运算符时,通常会求得初等表达式的值,所以可以保证括号内的表达式被优先求值)
字面量介绍:
字面量可以是:常数字面量,字符字面量,字符串字面量,nullptr,浮点字面量,bool字面量,用户定字面量
不求值表达式
一个不求值表达式通常是在运算符:
sizeof
sizeof…
decltype
typeid
noexpect
之后的表达式,但是要注意两点:
1如果tepeid的运算数是一个多态对象则会对该表达式求值,以确定其具体所属类型
2一个不求值表达式是一个完全表达式
弃值表达式
弃置表达式表明,只处理表达式相应的副作用,不对表达式求得的值做处理,所有的表达式语句和逗号运算符的左实参都是弃值表达式,即,非弃值表达式只会存在于子表达式中,由于表达式的值被抛弃(不使用)所以不会对其进行常规转换(规定上的)数组不会自动转为指针,函数不会自动转为函数的指针。
弃值表达式可以是:
标识符表达式(单独有一个标识符构成的表达式)
成员访问表达式(使用到成员访问运算符系的)
成员指针操作
条件表达式(三目)
逗号表达式
常量表达式
概述而言,常量表达式是可以在编译期确定(求)其值的表达式,以此来确定一些编译器必须被确定的数据