सी ++ संरचना मुख्य

Question

में दिखाई देने वाले फ़ंक्शन में घोषित की गई है यह कोड क्यों काम करता है? c++14

// Example program 
#include <iostream> 
#include <string> 
using namespace std; 


auto fun() 
{ 
    struct a 
    { 
     int num = 10; 
     a() 
     { 

      cout << "a made\n"; 
     } 
     ~a() 
     { 
      cout << "a destroyed\n"; 
     } 
    }; 
    static a a_obj; 
    return a_obj; 
} 


int main() 
{ 
    auto x = fun(); 
    cout << x.num << endl; 

} 

साथ कैसे प्रकार a मुख्य में दिख रहा है? अगर मैं auto x= से a x= बदलता हूं तो यह स्पष्ट रूप से संकलित नहीं होता है, लेकिन a प्रकार के बारे में मुख्य कैसे पता चलता है?

static घोषणा तब से है जब मैं किसी और चीज की जांच करने की कोशिश कर रहा था लेकिन फिर मैंने इस व्यवहार पर ठोकर खाई।

इसे यहाँ चल रहा है: https://wandbox.org/permlink/rEZipLVpcZt7zm4j

Answer 1

यह सब आश्चर्यजनक है जब तक आप इसे महसूस न करें: नाम दृश्यता प्रकार को छिपाती नहीं है। यह सिर्फ नाम नाम से छिपाता है। एक बार जब आप इसे समझ लेंगे तो यह सब समझ में आता है।

मैं सिर्फ सादे पुराने टेम्पलेट के साथ, auto बिना आप इस दिखा सकते हैं:

auto fun() 
{ 
    struct Hidden { int a; }; 

    return Hidden{24}; 
} 

template <class T> auto fun2(T param) 
{ 
    cout << param.a << endl; // OK 
} 

auto test() 
{ 
    fun2(fun()); // OK 
} 

तुम करीब से देखो, तो आप इस तुम्हारा के रूप में एक ही स्थिति है देखेंगे:

आप एक struct Hidden है जो fun पर स्थानीय है। तो फिर तुम test अंदर प्रकार Hidden की एक वस्तु का उपयोग करें: आप fun जो एक Hidden obj रिटर्न फोन और फिर आप fun2 जो बदले में सब पर कोई समस्या नहीं है यह महिमा सब में वस्तु Hidden का उपयोग करने के लिए इस वस्तु गुजरती हैं।

@Barry के रूप में सुझाव दिया गया है कि जब आप किसी वर्ग से किसी निजी प्रकार का उदाहरण लौटाते हैं तो वही होता है। तो हमारे पास C++ 03 के बाद से यह व्यवहार है। आप इसे स्वयं आज़मा सकते हैं।

Answer 2

सी ++ 14 अधिक से auto साथ अधिक सहिष्णु होना करने के लिए बनाया गया है। आपका प्रश्न स्पष्ट नहीं है, क्योंकि आप यह नहीं बता रहे हैं कि समस्या क्या है।

अब अपने प्रश्न से अलग तरीके से निपटें: यह a x = ... के साथ क्यों काम नहीं करता है?

कारण यह है कि संरचना परिभाषा मुख्य के दायरे में नहीं है। अब इस काम करेगा:

// Example program 
#include <iostream> 
#include <string> 
using namespace std; 

struct a 
{ 
    int num = 10; 
}; 

auto fun() 
{ 
    static a a_obj; 
    return a_obj; 
} 


int main() 
{ 
    a x = fun(); 
    cout << x.num << endl; 

} 

अब यहाँ इससे कोई फर्क नहीं पड़ता कि आप a या auto का उपयोग करें, क्योंकि amain() के लिए दिख रहा है। अब auto एक अलग कहानी है। संकलक पूछता है: क्या मेरे पास x का प्रकार क्या है (असंबद्ध रूप से) को कम करने के लिए पर्याप्त जानकारी है? और जवाब हां है, क्योंकि a का कोई विकल्प नहीं है।