属性(Properties)
每种类型和表达式都有可以查询的属性:
. (). (3). 2. .
整数数据型别的属性
.init 初始值 (0) .sizeof 以字节为单位的大小(等价于 C 的 sizeof(type)) .alignof 对齐大小 .max 最大值 .min 最小值
浮点型别的属性
.init 初始值 (NaN) .sizeof 以字节为单位的大小(等价于 C 的 sizeof(type)) .alignof 对齐大小 .infinity 无穷 .nan NaN 值 .dig 换算为十进制表示后的精度 .epsilon 最小递增值 .mant_dig 尾数的位数(bit) .max_10_exp 以 10 为底数的最大阶码 .max_exp 以 2 为底数的最大阶码 .min_10_exp 以 10 为底数的最小阶码 .min_exp 以 2 为底数的最小阶码 .max 可表示的最大值(除了无穷) .min 可表示的最小值(除了 0 )
.init 属性
.init 产生一个常量表达式,其值为默认初始值。如果应用到某个类型,其值为该类型的默认初始值。如果应用到某个变量或域,其值为这个变量或域的默认初始值。例如:
a; b = 1; t = 2; t c; t d = (t)3; . a. b. t. c. d. Foo { a; b = 7; } Foo.a. Foo.b.
类和结构的属性
属性是成员函数,但在语法上被看作是域。属性可读可写。通过调用一个无参数的方法可以读取属性。通过调用一个带有一个参数的方法可以对属性赋值,参数代表属性的新值。简单的属性可以是:
Foo { data() { m_data; } data( value) { m_data = value; } : m_data; }
用法:
test() { Foo f; f.data = 3; f.data + 3; }
如果没有读方法就意味着属性是只读的。可以有多个写方法共存,用正常的重载规则来决定采用哪个函数。
在其他方面,这些方法同其他的方法都是相同的。它们可以是静态的、拥有不同的链接方式、被重载、被取地址等等。
注意:目前属性不能作为 op=、++ 或者 -- 运算符的左值。