# 14.5. `roman.py`, 第 5 阶段 现在 `fromRoman` 对于有效输入能够正常工作了，是揭开最后一个谜底的时候了：使它正常工作于无效输入的情况下。这意味着要找出一个方法检查一个字符串是不是有效的罗马数字。这比 `toRoman` 中[验证有效的数字输入](stage_3.html "14.3. roman.py, 第 3 阶段")困难，但是你可以使用一个强大的工具：正则表达式。 如果你不熟悉正则表达式，并且没有读过 [第 7 章 _正则表达式_](../regular_expressions/index.html "第 7 章 正则表达式")，现在是该好好读读的时候了。 如你在 [第 7.3 节 “个案研究：罗马字母”](../regular_expressions/roman_numerals.html "7.3. 个案研究：罗马字母")中所见到的，构建罗马数字有几个简单的规则：使用字母 `M`, `D`, `C`, `L`, `X`, `V` 和 `I`。让我们回顾一下： 1. 字符是被“加”在一起的：`I` 是 `1`，`II` 是 `2`，`III` 是 `3`。`VI` 是 `6` (看上去就是 “`5` 加 `1`”)，`VII` 是 `7`，`VIII` 是 `8`。 2. 这些字符 (`I`, `X`, `C` 和 `M`) 最多可以重复三次。对于 `4`，你则需要利用下一个能够被5整除的字符进行减操作得到。你不能把 `4` 表示为 `IIII` 而应该表示为 `IV` (“比 `5` 小 `1` ”)。`40` 则被写作 `XL` (“比 `50` 小 `10`”)，`41` 表示为 `XLI`，`42` 表示为 `XLII`，`43` 表示为 `XLIII`，`44` 表示为 `XLIV` (“比`50`小`10`，加上 `5` 小 `1`”)。 3. 类似地，对于数字 `9`，你必须利用下一个能够被10整除的字符进行减操作得到：`8` 是 `VIII`，而 `9` 是 `IX` (“比 `10` 小 `1`”)，而不是 `VIIII` (由于 `I` 不能重复四次)。`90` 表示为 `XC`，`900` 表示为 `CM`。 4. 含五的字符不能被重复：`10` 应该表示为 `X`，而不会是 `VV`。`100` 应该表示为 `C`，而不是 `LL`。 5. 罗马数字一般从高位到低位书写，从左到右阅读，因此不同顺序的字符意义大不相同。`DC` 是 `600`，`CD` 是完全另外一个数 (`400`，“比 `500` 少 `100`”)。`CI` 是 `101`，而 `IC` 根本就不是一个有效的罗马数字 (因为你无法从`100`直接减`1`，应该写成 `XCIX`，意思是 “比 `100` 少 `10`，然后加上数字 `9`，也就是比 `10` 少 `1`”)。 ## 例 14.12. `roman5.py` 这个程序可以在例子目录下的`py/roman/stage5/` 目录中找到。 如果您还没有下载本书附带的样例程序, 可以 [下载本程序和其他样例程序](http://www.woodpecker.org.cn/diveintopython/download/diveintopython-exampleszh-cn-5.4b.zip "Download example scripts")。 ``` """Convert to and from Roman numerals""" import re #Define exceptions class RomanError(Exception): pass class OutOfRangeError(RomanError): pass class NotIntegerError(RomanError): pass class InvalidRomanNumeralError(RomanError): pass #Define digit mapping romanNumeralMap = (('M', 1000), ('CM', 900), ('D', 500), ('CD', 400), ('C', 100), ('XC', 90), ('L', 50), ('XL', 40), ('X', 10), ('IX', 9), ('V', 5), ('IV', 4), ('I', 1)) def toRoman(n): """convert integer to Roman numeral""" if not (0 < n < 4000): raise OutOfRangeError, "number out of range (must be 1..3999)" if int(n) <> n: raise NotIntegerError, "non-integers can not be converted" result = "" for numeral, integer in romanNumeralMap: while n >= integer: result += numeral n -= integer return result #Define pattern to detect valid Roman numerals romanNumeralPattern = '^M?M?M?(CM|CD|D?C?C?C?)(XC|XL|L?X?X?X?)(IX|IV|V?I?I?I?)$' def fromRoman(s): """convert Roman numeral to integer""" if not re.search(romanNumeralPattern, s): raise InvalidRomanNumeralError, 'Invalid Roman numeral: %s' % s result = 0 index = 0 for numeral, integer in romanNumeralMap: while s[index:index+len(numeral)] == numeral: result += integer index += len(numeral) return result ``` | | | | --- | --- | | \[1\] | 这只是 [第 7.3 节 “个案研究：罗马字母”](../regular_expressions/roman_numerals.html "7.3. 个案研究：罗马字母") 中讨论的匹配模版的继续。十位上可能是`XC` (`90`)，`XL` (`40`)，或者可能是 `L` 后面跟着 0 到 3 个 `X` 字符。个位则可能是 `IX` (`9`)，`IV` (`4`)，或者是一个可能是 `V` 后面跟着 0 到 3 个 `I` 字符。 | | \[2\] | 把所有的逻辑编码成正则表达式，检查无效罗马字符的代码就很简单了。如果 `re.search` 返回一个对象则表示匹配了正则表达式，输入是有效的，否则输入无效。 | 这里你可能会怀疑，这个面目可憎的正则表达式是否真能查出错误的罗马字符表示。没关系，不必完全听我的，不妨看看下面的结果： ## 例 14.13. 用 `romantest5.py` 测试 `roman5.py` 的结果 ``` fromRoman should only accept uppercase input ... ok toRoman should always return uppercase ... ok fromRoman should fail with malformed antecedents ... ok fromRoman should fail with repeated pairs of numerals ... ok fromRoman should fail with too many repeated numerals ... ok fromRoman should give known result with known input ... ok toRoman should give known result with known input ... ok fromRoman(toRoman(n))==n for all n ... ok toRoman should fail with non-integer input ... ok toRoman should fail with negative input ... ok toRoman should fail with large input ... ok toRoman should fail with 0 input ... ok ---------------------------------------------------------------------- Ran 12 tests in 2.864s OK ``` | | | | --- | --- | | \[1\] | 有件事我未曾讲过，那就是默认情况下正则表达式大小写敏感。由于正则表达式 `romanNumeralPattern` 是以大写字母构造的，`re.search` 将拒绝不全部是大写字母构成的输入。因此大写输入的检查就通过了。 | | \[2\] | 更重要的是，无效输入测试也通过了。例如，上面这个用例测试了 `MCMC` 之类的情形。正如你所见，这不匹配正则表达式，因此 `fromRoman` 引发一个测试用例正在等待的 `InvalidRomanNumeralError` 异常，所以测试通过了。 | | \[3\] | 事实上，所有的无效输入测试都通过了。正则表达式捕捉了你在编写测试用例时所能预见的所有情况。 | | \[4\] | 最终迎来了 “`OK`”这个平淡的“年度大奖”，所有测试都通过后 `unittest` 模块就会输出它。 | > 注意 > 当所有测试都通过了，停止编程。