整数转罗马数字Python实现：while循环与sorted调用疑问

先把你提供的实现代码贴出来方便参考：

numerals = { 1 : "I", 4 : "IV", 5 : "V", 9 : "IX", 10 : "X", 40 : "XL", 50 : "L", 90 : "XC", 100 : "C", 400 : "CD", 500 : "D", 900 : "CM", 1000 : "M" }
num = 58 # LVIII
roman = ''
for k, v in sorted(numerals.items(), reverse=True):
    while num >= k:
        roman += v
        num -= k
print(roman)

疑问1：为什么去掉sorted(numerals.items(), reverse=True)代码就失效？ #

这里核心是字典的遍历顺序和罗马数字的生成逻辑不匹配：

• 你的numerals字典是按从小到大的顺序插入键的（1、4、5、9...1000），在Python3.7+里字典会保留插入顺序，所以直接遍历numerals.items()时，循环会从最小的键1开始处理。
• 罗马数字的生成逻辑要求优先用最大的可用单位，比如58要先取50（L），再取5+3（V+III）。但如果从最小的1开始，程序会不断往结果里加"I"，直到num减到0，最终得到58个"I"，完全不符合预期。

你说调试时觉得两者顺序一致？应该是调试时误判了遍历顺序——直接遍历原字典是从1开始，而sorted(..., reverse=True)会把键从大到小排序（1000→900→...→1），这才是符合罗马数字生成逻辑的正确顺序。

疑问2：为什么生成的第一个罗马数字是L？ #

你注意到遍历从1000开始是对的，但num >= k这个条件是关键：只有当当前键k小于等于剩余num时，才会执行拼接操作。

具体遍历流程是这样的：

1. 先遍历k=1000：1000>58，不满足条件，跳过；
2. 接着k=900：同样大于58，跳过；
3. 一路跳过k=500、400、100、90；
4. 直到k=50：50<=58，满足条件，进入while循环，把"L"拼到roman里，同时num变成58-50=8，然后退出while（因为8<50）。

所以前面的大单位都因为比当前num大，根本不会触发拼接，第一个符合条件的就是50对应的"L"，这完全符合代码逻辑。

内容的提问来源于stack exchange，提问作者Sheikh Rahman