Python 3.10 SMP无法匹配集合字面量、空字典字面量问题咨询

First, let's address the frustration head-on: you're totally right that structural pattern matching (SMP) in Python 3.10 feels inconsistent when it comes to dictionaries and sets compared to lists/tuples. Coming from Rust, where pattern matching works uniformly across collection types, this discrepancy is definitely annoying. Let's break down workarounds for both empty dictionaries and set literals.

Matching an Empty Dictionary #

The issue with case {}: is that in SMP syntax, curly braces are reserved for mapped captures (matching specific key-value pairs in a dictionary), not for matching an empty dictionary literal. Instead, use the dict() constructor pattern:

match some_dict:
    case dict():
        print("This matches an empty dictionary!")
    case _:
        print("Not an empty dict")

If you need to capture the empty dictionary for later use, add as to the pattern:

match some_dict:
    case dict() as empty_dict:
        print(f"Captured empty dict: {empty_dict}")

Matching Set Literals #

Unfortunately, Python's SMP has no native support for set literal patterns (hence the syntax error when you try case {1,2,3}:). The curly brace syntax is exclusively for dictionary/mapped patterns, so we have to use workarounds with the set() constructor and assertions.

Option 1: Exact Set Match with Assertion #

This is the most straightforward approach—match any set, then use an assertion to check if its contents match your target set:

match some_set:
    case set() as s if s == {1,2,3}:
        print("Matched the exact set {1,2,3}!")
    case _:
        print("Not the set we're looking for")

If you don't need to capture the set, you can simplify it to:

match some_set:
    case set() if _ == {1,2,3}:
        print("Matched {1,2,3} without capturing")

Option 2: Partial Set Matching (If Needed) #

If you only care about certain elements being present (not an exact match), you can combine the set() pattern with an assertion that checks subset/superset relationships:

match some_set:
    case set() as s if {1,2}.issubset(s):
        print("Set contains both 1 and 2")

Why This Exists (Or Doesn't) #

From digging into the design context around PEPs 634 and 636, the core reason for this inconsistency boils down to syntax ambiguity and priority. Curly braces in Python already have dual meaning (empty dict vs empty set), and the SMP team chose to reserve {} for dictionary mapped patterns since dictionaries are more commonly used in pattern matching scenarios. There's no explicit mention of adding set literal patterns in the initial PEPs, though it's been brought up in subsequent discussions as a potential improvement for future Python versions.

内容的提问来源于stack exchange，提问作者Sam Hughes