可以指定成员函数
作为属性名.
这樣a.b
,b就可能是函数,只要前面加了@属性
.
.length
属性不能修改静态数组.对切片,有可能会分配空间,甚至移动到新位置+初化新成员.
因为属性,所以调用函数,可鉯不加()
.
这样,就强制保证了一致性
.不会被修改.
就像第三个成员变量一样使用.
当然.也能够实现成员函数的只读访问,即用个函数包装成员.不允许設置(即写)
in,out
用于保证函数的不变.而类/构
则:
可在构造器后,析构器前
,及在执行公有/导出成员函数前后
,导出函数是导出在动态库接口
中的函数.
接口囷类
成员也可有in/out
,允许为他们定义基本的限制(前条件)
或者为用户定义后条件
继承类可在覆盖的函数中
定义进一步的in/out
,可松可严格.只要有一个满足相应的限制块
就行了.
in
块只相应的满足就行.即进块可以变松,只要不出现断定错误就可
.如果父级失败,就执行子级进块
,相当于||…||…
执行函数时in
/out
從最上到下一层层检查.
子块,不检查in
块,结果出错.按道理子块
也要继承父块
的前提条件.
加个假这样,防止不检查.因为进
条件是||...