जब किसी फ़ंक्शन में एक विशिष्ट-आकार सरणी पैरामीटर होता है, तो इसे पॉइंटर के साथ क्यों बदला जाता है?

Question

निम्नलिखित कार्यक्रम को देखते हुए,

#include <iostream> 

using namespace std; 

void foo(char a[100]) 
{ 
    cout << "foo() " << sizeof(a) << endl; 
} 

int main() 
{ 
    char bar[100] = { 0 }; 
    cout << "main() " << sizeof(bar) << endl; 
    foo(bar); 
    return 0; 
} 

आउटपुट

main() 100 
foo() 4 

1. क्यों सरणी पहला तत्व के सूचक के रूप पारित हो जाता है?
2. क्या यह सी से विरासत है?
3. मानक क्या कहता है?
4. सी ++ की सख्त प्रकार-सुरक्षा क्यों गिरा दी गई है?

Answer 1

हाँ, यह सी से विरासत में मिली है समारोह:

void foo (char a[100]); 

पैरामीटर एक सूचक होने के लिए समायोजित किया होगा, और इतना हो जाता है:

void foo (char * a); 

यदि आप चाहते हैं कि सरणी प्रकार संरक्षित है, तो आपको सरणी के संदर्भ में पास होना चाहिए:

void foo (char (&a)[100]); 

सी ++ '03 8.3.5/3:

... एक समारोह के प्रकार के निम्नलिखित नियमों का उपयोग निर्धारित होता है। प्रत्येक पैरामीटर का प्रकार अपने स्वयं के घोषित-विनिर्देशक-सेक और घोषणाकर्ता से निर्धारित होता है। प्रत्येक पैरामीटर के प्रकार का निर्धारण करने के बाद, "सरणी की टी" या "फ़ंक्शन रिटर्निंग टी" के किसी पैरामीटर को क्रमशः "पॉइंटर टू टी" या "ट्रिगर रिटर्निंग टी के लिए सूचक" के रूप में समायोजित किया जाता है ....

वाक्य रचना की व्याख्या करने के लिए: गूगल में "सही-बाएँ" शासन के लिए

चेक; मुझे here का एक विवरण मिला।

यह रूप में लगभग इस उदाहरण पर लागू किया जाएगा इस प्रकार है: पहचानकर्ता में 'एक'

'एक' एक

चाल सही है

void foo (char (&a)[100]); 

प्रारंभ - हम पाते हैं ) इसलिए हम ( की तलाश में दिशा को उलट देते हैं। हम छोड़ दिया ले जाते हैं हम &

पारित 'एक' एक संदर्भ

& हम उद्घाटन ( तो हम फिर से रिवर्स और सही लग रही तक पहुँचने के बाद है। अब हम देखते हैं [100]

'एक' 100

की एक सरणी के लिए एक संदर्भ है और हम फिर से दिशा रिवर्स जब तक हम char तक पहुँचने:

'एक' के लिए एक संदर्भ है 100 वर्णों की एक सरणी

Answer 2

हां। सी और सी ++ में आप कार्यों के लिए सरणी पास नहीं कर सकते हैं। यह वैसा ही है जैसा होना चाहिए।

आप सादे सरणी क्यों कर रहे हैं? क्या आपने boost/std::tr1::array/std::array या std::vector पर देखा है?

ध्यान दें कि आप, फ़ंक्शन टेम्पलेट पर मनमाने ढंग से लंबाई की सरणी के संदर्भ को पारित कर सकते हैं। मेरे सिर के ऊपर बंद:

template< std::size_t N > 
void f(char (&arr)[N]) 
{ 
    std::cout << sizeof(arr) << '\n'; 
} 

Answer 3

सी/सी ++ शब्दावली में शानदार शब्द है जिसका उपयोग स्थिर सरणी के लिए किया जाता है डी फ़ंक्शन पॉइंटर्स - क्षय। निम्नलिखित कोड पर विचार करें:

int intArray[] = {1, 3, 5, 7, 11}; // static array of 5 ints 
//... 
void f(int a[]) { 
    // ... 
} 
// ... 
f(intArray); // only pointer to the first array element is passed 
int length = sizeof intArray/sizeof(int); // calculate intArray elements quantity (equals 5) 
int ptrToIntSize = sizeof(*intArray); // calculate int * size on your system