带形洞是什么