Czy Python zabrania dwóch podobnie wyglądających identyfikatorów Unicode?

Bawiłem się identyfikatorami Unicode i natknąłem się na to:

>>> 𝑓, x = 1, 2
>>> 𝑓, x
(1, 2)
>>> 𝑓, f = 1, 2
>>> 𝑓, f
(2, 2)

Co tu się dzieje? Dlaczego Python zastępuje obiekt, do którego się odwołuje 𝑓, ale tylko czasami? Gdzie opisano to zachowanie?

PEP 3131 - Obsługa identyfikatorów innych niż ASCII mówi

Wszystkie identyfikatory są konwertowane do normalnej postaci NFKC podczas analizowania; Porównanie identyfikatorów oparte jest o NFKC.

Możesz użyć unicodedatado przetestowania konwersji:

import unicodedata

unicodedata.normalize('NFKC', '𝑓')
# f

co wskazywałoby, że '𝑓'zostanie przekonwertowany na 'f'podczas analizy. Prowadząc do oczekiwanego:

𝑓  = "Some String"
print(f)
# "Some String"

Oto mały przykład, aby pokazać, jak okropna jest ta „funkcja”:

𝕋𝐡ᵢ𝔰_ｆ𝔢𝘢𝚝𝓊ᵣₑ_𝕤ₕ𝔬𝔲𝖑𝔡_dₑ𝕗ᵢ𝘯ｉ𝘵𝚎ℓy_𝒷𝘦_𝐚_𝚋ᵘg = 42
print(T𝗵ℹ𝚜_𝒇e𝖆𝚝𝙪ᵣe_ₛ𝔥º𝓾𝗹𝙙_𝚍e𝒇ᵢ𝒏ⁱｔᵉ𝕝𝘆_𝖻ℯ_𝔞_𝖇𝖚𝓰)
# => 42

Wypróbuj online! (Ale proszę, nie używaj tego)

Jak wspomniał @MarkMeyer, dwa identyfikatory mogą się różnić, nawet jeśli wyglądają tak samo („CYRYLOWA WIELKA LITERA A” i „ŁACIŃSKA WIELKA LITERA A”)

А = 42
print(A)
# => NameError: name 'A' is not defined