सी ++ 11

Question

में ऑटो का उपयोग जब मैं पॉइंटर प्रकार को कम करने के लिए auto का उपयोग करता हूं, तो मुझे एक अजीब घटना मिली। मेरे कोड इस तरह है:

#include <iostream> 
using namespace std; 
int main() 
{ 
    int i = 100; 
    auto p1 = &i; 
    auto *p2 = &i; 

    cout << *p1 << " " << *p2 << endl; 

    return 0; 
} 

संकलन और क्रियान्वित करने के बाद, हम पा सकते हैं कि *p1 और *p2 का परिणाम एक ही है, दोनों 100 इसका मतलब यह है p1 और p2 दोनों एक सूचक वस्तु जो एक int की ओर इशारा कर रहे हैं वस्तु।

[user@host ~]$ ./test 
100 100 

कि इन दो बयानों जो p1 और p2 परिभाषित के बीच कोई अंतर है?

Answer 1

auto चर की घोषणाओं में प्रयोग किया जाता विनिर्देशक, के रूप में template argument deduction में इस्तेमाल एक ही नियमों के साथ अपने प्रकार deduces।

अपने पहले उदाहरण पर विचार करें (यानी, auto p1 = &i;)। auto विनिर्देशक के प्रकार इस प्रकार निष्कर्ष निकाला है:

1. auto एक काल्पनिक प्रकार टेम्पलेट पैरामीटर साथ बदल दिया है (उदाहरण के लिए, U p1 = &i;)।
2. &i प्रकार int* है, इस प्रकार कोई आश्चर्य नहीं है और टेम्पलेट कटौती नियमों के अनुसार Uint* पर ले जाया गया है।

अब अपने दूसरे उदाहरण (यानी, auto *p2 = &i) पर विचार करें।

1. फिर auto एक काल्पनिक प्रकार टेम्पलेट पैरामीटर साथ बदल दिया है (उदाहरण के लिए, U* p1 = &i;)।
2. &i प्रकार int* है, इस प्रकार टेम्पलेट कटौती नियम U के अनुसार int पर घटाया जाता है।

जैसे, auto *p2 = &i; में प्लेसहोल्डर प्रकार auto सही ढंग से int और नहीं int* के रूप में के रूप में निष्कर्ष निकाला जाएगा, उस प्रकार int** की p2 से किया जा रहा में परिणाम होगा, जैसा कि आप की उम्मीद हो सकता है।

Answer 2

अंतर है, जबकि दूसरे मामले में स्वत: int को निष्कर्ष निकाला है कि पहले मामले में स्वत: int* को निष्कर्ष निकाला है, जिसमें दोनों p1 और p2 प्रकार int* का किया जा रहा है परिणाम है। ऑटो के लिए प्रकार का कटौती तंत्र टेम्पलेट तर्कों के बराबर है। अपने उदाहरण में टाइप कटौती इसलिए

template<typename T> 
void foo(T p1); 

template<typename T> 
void bar(T* p2); 

int main() 
{ 
    int i; 
    foo(&i); 
    bar(&i); 
} 

जहां दोनों कार्यों के रूप में प्रकार शून्य (int *) instantiated कर रहे हैं करने के लिए समान है, लेकिन पहले मामले में T जबकि दूसरे मामले T में int टाइप है int* को निष्कर्ष निकाला जाता है।