捕获使剩余模式无法访问

Question

此代码为何失败：

OKAY = 200
NOT_FOUND = 404
INTERNAL_SERVER_ERROR = 500

match status:
    case OKAY:
        print('It worked')
    case NOT_FOUND:
        print('Unknown')
    case INTERNAL_SERVER_ERROR:
        print('Out of service')
    case _:
        print('Unknown code')

它生成以下错误消息：

  File "/Users/development/Documents/handler.py", line 66
    case OKAY:
         ^^^^
SyntaxError: name capture 'OKAY' makes remaining patterns unreachable

该错误消息的含义是什么？如何修复代码以使其正常工作？

Answer 1

case子句中的变量名被视为名称捕获模式。

它始终匹配并尝试为变量名赋值。这几乎肯定不是本意。

因为第一个匹配的大小写获胜并且因为case OKAY始终匹配，所以永远不会检查其他大小写子句。

这解释了错误消息：

SyntaxError: name capture 'OKAY' makes remaining patterns unreachable

我们需要用非捕获模式替换名称捕获模式，例如使用.运算符进行属性查找的值模式。点是匹配非捕获模式的关键。

有很多方法可以实现这一点。一种是将名称放入类命名空间中：

class ResponseCode:
    OKAY = 200
    NOT_FOUND = 404
    INTERNAL_SERVER_ERROR = 500

现在，案例响应代码。未找到：\u: 是一种值模式（因为有点），不会捕获。

实现相同效果的另一种方法是将常数移动到它们自己的模块中，并使用点引用它们：

import response_code

match status:
   case response_code.OKAY: ...
   case response_code.NOT_FOUND: ...
   case response_code.INTERNAL_SERVER_ERROR: ...

除了创建类或模块外，还可以为相同的效果创建整数枚举：

from enum import IntEnum

class ResponseCode(IntEnum):
    OKAY = 200
    NOT_FOUND = 404
    INTERNAL_SERVER_ERROR = 500

对于HTTP响应代码，已经在标准库中的HTTPStatus类中为您创建了整数枚举。

这是一个解决原始问题的解决方案。出现<代码> 是匹配和区分大小写作为值模式的关键：

from http import HTTPStatus

status = 404

match status:
    case HTTPStatus.OK:
        print('It worked')
    case HTTPStatus.NOT_FOUND:
        print('Unknown')
    case HTTPStatus.INTERNAL_SERVER_ERROR:
        print('Out of service')
    case _:
        print('Unknown code')