पिछले जवाबों में से कोई भी मेरे अपने भ्रम की तह तक नहीं गया, इसलिए मैं अपना खुद का जोड़ना चाहूंगा।
मुझे जो याद आ रहा था, वह यह है कि leaऑपरेशन कोष्ठक के उपयोग को कैसे movकरता है की तुलना में अलग है।
सी। के बारे में सोचो चलो कहते हैं कि मेरे पास एक सरणी है longजिसे मैं कहता हूं array। अब एक्सप्रेशन [1] array[i]पर मेमोरी से वैल्यू लोड करते हुए एक एक्सप्रेशन करता है array + i * sizeof(long)।
दूसरी ओर, अभिव्यक्ति पर विचार करें &array[i]। यह अभी भी उप-अभिव्यक्ति समाहित करता है array[i], लेकिन कोई भी डीफ्रेंसिंग नहीं किया जाता है! का अर्थ array[i]बदल गया है। इसका मतलब अब एक प्रदर्शन करना नहीं है, बल्कि एक प्रकार के विनिर्देश के रूप में कार्य करता है , &जो यह बताता है कि हम किस मेमोरी एड्रेस की तलाश कर रहे हैं। यदि आप चाहें, तो आप वैकल्पिक &रूप से "रद्द करना" के रूप में सोच सकते हैं ।
क्योंकि दो उपयोग-मामले कई मायनों में समान हैं, वे सिंटैक्स को साझा करते हैं array[i], लेकिन &उस सिंटैक्स की व्याख्या कैसे की जाती है , इसके अस्तित्व या अनुपस्थिति । इसके बिना &, यह एक शर्त है और वास्तव में सरणी से पढ़ता है। के साथ &, यह नहीं है। मूल्य array + i * sizeof(long)की गणना अभी भी की जाती है, लेकिन इसे सीमित नहीं किया जाता है।
स्थिति बहुत समान है movऔर lea। के साथ mov, एक विक्षेप होता है जो साथ नहीं होता है lea। यह उन दोनों में होने वाले कोष्ठक के उपयोग के बावजूद है। उदाहरण के लिए, movq (%r8), %r9और leaq (%r8), %r9। के साथ mov, इन कोष्ठकों का अर्थ है "डीरेफेरेंस"; के साथ lea, वे नहीं। यह समान है कि array[i]जब कोई नहीं है तो केवल "डीरेफेरेंस" का मतलब क्या है &।
एक उदाहरण क्रम में है।
कोड पर विचार करें
movq (%rdi, %rsi, 8), %rbp
यह %rdi + %rsi * 8रजिस्टर में मेमोरी लोकेशन पर वैल्यू लोड करता है %rbp। वह है: रजिस्टर %rdiमें मूल्य और रजिस्टर में मूल्य प्राप्त करें %rsi। उत्तरार्द्ध को 8 से गुणा करें, और फिर इसे पूर्व में जोड़ें। इस स्थान पर मान प्राप्त करें और इसे रजिस्टर में रखें %rbp।
इस कोड को सी लाइन से मेल खाती है x = array[i];, जहां arrayहो जाता है %rdiऔर iहो जाता है %rsiऔर xहो जाता है %rbp। 8सरणी में निहित डेटा प्रकार की लंबाई है।
अब समान कोड का उपयोग करने पर विचार करें lea:
leaq (%rdi, %rsi, 8), %rbp
जिस तरह movqडेरेफ्रेंसिंग के लिए पत्राचार का उपयोग किया जाता है, उसी तरह leaqयहां का उपयोग डीरेफरेंसिंग के अनुरूप नहीं है। असेंबली की यह रेखा C रेखा से मेल खाती है x = &array[i];। याद रखें कि केवल एक स्थान निर्दिष्ट करने के लिए dereferencing से &अर्थ बदल जाता है array[i]। इसी तरह, किसी स्थान को निर्दिष्ट करने के लिए डेरेफेरिंग से leaqअर्थ के परिवर्तन का उपयोग (%rdi, %rsi, 8)।
कोड की इस पंक्ति के शब्दार्थ इस प्रकार हैं: रजिस्टर %rdiमें मूल्य और रजिस्टर में मूल्य प्राप्त करें %rsi। उत्तरार्द्ध को 8 से गुणा करें, और फिर इसे पूर्व में जोड़ें। इस मान को रजिस्टर में रखें %rbp। मेमोरी से कोई लोड शामिल नहीं है, बस अंकगणितीय संचालन [2]।
नोट के अपने विवरण के बीच फर्क सिर्फ इतना है कि leaqऔर movqवह यह है कि movqएक भिन्नता है, और leaqनहीं करता है। वास्तव में, leaqविवरण लिखने के लिए , मैंने मूल रूप से इसके विवरण को कॉपी + पेस्ट किया movqऔर फिर "इस स्थान पर मान ढूंढें" को हटा दिया।
संक्षेप में: movqबनाम leaqमुश्किल है क्योंकि वे कोष्ठक के उपयोग के इलाज के रूप में, (%rsi)और (%rdi, %rsi, 8), अलग ढंग से। में movq(और को छोड़कर अन्य सभी अनुदेश lea), इन कोष्ठकों एक वास्तविक भिन्नता निरूपित, जबकि leaqवे नहीं है और विशुद्ध रूप से सुविधाजनक वाक्य रचना कर रहे हैं।
[१] मैंने कहा है कि जब arrayकोई सरणी होती है long, तो अभिव्यक्ति array[i]पते से मूल्य लोड करती है array + i * sizeof(long)। यह सच है, लेकिन एक सूक्ष्मता है जिसे संबोधित किया जाना चाहिए। अगर मैं C कोड लिखता हूँ
long x = array[5];
यह टाइपिंग जैसा नहीं है
long x = *(array + 5 * sizeof(long));
ऐसा लगता है कि यह मेरे पिछले बयानों पर आधारित होना चाहिए , लेकिन ऐसा नहीं है।
क्या चल रहा है कि सी पॉइंटर जोड़ के पास एक चाल है। कहें कि मेरे पास एक पॉइंटर है pजो टाइप के मूल्यों की ओर इशारा करता है T। अभिव्यक्ति p + iकरता है नहीं मतलब है "में स्थिति pके साथ साथ iबाइट्स"। इसके बजाय, अभिव्यक्ति p + i वास्तव में " pप्लस i * sizeof(T)बाइट्स में स्थिति" का मतलब है ।
इसकी सुविधा यह है कि "अगला मूल्य" प्राप्त करने के लिए हमें केवल p + 1इसके बजाय लिखना होगा p + 1 * sizeof(T)।
इसका मतलब है कि सी कोड long x = array[5];वास्तव में इसके बराबर है
long x = *(array + 5)
क्योंकि C स्वचालित रूप से 5द्वारा गुणा करेगा sizeof(long)।
तो इस StackOverflow सवाल के संदर्भ में, यह सब कैसे प्रासंगिक है? इसका मतलब है कि जब मैं "पता array + i * sizeof(long)" कहता हूं , तो मेरा मतलब सी अभिव्यक्ति के रूप में व्याख्या करने के लिए " " नहीं है array + i * sizeof(long)। मैं sizeof(long)अपने उत्तर को और अधिक स्पष्ट करने के लिए अपने आप से गुणा कर रहा हूं, लेकिन यह समझें कि उसके कारण, इस अभिव्यक्ति को सी के रूप में नहीं पढ़ा जाना चाहिए। सामान्य गणित जो सी सिंटैक्स का उपयोग करता है।
[२] साइड नोट: क्योंकि सभी leaअंकगणितीय संक्रियाएँ हैं, इसके तर्कों को वास्तव में मान्य पतों का उल्लेख नहीं करना है। इस कारण से, इसका उपयोग अक्सर उन मूल्यों पर शुद्ध अंकगणित प्रदर्शन करने के लिए किया जाता है, जिनका इरादा शायद ही हो। उदाहरण के लिए, अनुकूलन अनुवाद के ccसाथ-O2
long f(long x) {
return x * 5;
}
निम्नलिखित में (अप्रासंगिक लाइनें हटा दी गई हैं):
f:
leaq (%rdi, %rdi, 4), %rax # set %rax to %rdi + %rdi * 4
ret