सी: हस्ताक्षर किए गए ऑपरेटरों के साथ यूनरी माइनस ऑपरेटर व्यवहार

मुझे सी मानक में प्रासंगिक भागों को पूरी तरह से असाइन किए गए ऑपरेटरों के साथ यूनरी माइनस ऑपरेटर के व्यवहार को परिभाषित नहीं कर रहा है।सी: हस्ताक्षर किए गए ऑपरेटरों के साथ यूनरी माइनस ऑपरेटर व्यवहार

2003 C++ मानक (हाँ, सी ++, कुछ लाइनों के लिए मेरे साथ सहन) का कहना है 5.3.1c7 में: The negative of an unsigned quantity is computed by subtracting its value from 2^n, where n is the number of bits in the promoted operand.

1999 सी मानक, हालांकि, इस तरह के एक स्पष्ट बयान शामिल नहीं है और नहीं है स्पष्ट रूप से गैर-व्यवहार को परिभाषित करें न तो 6.5.3.3 सी 1,3 और न ही 6.5 सी 4 में। उत्तरार्द्ध में यह Some operators (the unary operator ~, and the binary operators <<, >>, &, ^, and |, ...) ... return values that depend on the internal representations of integers, and have implementation-defined and undefined aspects for signed types.) कहता है, जो यून्री माइनस को छोड़ देता है और चीजें अस्पष्ट रहती हैं।

This earlier question के & आर एएनएसआई सी पुस्तक, खंड ए.7.4.5 को संदर्भित करता है जो The negative of an unsigned quantity is computed by subtracting the promoted value from the largest value of the promoted type and adding one कहता है।

1 999 सी मानक पुस्तक के उपरोक्त उद्धरण के बराबर क्या होगा?

6.2.5c9 का कहना है: A computation involving unsigned operands can never overflow, because a result that cannot be represented by the resulting unsigned integer type is reduced modulo the number that is one greater than the largest value that can be represented by the resulting type.

यह है कि है? या क्या मैं कुछ और याद कर रहा हूँ?

स्रोत

2011-11-06 Alexey Frunze

हां, यह §6.2.5 है। –

'<<' and '>> के परिणाम 'ऑपरेटर पूर्णांक के प्रतिनिधित्व पर निर्भर नहीं हैं। उन्हें दो की शक्तियों द्वारा गुणा और विभाजन के रूप में परिभाषित किया जाता है और केवल गैर-नकारात्मक संचालन के लिए ही परिभाषित किया जाता है। '<<' नकारात्मक ऑपरेटरों के लिए अपरिभाषित है, और '>>' नकारात्मक संचालन के लिए कार्यान्वयन-परिभाषित है। –

'किसी भी हस्ताक्षरित मात्रा का नकारात्मक प्रचारित मूल्य के सबसे बड़े मूल्य से प्रचारित मूल्य को घटाकर और एक जोड़कर गणना की जाती है' - मुझे पता है कि मेरे गणितीय कुंग फू शक्तिशाली रिची और स्ट्रॉस्ट्रप की तुलना में कमजोर है, लेकिन ऐसा लगता है गरीब, और शायद पागल, एक ऐसी स्थिति को संभालने का तरीका जो निश्चित रूप से प्रोग्रामर त्रुटि 99.9 ... समय का% है। एक संकलन त्रुटि क्यों नहीं फेंकते हुए कह रही है कि 'आपने एक हस्ताक्षरित प्रकार, आप डिंगस' पर एक संकेत लागू करने का प्रयास किया है? – CCJ

हां, 6.2.5 सी 9 बिल्कुल सही पैराग्राफ है जिसे आपने देखा था।

स्रोत

2011-11-06 11:45:20

वैकल्पिक रूप से, कोई नकारात्मक ऑपरेटर को अपने ऑपरेंड के जोड़ों को जोड़ने के रूप में देख सकता है। यदि एन हस्ताक्षरित है, -एन 1U + ~ N के समतुल्य है क्योंकि वह मान है, जो एन में जोड़े जाने पर शून्य उत्पन्न होगा। – supercat

@supercat तो क्या आप दो पूरक पूरक की गारंटी देते हैं भले ही अंतर्निहित हार्डवेयर ऋणात्मक संख्याओं का एक अलग प्रतिनिधित्व करता है? – JAB

@ जेएबी: दो का पूरक प्रतिनिधित्व बिना हस्ताक्षरित प्रतिनिधित्वों से मेल खाता है, लेकिन व्यवहार की परिभाषा के दो पूरक के साथ कुछ लेना देना नहीं है। – supercat

हर कार्यान्वयन मैं के बारे में पता है, एक नकारात्मक two's complement के रूप में गणना की जाती है ...

int a = 12; 
int b = -a; 
int c = ~a + 1; 
assert(b == c);

... इसलिए वहाँ वास्तव में नकारात्मक पर हस्ताक्षर किए और "नकारात्मक" अहस्ताक्षरित पूर्णांकों के बीच कोई शारीरिक अंतर नहीं है - फर्क सिर्फ इतना है में का अर्थ है कि वे कैसे हैं।

तो इस उदाहरण में ...

unsigned a = 12; 
unsigned b = -a; 
int c = -a;

... b और c ठीक उसी बिट्स को रोकने के लिए जा रहे हैं। केवल अंतर यह है कि b को 2^32-12 (या 2^64-12) के रूप में व्याख्या किया गया है, जबकि c को "सामान्य" -12 के रूप में व्याख्या किया गया है।

तो, ऋणात्मक गणना की गणना "साइन-नेस" के बावजूद ठीक उसी तरह की जाती है, और हस्ताक्षरित और हस्ताक्षरित के बीच कास्टिंग वास्तव में एक नो-ऑप है (और किसी भी तरह से एक ओवरफ्लो का कारण नहीं बन सकता है कि कुछ बिट्स की आवश्यकता है कटौती करने के लिए")।

स्रोत

2011-11-06 12:50:57

मैं अभ्यास से भी यह सब जानता हूं। प्रश्न मानक के प्रति व्यवहार, एक अलग बात के बारे में है। –

मुझे यह नहीं पता था और यह नींव सामान लगता है, टा। +1 –

हस्ताक्षर किए गए ऑपरेटरों पर यूनरी माइनस ऑपरेटर का व्यवहार इस बात से कोई लेना-देना नहीं है कि कोई मशीन हस्ताक्षरित संख्याओं के साथ दो के पूरक अंकगणित का उपयोग करती है या नहीं। इसके बजाए, unsigned int x,y; कथन y=-x;y का कारण x+y बराबर शून्य बनाने के लिए जो भी मूल्य रखना होगा, उसे प्राप्त करने के लिए y का कारण होगा। यदि x शून्य है, तो y इसी प्रकार शून्य होगा। x के किसी भी अन्य मूल्य के लिए, यह UINT_MAX-x+1 होगा, इस मामले में x+y का अंकगणितीय मूल्य UINT_MAX+1+(y-y) होगा, जो unsigned integer को सौंपा गया है, तो UINT_MAX+1 से घटाया जाएगा, शून्य प्रदान करेगा।

स्रोत

2015-06-22 20:40:50 supercat

सी: हस्ताक्षर किए गए ऑपरेटरों के साथ यूनरी माइनस ऑपरेटर व्यवहार

उत्तर

संबंधित मुद्दे