请问古龙的欢乐英雄里有没有提及到红娘子的姓名

书中并没提到红娘子的姓名~ 燕七的父亲是南宫丑，但是没有提过燕七叫南宫燕。

古龙只是交代了燕七自称死过七次，故名燕七。至于为何姓燕，书中没有涉及。