横洞是一种辅助施工效果很好的辅助坑道，应该()。