D语言中的属性（Properties）

属性（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=、++ 或者 -- 运算符的左值。