Specialized `match_keys` for exact dictionary type

Feature or enhancement

I think it's probably worthwhile to write a specialized version of match_keys (for structural pattern matching of mappings) for exact dictionary types

Pitch

The most common mapping type is almost certainly the built-in dict. The match_keys function in ceval.c could be specialized to handle this type. Doing so would allow you to skip the dummy object, and replace the get call with PyDict_GetItemWithError. I don't think this should change the observable behaviour at all for exact dict

I'm in the process of reimplementing structural pattern matching on Cython, and this change gives ~2x optimization of some microbenchmarks.

If this change is deemed desirable I'm happy to implement it myself.

Previous discussion

Not aware of any

Bắt đầu trong ceval.c tại match_keys và kiểm tra cách structural pattern matching hiện xử lý các khóa mapping và các kiểu dict chính xác. Thay đổi được hoàn tất khi các dict chính xác sử dụng đường dẫn chuyên biệt mà không làm thay đổi hành vi có thể quan sát, bao gồm cả ngữ nghĩa lookup hiện có; hãy so sánh các microbenchmark liên quan nếu có.