Having finished the experiment ,he left the lab .这里的have为什么要