突然冒出一个问题，矿石会不会被挖完？要是没石头那还做什么铲子