属性(Properties)
每种类型和表达式都有可以查询的属性:
int.sizeof // 得 4 float.nan // 得浮点数的 nan (Not A Number) 值 (float).nan // 得浮点数的 nan 值 (3).sizeof // 得 4(因为 3 是 int) 2.sizeof // 语法错误,因为“2.”是一个浮点数 int.init // int 类型的初始值
整数数据型别的属性
.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 产生一个常量表达式,其值为默认初始值。如果应用到某个类型,其值为该类型的默认初始值。如果应用到某个变量或域,其值为这个变量或域的默认初始值。例如:
int a; int b = 1; typedef int t = 2; t c; t d = cast(t)3; int.init // is 0 a.init // is 0 b.init // is 1 t.init // is 2 c.init // is 2 d.init // is 3 struct Foo { int a; int b = 7; } Foo.a.init // is 0 Foo.b.init // is 7
类和结构的属性
属性是成员函数,但在语法上被看作是域。属性可读可写。通过调用一个无参数的方法可以读取属性。通过调用一个带有一个参数的方法可以对属性赋值,参数代表属性的新值。
简单的属性可以是:
struct Foo { int data() { return m_data; } // 读属性 int data(int value) { return m_data = value; } // 写属性 private: int m_data; }
用法:
int test() { Foo f; f.data = 3; // 等价于 f.data(3); return f.data + 3; // 等价于 return f.data() + 3; }
如果没有读方法就意味着属性是只读的。可以有多个写方法共存,用正常的重载规则来决定采用哪个函数。
在其他方面,这些方法同其他的方法都是相同的。它们可以是静态的、拥有不同的链接方式、被重载、被取地址等等。
注意:目前属性不能作为 op=、++ 或者 -- 运算符的左值。