是编程语言结构的任意特性。其典型例子有：变量的数据类型和表达式的值。