With的复合结构和独立主格