“实与而名不与”之例在《公羊传》有六条：
第一条，《春秋》僖公元年记：“齐师、宋师、曹师次于聂北，救邢。”《公羊传》曰：“救不言次，此言次何？不及事也。不及事者何？邢已亡矣。孰亡之？盖狄灭之。曷为不言狄灭之？为桓公讳也。曷为为桓公讳？上无天子，下无方伯，天下诸侯有相灭亡者，桓公不能救，则桓公耻之。曷为先言次，而后言救？君也。君则其称师何？不与诸侯专封也。曷为不与？实与而文不与。文曷为不与？诸侯不义，不得专封也。诸侯之义不得专封，则其曰实与之何？上无天子，下无方伯，天下诸侯有相灭亡者，力能救之，则救之可也”。
按《春秋》所记，庄公三十二年（前662）狄伐邢，闵公元年（前661）齐人救邢。至僖公元年（前659），狄再侵邢，齐桓公帅齐、宋、曹三国之兵救，到了聂北，邢师已溃，逃奔聂北的齐、宋、曹援军。于是，齐桓公迁于陈仪，并率三国之师为邢筑城而去。
第二条，《春秋》僖公二年记：“正月，城楚丘”。《公羊传》曰：“孰城？城卫也。曷为不言城卫？灭也。孰灭之？盖狄灭之。曷为不言狄灭之？为桓公讳也。曷为为桓公讳？上无天子，下无方伯，天下诸侯有相灭亡者，桓公不能救，则桓公不能救，则桓公耻之也。然则孰城之？桓公城之。曷为不言桓公城之？不与诸侯专封也。曷为不与？实与而名不与。文曷为不与？诸侯之义，不得专封。诸侯之义不得专封，则其曰实与之何？上无天子，下无方伯，天下诸侯有相灭亡者，力能救之，则救之可也”。
按狄人灭卫在闵公二年（前660），卫遗民流亡至曹，齐桓公派兵戍曹，齐桓公派兵戍曹，保护卫人。至僖公二年（前658），又为卫人筑楚丘之城，使还旧都。
第三条，《春秋》僖公十四年记：“春，诸侯城缘陵。”《公羊传》曰：“孰城之？城杞也。曷为城杞？灭也。孰灭之？盖徐、莒胁之。曷为不言徐、莒之？为桓公讳也。曷为为桓公讳？上无天子，下无方伯，天下诸侯有相灭者，桓公不能救，则桓公耻之也。然则孰城之？桓公城之。曷为不言桓公城之？不与诸侯专封也。曷为不与？实与而名不与。文曷为不与？诸侯不义，不得专封也。诸侯之义不得专封，则其曰实与之何？上无天子，下无方伯，天下诸侯有相灭亡者，力能救之则救之可也”。
按《春秋》僖公十三年（前647）记，“公会齐侯、宋公、陈侯、卫侯、郑伯、许男、曹伯于咸”，《左传》说：“淮夷病杞故”。到次年，齐桓公帅诸国之师在缘陵筑城
第一条，《春秋》僖公元年记：“齐师、宋师、曹师次于聂北，救邢。”《公羊传》曰：“救不言次，此言次何？不及事也。不及事者何？邢已亡矣。孰亡之？盖狄灭之。曷为不言狄灭之？为桓公讳也。曷为为桓公讳？上无天子，下无方伯，天下诸侯有相灭亡者，桓公不能救，则桓公耻之。曷为先言次，而后言救？君也。君则其称师何？不与诸侯专封也。曷为不与？实与而文不与。文曷为不与？诸侯不义，不得专封也。诸侯之义不得专封，则其曰实与之何？上无天子，下无方伯，天下诸侯有相灭亡者，力能救之，则救之可也”。
按《春秋》所记，庄公三十二年（前662）狄伐邢，闵公元年（前661）齐人救邢。至僖公元年（前659），狄再侵邢，齐桓公帅齐、宋、曹三国之兵救，到了聂北，邢师已溃，逃奔聂北的齐、宋、曹援军。于是，齐桓公迁于陈仪，并率三国之师为邢筑城而去。
第二条，《春秋》僖公二年记：“正月，城楚丘”。《公羊传》曰：“孰城？城卫也。曷为不言城卫？灭也。孰灭之？盖狄灭之。曷为不言狄灭之？为桓公讳也。曷为为桓公讳？上无天子，下无方伯，天下诸侯有相灭亡者，桓公不能救，则桓公不能救，则桓公耻之也。然则孰城之？桓公城之。曷为不言桓公城之？不与诸侯专封也。曷为不与？实与而名不与。文曷为不与？诸侯之义，不得专封。诸侯之义不得专封，则其曰实与之何？上无天子，下无方伯，天下诸侯有相灭亡者，力能救之，则救之可也”。
按狄人灭卫在闵公二年（前660），卫遗民流亡至曹，齐桓公派兵戍曹，齐桓公派兵戍曹，保护卫人。至僖公二年（前658），又为卫人筑楚丘之城，使还旧都。
第三条，《春秋》僖公十四年记：“春，诸侯城缘陵。”《公羊传》曰：“孰城之？城杞也。曷为城杞？灭也。孰灭之？盖徐、莒胁之。曷为不言徐、莒之？为桓公讳也。曷为为桓公讳？上无天子，下无方伯，天下诸侯有相灭者，桓公不能救，则桓公耻之也。然则孰城之？桓公城之。曷为不言桓公城之？不与诸侯专封也。曷为不与？实与而名不与。文曷为不与？诸侯不义，不得专封也。诸侯之义不得专封，则其曰实与之何？上无天子，下无方伯，天下诸侯有相灭亡者，力能救之则救之可也”。
按《春秋》僖公十三年（前647）记，“公会齐侯、宋公、陈侯、卫侯、郑伯、许男、曹伯于咸”，《左传》说：“淮夷病杞故”。到次年，齐桓公帅诸国之师在缘陵筑城