MyPyはすべてのケースがテストされていても "Return statementがありません"というエラーを表示します

Question

関数内にある可能性のあるすべてのケースをチェックしてもMyPyエラー "Missing return statement"

たとえば、次のコードでは、MyPyはまだcolorのみColor.RED、Color.GREEN、またはColor.BLUEことができたとしても、私にエラー"9: error: Missing return statement"を与えている、と私はすべてのこれらのケースをテスト！

class Color(enum.IntEnum): 
    RED: int = 1 
    GREEN: int = 2 
    BLUE: int = 3 


def test_enum(color: Color) -> str: 
    if color == Color.RED: 
     return "red" 
    elif color == Color.GREEN: 
     return "green" 
    elif color == Color.BLUE: 
     return "blue" 

Answer 1

本当にこの質問には疑問はありません。実際、この時点でmypyはこのように動作しています。列挙型サポートは焼き付けられており、予備的であり、ややアドホックです。あなたが探している検査の種類は、将来実施される可能性があります。

ただし、このコードは脆弱です。色が変わると、それは静かに壊れます。 Pythonはコンパイルされた言語ではないことを覚えておいてください - 型チェッカーのパスはオプションで、他の人はそれを使用しないかもしれません。

正しい方法は、最後にassert Falseを追加することです。これはまた、ミーピーを沈黙させるでしょう。