展开 巷道断面形状的选择主要取决于哪些因素