9.6.2 共同体类型变量的定义引用