张公洞是指什么？

《古今图书集成•山水典》卷九 九引《宜兴县志》：“张公洞在县东南五十五里， 湖汊之上。相传孙吴赤乌二年，一夕大风迅雷， 洞忽自开。高六十仞，麓周五里，洞深五十余仞， 三面皆飞崖峭壁。不成跻攀。惟北向一窦，广逾 四觅，嵌空可进。怀石纵横离立，势若欲堕，色 皆碧绿如扶，乳髓滴沥如疏雨。有仙人房、元武 石、芝田、丹灶、锦屏、瑶草，希罕万状。时有 石燕相飞击。《风土记》云：‘汉天师张道陵尝修 道于此。故名。’”按：宜兴市今属江苏省。“道 陵修道”之说，恐亦附会之谈也。