`uintptr_t` और उपाध्यक्ष प्रतिकूल करने के लिए एक गैर `void` सूचक परिवर्तित

Question

वहाँ दो संबंधित सी मानक नियम हैं:

C99 मानक, 6.3.2.3:

एक सूचक शून्य करने के लिए बदला जा सकता है या किसी सूचक से किसी भी अपूर्ण या ऑब्जेक्ट प्रकार से। किसी अपूर्ण या ऑब्जेक्ट प्रकार को पॉइंटर को पॉइंटर में शून्य और फिर से परिवर्तित करने के लिए परिवर्तित किया जा सकता है; परिणाम मूल सूचक के बराबर की तुलना करेगा।

और 7.20.1.4:

निम्न प्रकार संपत्ति है कि किसी भी वैध सूचक शून्य करने के लिए इस प्रकार के लिए परिवर्तित किया जा सकता है के साथ एक अहस्ताक्षरित पूर्णांक प्रकार निर्दिष्ट करता, फिर वापस सूचक शून्य करने के लिए करने के लिए परिवर्तित, और परिणाम मूल सूचक के बराबर की तुलना करेंगे: uintptr_t

इसका मतलब है, कि followin जी कोड अनुपालन है:

int *p = NULL; 
void *q = (void*)p; 
uintptr_t s = (uintptr_t)q; 

लेकिन क्या इसे वास्तव में दो-चरणीय कलाकारों की आवश्यकता है?

int *p = NULL; 
uintptr_t s = (uintptr_t)p; 

(ठीक है, यह शायद सबसे compilers पर है, लेकिन मेरे सवाल का मानक अनुपालन के बारे में है जाएगा)

Answer 1

मैं इसे जोखिम नहीं होगा: अगर की तरह कुछ कर रही संकलक एक अंतर्निहित मध्यवर्ती डाली प्रदर्शन करेंगे। मानक यह स्पष्ट रूप से स्पष्ट करता है कि क्या अनुमति है और क्या अनुमति नहीं है।

लेखन uintptr_t s = (uintptr_t)(void*)p; आपके कोड के पाठक को सिग्नल जो आप जानते हैं कि आप क्या कर रहे हैं।