पर्ल सबराउटिन में @_ कैसे काम करता है?

Question

मुझे हमेशा यकीन था कि अगर मैं एक पर्ल सबराउटिन को एक साधारण स्केलर पास करता हूं, तो यह सबराउटिन के बाहर अपना मूल्य कभी नहीं बदल सकता है। यही कारण है:

my $x = 100; 
foo($x); 
# without knowing anything about foo(), I'm sure $x still == 100 

तो अगर मैं foo() चाहते x बदलने के लिए, मैं इसे x के लिए एक संदर्भ से गुजरना होगा।

तब मुझे पता चला कि यह स्थिति नहीं है:

sub foo { 
$_[0] = 'CHANGED!'; 
} 
my $x = 100; 
foo($x); 
print $x, "\n"; # prints 'CHANGED!' 

और एक ही सरणी तत्वों के लिए चला जाता है:

my @arr = (1,2,3); 
print $arr[0], "\n"; # prints '1' 
foo($arr[0]); 
print $arr[0], "\n"; # prints 'CHANGED!' 

कि थोड़े मुझे हैरान कर दिया। यह कैसे काम करता है? क्या subroutine केवल मान तर्क के साथ प्राप्त नहीं होता है? यह इसका पता कैसे जानता है?

Answer 1

पर्ल में, @_ में संग्रहीत सबराउटिन तर्क हमेशा कॉल साइट पर मानों के लिए उपनाम होते हैं। यह एलियासिंग केवल @_ में बनी रहती है, यदि आप मूल्यों की प्रतिलिपि बनाते हैं, तो आपको वही मिलता है, मान।

इस उप में तो

:

sub example { 
    # @_ is an alias to the arguments 
    my ($x, $y, @rest) = @_; # $x $y and @rest contain copies of the values 
    my $args = \@_; # $args contains a reference to @_ which maintains aliases 
} 

ध्यान दें कि यह अलियासिंग सूची में विस्तार के बाद होता है, इसलिए यदि आप example को एक सरणी पारित कर दिया, सरणी सूची संदर्भ में फैलता है, और @_ प्रत्येक तत्व के अन्य नामों पर सेट किया गया है सरणी का (लेकिन सरणी स्वयं example पर उपलब्ध नहीं है)। यदि आप उत्तरार्द्ध चाहते थे, तो आप सरणी के संदर्भ को पारित करेंगे।

सबराउटिन तर्कों का एलिसिंग एक बहुत ही उपयोगी विशेषता है, लेकिन देखभाल के साथ इसका उपयोग किया जाना चाहिए। बाह्य चर के अनपेक्षित संशोधन को रोकने के लिए, पर्ल 6 में आपको यह निर्दिष्ट करना होगा कि आप is rw के साथ लिखने योग्य एलियाज्ड तर्क चाहते हैं।

my $slice = sub {\@_}->(@somearray[3 .. 10]); 

यह भी है कि करने के लिए sub {\@_}->(LIST) का उपयोग कर पता चला:

कम ज्ञात लेकिन उपयोगी चाल में से एक उपनाम

my ($x, $y) = (1, 2); 

my $alias = sub {\@_}->($x, $y); 

$$alias[1]++; # $y is now 3 

की सरणी refs या एलियास स्लाइस बनाने के लिए इस अलियासिंग सुविधा का उपयोग करने है सूची से एक सरणी बनाना वास्तव में
[ LIST ] से तेज़ है क्योंकि पर्ल को प्रत्येक मान की प्रतिलिपि बनाने की आवश्यकता नहीं है। निस्संदेह नकारात्मक (या आपके परिप्रेक्ष्य के आधार पर उल्टा) यह है कि मूल्य अलियाकृत रहते हैं, इसलिए आप मूल को बदलने के बिना उन्हें बदल नहीं सकते हैं।

रूप tchrist एक और जवाब देने के लिए एक टिप्पणी में उल्लेख है, आप पर्ल के अलियासिंग निर्माणों में से किसी का उपयोग करते हैं @_ पर, $_ वे प्रदान है कि आप भी मूल सबरूटीन तर्कों को एक उपनाम है। जैसे:

sub trim {s!^\s+!!, s!\s+$!! for @_} # in place trimming of white space 

अन्त में सभी इस व्यवहार का nestable है, इसलिए जब एक और सबरूटीन का तर्क सूची में @_ का उपयोग कर (या इसे का एक टुकड़ा), यह भी पहली सबरूटीन के तर्कों को उपनाम हो जाता है:

sub add_1 {$_[0] += 1} 

sub add_2 { 
    add_1(@_) for 1 .. 2; 
} 

Answer 2

पर्ल संदर्भ द्वारा तर्कों को पास करता है, मूल्य से नहीं। http://www.troubleshooters.com/codecorn/littperl/perlsub.htm

Answer 3

यह सब perldoc perlsub में विस्तार से दस्तावेज किया गया है। उदाहरण के लिए:

सरणी @_ में दिखाए गए किसी भी तर्क को पारित किया गया। इसलिए, यदि आपने दो तर्कों के साथ फ़ंक्शन कहा है, तो उन्हें $ _ [0] और $ _ [1] में संग्रहीत किया जाएगा। सरणी @_ एक स्थानीय सरणी है, लेकिन इसके तत्व वास्तविक स्केलर पैरामीटर के लिए उपनाम हैं। विशेष रूप से, यदि कोई तत्व $ _ [0] अपडेट किया गया है, तो संबंधित तर्क अपडेट किया गया है (या त्रुटि तब होती है जब यह अद्यतन करने योग्य नहीं है)। यदि कोई तर्क एक सरणी या हैश तत्व है जो फ़ंक्शन को कॉल करने के दौरान मौजूद नहीं था, तो वह तत्व केवल तभी बनाया जाता है जब (और यदि) इसे संशोधित किया गया हो या इसका संदर्भ लिया गया हो। (पर्ल के कुछ पुराने संस्करणों ने तत्व बनाया है या नहीं, तत्व को असाइन किया गया था या नहीं।) पूरे सरणी को असाइन करना @_ उस अलियासिंग को हटा देता है, और किसी भी तर्क को अद्यतन नहीं करता है।