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

ceval.c の match_keys から始め、現在の structural pattern matching が mapping のキーと完全一致する dict 型をどのように処理しているかを調べてください。既存の lookup セマンティクスを含む観測可能な動作を変更せずに、完全一致する dict が専用パスを使用するようになれば変更は完了です。利用可能であれば、関連するマイクロベンチマークを比較してください。