पायथन शून्य वापसी प्रकार एनोटेशन

Question 1

अजगर 3.x में, किसी फ़ंक्शन के रिटर्न प्रकार एनोटेशन का उपयोग करना आम है, जैसे:

def foo() -> str:
    return "bar"

"शून्य" प्रकार के लिए सही एनोटेशन क्या है?

मैं 3 विकल्पों पर विचार कर रहा हूं:

def foo() -> None:
- तार्किक IMO नहीं, क्योंकि Noneएक प्रकार नहीं है,
def foo() -> type(None):
- मुझे प्राप्त करने के लिए सबसे अच्छे वाक्यविन्यास का उपयोग करना NoneType,
def foo():
- स्पष्ट वापसी प्रकार जानकारी छोड़ें।

विकल्प 2. मुझे सबसे तार्किक लगता है, लेकिन मैंने पहले से ही 1 के कुछ उदाहरण देखे हैं।

Question 2

यह PEP 484 से सीधे है - टाइप संकेत प्रलेखन:

जब एक प्रकार के संकेत में उपयोग किया जाता है, तो अभिव्यक्ति Noneको इसके बराबर माना जाता है type(None)।

और, जैसा कि आप देख सकते हैं कि अधिकांश उदाहरण Noneरिटर्न प्रकार के रूप में उपयोग होते हैं।

Question 3

TLDR: एक voidरिटर्न प्रकार एनोटेशन के मुहावरेदार बराबर है -> None।

def foo() -> None:
    ...

यह मेल खाता है कि बिना returnया सिर्फ नंगे एक फ़ंक्शन का returnमूल्यांकन करता है None।

def void_func():  # unannotated void function
    pass

print(void())  # None

रिटर्न प्रकार को स्वीकार करने का मतलब यह नहीं है कि रिटर्न वैल्यू नहीं है। पीईपी 484 के अनुसार :

चेक किए गए फ़ंक्शन के लिए, तर्कों के लिए डिफ़ॉल्ट एनोटेशन और वापसी प्रकार के लिए है Any।

इसका मतलब है कि मूल्य को गतिशील रूप से टाइप किया गया है और सांख्यिकीय रूप से किसी भी ऑपरेशन का समर्थन करता है । व्यावहारिक रूप से इसका विपरीत अर्थ है void।

पाइथन में टाइप करने के लिए वास्तविक प्रकारों की कड़ाई से आवश्यकता नहीं होती है। उदाहरण के लिए, एनोटेशन प्रकार के नाम के तार का उपयोग कर सकते हैं: Union[str, int], Union[str, 'int'], 'Union[str, int]'और विभिन्न वेरिएंट बराबर हैं।

इसी प्रकार, एनोटेशन Noneका अर्थ "का है " माना जाता हैNoneType । यह न केवल रिटर्न प्रकारों के लिए उपयोग किया जा सकता है, हालांकि आप इसे वहां सबसे अधिक बार देखेंगे:

bar : None

def foo(baz: None) -> None:
    return None

यह सामान्य प्रकारों पर भी लागू होता है। उदाहरण के लिए, आप उपयोग कर सकते हैं Noneमें Generator[int, None, None]एक जनरेटर लेने के लिए या मान वापस नहीं करता है इंगित करने के लिए।

भले ही पीईपी 484 का Noneअर्थ है कि type(None)आपको बाद के फॉर्म का स्पष्ट रूप से उपयोग नहीं करना चाहिए । प्रकार संकेत विनिर्देश के किसी भी रूप में शामिल नहीं है type(...)। यह तकनीकी रूप से एक रनटाइम अभिव्यक्ति है, और इसका समर्थन पूरी तरह से टाइप चेकर तक है। mypyपरियोजना है समर्थन को दूर करने पर विचार के लिए type(None)और साथ ही 484 से निकाल देंगे।

या हो सकता है कि हमें PEP 484 को अपडेट करना चाहिए ताकि यह सुझाव न दिया जा सके कि type(None)यह एक प्रकार के रूप में मान्य है, और Noneकेवल सही वर्तनी है? एक होना चाहिए - और अधिमानतः केवल एक - स्पष्ट तरीका यह करने के लिए आदि।

--- जुक्काएल, 18 मई 2018