uintptr_t पोर्टेबल विकल्प

Question

मैं कुछ प्रकार T के मेमोरी संरेखण के लिए जांच करना चाहता हूं। यह करने के लिए सरल तरीके

if (((uintptr_t)&var & __alignof(T) - 1) == 0) ... 

तथापि है, uintptr_t मौजूदा सी का हिस्सा ++ मानक नहीं है और यह कुछ compilers द्वारा समर्थित नहीं है, तो मैं यह करने के लिए एक पोर्टेबल वैकल्पिक तरीका के लिए देख रहा हूँ और std::ptrdiff_t अच्छा लग रहा है मेरे लिए। std::ptrdiff_t दो पॉइंटर्स के बीच अंतर को स्टोर करने में सक्षम होने की गारंटी देता है, लेकिन कौन कहता है कि उन पॉइंटर्स में से एक शून्य सूचक नहीं हो सकता है? उस स्थिति में std::ptrdiff_t को पॉइंटर के रूप में कम से कम एक ही आकार होना चाहिए।

template <typename T> bool is_properly_aligned(const T* const ptr) 
{ 
    std::ptrdiff_t diff = (ptr - static_cast<T*>(0)) * sizeof(T); 
    return ((diff & __alignof(T) - 1) == 0); 
} 

या ऐसा (sizeof(T) द्वारा गुणा से छुटकारा पाने के)

template <typename T> bool is_properly_aligned(const T* const ptr) 
{ 
    std::ptrdiff_t diff = 
     reinterpret_cast<const char*>(ptr) - static_cast<const char*>(0); 
    return ((diff & __alignof(T) - 1) == 0); 
} 

क्या आप समाधान इस तरह के बारे में सोचते हैं? क्या यह पोर्टेबल पर्याप्त है? मुझे कोई कारण नहीं दिख रहा है कि यह क्यों विफल होना चाहिए, हालांकि मैं पुष्टि करना चाहता हूं।

धन्यवाद।

Answer 1

मुझे यकीन नहीं है कि यहां सवाल क्या है। "तुम क्या सोचते हो?" मुझे लगता है कि ptrdiff_t वास्तव में दो बिंदुओं के बीच अंतर का प्रतिनिधित्व करने के लिए सही डेटाटाइप है, लेकिन यह दो पॉइंटर्स की तुलना करने के लिए बहुत कम समझ में आता है अगर वे एक साधारण आवंटन से आने वाली संगत स्मृति के ब्लॉक में इंगित नहीं कर रहे हैं (और एक कोरोलरी के रूप में, न तो तुलना की जा रही दो पॉइंटरों में से कभी भी पूर्ण होना चाहिए)।