मैं कैसे बता सकता हूं कि एक सी पूर्णांक चर पर हस्ताक्षर किए गए हैं या नहीं?

Question

एक अभ्यास के रूप में, मैं एक मैक्रो लिखना चाहता हूं जो मुझे बताता है कि एक पूर्णांक चर पर हस्ताक्षर किए गए हैं या नहीं। यह वही है जो मेरे पास अब तक है और मुझे परिणाम मिलने की उम्मीद है यदि मैं इसे char variable पर gcc -fsigned-char या -funsigned-char के साथ आज़माता हूं।

#define ISVARSIGNED(V) (V = -1, (V < 0) ? 1 : 0) 

क्या यह पोर्टेबल है? परिवर्तनीय के मूल्य को नष्ट किए बिना ऐसा करने का कोई तरीका है?

Answer 1

#define ISVARSIGNED(V) ((V)<0 || (-V)<0 || (V-1)<0) 

वी के मूल्य में परिवर्तन नहीं करता है तीसरे टेस्ट मामले संभालती है जहां वी == 0.

मेरी संकलक (जीसीसी/cygwin) इस int और long लेकिन char के लिए नहीं लिए काम करता है पर या short।

#define ISVARSIGNED(V) ((V)-1<0 || -(V)-1<0) 

भी दो परीक्षणों में नौकरी करता है।

Answer 2

#define ISVARSIGNED(V) ((-(V) < 0) != ((V) < 0)) 

चर के मूल्य को नष्ट किए बिना। लेकिन 0 मानों के लिए काम नहीं करता है।

के बारे में क्या:

#define ISVARSIGNED(V) (((V)-(V)-1) < 0) 

Answer 3

आप जीसीसी उपयोग कर रहे हैं आप typeof कीवर्ड का उपयोग कर सकते मूल्य अधिलेखित नहीं करने के लिए:

#define ISVARSIGNED(V) ({ typeof (V) _V = -1; _V < 0 ? 1 : 0 }) 

यह एक अस्थायी चर बनाता है, _V, है V के समान प्रकार।

पोर्टेबिलिटी के लिए, मुझे नहीं पता। यह दो की तारीफ मशीन पर काम करेगा (ए.के.ए. सबकुछ जो भी आपका कोड कभी भी सभी संभावनाओं पर चलता है), और मेरा मानना ​​है कि यह किसी की तारीफ और साइन-एंड-परिमाण मशीनों पर भी काम करेगा। एक साइड नोट के रूप में, यदि आप typeof का उपयोग करते हैं, तो आप इसे सुरक्षित बनाने के लिए -1 से typeof (V) डालना चाहेंगे (यानी चेतावनियां ट्रिगर करने की संभावना कम हो)।

Answer 4

हस्ताक्षरित/हस्ताक्षरित गणित की एक विशिष्ट विशेषता यह है कि जब आप एक हस्ताक्षरित संख्या को सही स्थानांतरित करते हैं, तो सबसे महत्वपूर्ण बिट की प्रतिलिपि बनाई जाती है। जब आप एक अहस्ताक्षरित संख्या बदलाव, नए बिट्स 0.

#define HIGH_BIT(n) ((n) & (1 << sizeof(n) * CHAR_BITS - 1)) 
#define IS_SIGNED(n) (HIGH_BIT(n) ? HIGH_BIT(n >> 1) != 0 : HIGH_BIT(~n >> 1) != 0 

तो बुनियादी तौर पर, इस मैक्रो निर्धारित करने के लिए एक नंबर के उच्च बिट सेट कर दिया जाता है कि क्या एक सशर्त अभिव्यक्ति का उपयोग करता है। यदि ऐसा नहीं है, तो मैक्रो इसे संख्या को अस्वीकार कर थोड़ा सा सेट करता है। हम अंकगणित अस्वीकृति नहीं कर सकते क्योंकि -0 == 0. हम फिर 1 बिट तक सही स्थानांतरित करते हैं और परीक्षण करते हैं कि साइन एक्सटेंशन हुआ है या नहीं।

यह 2 के पूरक अंकगणितीय मानता है, लेकिन यह आमतौर पर एक सुरक्षित धारणा है।

Answer 5

इस सरल समाधान का कोई साइड इफेक्ट नहीं है, जिसमें केवल एक बार वी (जो मैक्रो में महत्वपूर्ण है) का जिक्र करने के लाभ शामिल हैं। हम जीसीसी एक्सटेंशन "typeof" का उपयोग वी के प्रकार के प्राप्त करने के लिए, और फिर डाली -1 इस प्रकार हैं:

#define IS_SIGNED_TYPE(v) ((typeof(v))-1 <= 0) 

यह < = (जब सक्षम) सिर्फ < कुछ मामलों के लिए संकलक चेतावनी से बचने के लिए के बजाय है।

Answer 6

पृथ्वी पर क्यों आपको मैक्रो होने की आवश्यकता है?टेम्पलेट्स इस के लिए महान हैं:

template <typename T> 
bool is_signed(T) { 
    static_assert(std::numeric_limits<T>::is_specialized, "Specialize std::numeric_limits<T>"); 
    return std::numeric_limits<T>::is_signed; 
} 

कौन सा सभी मौलिक अभिन्न प्रकार के लिए बाहर के बॉक्स काम करेंगे। यह पॉइंटर्स पर संकलन-समय पर भी असफल हो जाएगा, जो संस्करण केवल घटाव और तुलना का उपयोग नहीं करेगा।

संपादित: ओह, प्रश्न की आवश्यकता सी फिर भी, टेम्पलेट्स अच्छा तरीका है: पी

Answer 7

सभी "यह नकारात्मक" उत्तर देने के लिए एक अलग दृष्टिकोण:

#define ISVARSIGNED(V) (~(V^V)<0) 

इस तरह वी के विभिन्न मूल्यों के लिए विशेष मामलों की आवश्यकता नहीं है, क्योंकि ∀ वी ∈ ℤ, वी^वी = 0.