司城姓部汇考

郑樵通志

以官为氏

司城氏宋以武公名司空故改为司城公子荡为司

城其后曰荡氏世为司城因氏焉又陈有司城氏哀

公之子公子胜为之也