Perlのサブルーチンの引数に配列やハッシュをCall by Valueすることはできない？

質問

タイトルどおりなんですが・・・。

　Perlのサブルーチンに配列やハッシュを実体渡ししようとしたんですが，どうやってもできません．あきらめて，参照渡しにしたら，なんかうまくいっている模様です．

　これは，そもそも，はじめから参照渡ししか用意されていない、ということでしょうか？．それとも，何か実体渡しする方法があるのでしょうか？．

　後，余談なんですが，配列やハッシュの要素に別の配列やハッシュの実体を入れることはできるのですか？．これもちょっと試してみたらできなさそうだったのですが，あちこちのWebにある入門マニュアルみたいなページを見ても，その辺の話が「できる」とも「できない」ともほとんどの場合かいてなくて，自分の試し方が悪いのか，それとも無駄なことを延々とやっているのかがわからなくて疲れます．

回答No.4

haporun

byval(@a)と書くと($a[0..$#a])を渡したのと同じになります。
リファは入ってません。
しかし、@_は@aの参照ではありません。
$_[0]から$_[$#a]が$a[0]から$a[$#a]の参照なのです。
だから内部で@_=@otherとか代入しても、関係ないです。
また、それぞれが参照である期間は、サブルーチンスコープ内のみです。
これはVisual BasicやJAVAなど、参照で引数を取るタイプの言語としては標準の動きみたいです。

ちなみに自作サブルーチンに渡す引数は、全部リスト扱いです。
(@a, 5, 6, 'ほげ')とかリスト表現できるように、それをサブルーチンに渡してるだけです。

ちなみにbyval(%hash)したら、さすがにハッシュリファが渡ってしまいました。
また、ハッシュ自体をreturnできそうもないので、これもまた考え物です。

お礼

まず，ありがとうございます（笑）．

　補足を書いてから気がついたので，ここに書かせていただきます．

　ひょっとして，サブルーチンの引数に配列を指定すると，（引数はリストコンテキストなので）配列がリストに展開されて，配列の要素分の引数がサブルーチンに引き渡される，と言うことですか？．とすると，

> $_[0]から$_[$#a]が$a[0]から$a[$#a]の
> 参照なのです。

　とはいいますが，$_[0]から$_[$#a]には$a[0]から$a[$#a]それぞれへのリファレンスではなく，コピー実体が入ってそうな気がするんですが・・・．
　ちょっと今，実験できる環境ではないので，帰ってから実験してみます．

補足

がーん．

　えーっと，俺様なんだか激しくマチガイ理解の予感が・・・．
　ちょっ，ちょっとまってくださいね．

　今，僕は，

sub subroutine{
　my $sch = $_[0];
　my $arr = @{ $_[1] };
　my $hsh = %{ $_[2] };
}

　とやっておけば，

&subroutine( $sch, \@arr, \%hsh );

　とやったときに，ローカルスコープの変数へそれぞれちゃんとコピーできるのではないか，と理解しているのですが，これは間違っていますか？．

　それと，ハッシュをreturn出来ない，と言うのは，サブルーチン内で

　return %hsh;

　と言うのが出来ない，と言うことですか？．

　また，僕はいまいちリストコンテキストと言う物が理解できなかったのですが，ここを読んでるうちに一つ思ったことがあります．次のような物ですが，これはまた間違っているでしょうか？，またどこが間違っているでしょうか？．

　つまり，データ構造としては「リスト」，「配列」，「ハッシュ」があり，それぞれ，

( e1, e2, e3 );
[ e1, e2, e3 ];
( 'k1' => e1, 'k2' => e2, 'k3' => e3 );

　のような記法で表現できる．ここで，@変数にリストの記法で代入を行うと，配列が生成され，%変数にリストの記法で代入を行うと，偶数番要素がキー，奇数番要素が要素となるハッシュが生成される．
　同様にリストの記法の左辺に@変数を代入すると，右辺の配列の要素と同じ値を要素とするリストが生成され，代入される．
　分けわかんなくなって来てますが，よろしくお願いします．