Perlの勘所をマスターしよう! コンテキストとリファレンスを我が物に!

......

Perlの勘所をマスターしよう!コンテキストとリファレンスを我が物に!

近藤嘉雪

@yoshiyuki kondo

YAPC::Asia 2012 (2012/9/29)

近藤嘉雪 (@yoshiyuki kondo) コンテキストとリファレンスを我が物に! YAPC::Asia 2012 (2012/9/29) 1 / 57

自己紹介

近藤嘉雪 (こんどうよしゆき)

Twitter: @yoshiyuki_kondoホームページ

http://www.kondoyoshiyuki.com/訳書

「プログラミング Perl」「初めての Perl」

著書「定本Cプログラマのためのアルゴリズムとデータ構造」「定本 Javaプログラマのためのアルゴリズムとデータ構造」

ヤフー株式会社で働いています

自己紹介

近藤嘉雪 (こんどうよしゆき)Twitter: @yoshiyuki_kondo

ホームページhttp://www.kondoyoshiyuki.com/

訳書「プログラミング Perl」「初めての Perl」

自己紹介

近藤嘉雪 (こんどうよしゆき)Twitter: @yoshiyuki_kondoホームページ

http://www.kondoyoshiyuki.com/

訳書「プログラミング Perl」「初めての Perl」

自己紹介

ヤフー株式会社で働いています近藤嘉雪 (@yoshiyuki kondo) コンテキストとリファレンスを我が物に! YAPC::Asia 2012 (2012/9/29) 2 / 57

好きなもの:

エディタ:Emacs

日本語入力方式:

T-Code (2ストローク直接入力)

好きなもの:

エディタ:

Emacs日本語入力方式:

好きなもの:

エディタ:Emacs

好きなもの:

エディタ:Emacs

好きなもの:

エディタ:Emacs

本日お話する内容

コンテキストリファレンス以上

コンテキスト

リファレンス以上

コンテキストリファレンス

以上

コンテキストリファレンス以上

コンテキストの話

コンテキストとは?

式を評価する際に、スカラー値とリスト値のどちらを期待しているか、ということ

スカラーコンテキストはスカラー値を期待リストコンテキストはリスト値を期待「スカラー変数への代入は、スカラーコンテキストを与える」などと言う操作、演算子、関数の中には、コンテキストに応じて違う値を返すものがある

式を評価する際に、スカラー値とリスト値のどちらを期待しているか、ということスカラーコンテキストはスカラー値を期待

リストコンテキストはリスト値を期待「スカラー変数への代入は、スカラーコンテキストを与える」などと言う操作、演算子、関数の中には、コンテキストに応じて違う値を返すものがある

式を評価する際に、スカラー値とリスト値のどちらを期待しているか、ということスカラーコンテキストはスカラー値を期待リストコンテキストはリスト値を期待

「スカラー変数への代入は、スカラーコンテキストを与える」などと言う操作、演算子、関数の中には、コンテキストに応じて違う値を返すものがある

式を評価する際に、スカラー値とリスト値のどちらを期待しているか、ということスカラーコンテキストはスカラー値を期待リストコンテキストはリスト値を期待「スカラー変数への代入は、スカラーコンテキストを与える」などと言う

操作、演算子、関数の中には、コンテキストに応じて違う値を返すものがある

式を評価する際に、スカラー値とリスト値のどちらを期待しているか、ということスカラーコンテキストはスカラー値を期待リストコンテキストはリスト値を期待「スカラー変数への代入は、スカラーコンテキストを与える」などと言う操作、演算子、関数の中には、コンテキストに応じて違う値を返すものがある

ほかのコンテキスト (1)

無効コンテキスト (void context)

値を必要としない場所use warnings;

my $a = 100;

$a + 20;

Useless use of addition (+) in void context at - line 3.

無効コンテキスト (void context)値を必要としない場所

use warnings;

my $a = 100;

$a + 20;

無効コンテキスト (void context)値を必要としない場所use warnings;

my $a = 100;

$a + 20;

スカラーコンテキストはさらに分類される

文字列コンテキスト (string context).演算子、xの左側、ne、ltなど

数値コンテキスト (numeric context)+, -, *, /など

不定コンテキスト (don’t care context)どっちでもいいよ

ブール値コンテキスト (boolean context)不定コンテキストの一種条件式

スカラーコンテキストはさらに分類される文字列コンテキスト (string context)

.演算子、xの左側、ne、ltなど

数値コンテキスト (numeric context)+, -, *, /など

.演算子、xの左側、ne、ltなど数値コンテキスト (numeric context)

+, -, *, /など

+, -, *, /など不定コンテキスト (don’t care context)

どっちでもいいよ

+, -, *, /など不定コンテキスト (don’t care context)

どっちでもいいよブール値コンテキスト (boolean context)

不定コンテキストの一種条件式

リストコンテキストを与える場所 (1)

配列変数、ハッシュ変数、リスト、スライスへの代入の右辺$x = func(); # スカラーコンテキスト@a = func(); # リストコンテキスト%h = func(); # リストコンテキスト($x, $y) = func(); # リストコンテキスト($x) = func(); # 要素が1個でもリストコンテキストになる!!!@a[0,1,2] = func(); # リストコンテキスト

組み込み関数（複数のパラメータを受け取るもの、例えば print）への引数

詳しくは次の次のページで

ユーザ定義のサブルーチンへの引数foreachの ()の内側スライスの添え字

@array[LIST], @hash{LIST}

ユーザ定義のサブルーチンへの引数

foreachの ()の内側スライスの添え字

ユーザ定義のサブルーチンへの引数foreachの ()の内側

スライスの添え字@array[LIST], @hash{LIST}

リストコンテキスト以外の場所はスカラーコンテキストとなるscalar関数によって、強制的にスカラーコンテキストを適用できるmyや our宣言は、コンテキストに影響を与えないmy $x = func(); # スカラーコンテキストmy ($x, $y) = func(); # リストコンテキストmy (@a) = func(); # リストコンテキスト

リストコンテキスト以外の場所はスカラーコンテキストとなる

scalar関数によって、強制的にスカラーコンテキストを適用できるmyや our宣言は、コンテキストに影響を与えないmy $x = func(); # スカラーコンテキストmy ($x, $y) = func(); # リストコンテキストmy (@a) = func(); # リストコンテキスト

リストコンテキスト以外の場所はスカラーコンテキストとなるscalar関数によって、強制的にスカラーコンテキストを適用できる

myや our宣言は、コンテキストに影響を与えないmy $x = func(); # スカラーコンテキストmy ($x, $y) = func(); # リストコンテキストmy (@a) = func(); # リストコンテキスト

リストコンテキスト以外の場所はスカラーコンテキストとなるscalar関数によって、強制的にスカラーコンテキストを適用できるmyや our宣言は、コンテキストに影響を与えないmy $x = func(); # スカラーコンテキストmy ($x, $y) = func(); # リストコンテキストmy (@a) = func(); # リストコンテキスト

Perl関連のドキュメントで LISTと書いてあるところ。

perlのマニュアルページ、ラクダ本man perlfunc, man perlop

特定の関数のマニュアルを表示するperldoc -f printfprintf FILEHANDLE FORMAT, LIST

printf FILEHANDLE

printf FORMAT, LIST

printf

Equivalent to "print FILEHANDLE sprintf(FORMAT, LIST)", except that

perldoc.jpに日本語訳があります

printf FILEHANDLE

printf FORMAT, LIST

printf

printf FILEHANDLE

printf FORMAT, LIST

printf

コンテキストによって異なる値を返すもの:配列変数名

配列変数名

リストコンテキストでは、配列の要素から成るリスト値を返すスカラーコンテキストでは、配列の要素の個数を返す# リストコンテキスト　　@bの内容が@aにコピーされる@a = @b;

# スカラーコンテキスト　@bの要素の個数が$nに入る$n = @b;

配列変数名リストコンテキストでは、配列の要素から成るリスト値を返す

スカラーコンテキストでは、配列の要素の個数を返す# リストコンテキスト　　@bの内容が@aにコピーされる@a = @b;

配列変数名リストコンテキストでは、配列の要素から成るリスト値を返すスカラーコンテキストでは、配列の要素の個数を返す

# リストコンテキスト　　@bの内容が@aにコピーされる@a = @b;

配列変数名リストコンテキストでは、配列の要素から成るリスト値を返すスカラーコンテキストでは、配列の要素の個数を返す# リストコンテキスト　　@bの内容が@aにコピーされる@a = @b;

配列名とコンテキストの落とし穴

サブルーチン、組込関数の引数リストは、リストコンテキストで評価される@array = qw(foo bar zot);

my $n = @array; # $nは 3になるprint "Array has ", @array, "elements\n"; # ダメ

scalar疑似関数を使えば、リストコンテキストの中で、引数をスカラーコンテキストで評価できる。print "Array has ", @array, "elements\n"; # ダメ

print "Array has ", scalar @array, "elements\n"; # OK

配列名とコンテキストの落とし穴

サブルーチン、組込関数の引数リストは、リストコンテキストで評価される@array = qw(foo bar zot);

my $n = @array; # $nは 3になるprint "Array has ", @array, "elements\n"; # ダメ

scalar疑似関数を使えば、リストコンテキストの中で、引数をスカラーコンテキストで評価できる。print "Array has ", @array, "elements\n"; # ダメ

print "Array has ", scalar @array, "elements\n"; # OK

リストからスカラー変数への代入にご用心

リストと配列の違いに注意a=one two threeと表示される@a = (’one’, ’two’, ’three’);

print "a=@a\n";

x=threeと表示される!! oneではない!!これはカンマ演算子と解釈されるため$x = (’one’, ’two’, ’three’);

print "x=$x\n"; #

要素の個数 3が得られる$y = @a;

print "y=$y\n"; # y=3

print "a=@a\n";

print "x=$x\n"; #

print "a=@a\n";

print "x=$x\n"; #

コンテキストによって異なる値を返すもの:入力演算子 <>

入力演算子 <>

スカラーコンテキストでは、次の１行を返す$line = <INPUT>;

リストコンテキストでは、残りのすべての行を読んでリストにして返す@date = <INPUT>;

次の１行を読み込んで表示するにはprint <INPUT>; # ダメprint scalar(<INPUT>); # OK

入力演算子 <>スカラーコンテキストでは、次の１行を返す$line = <INPUT>;

ここで注意!

リスト値を返す関数を、スカラーコンテキストで評価すると、返すリストの個数を返す *わけではない*ので注意。

答えは、それぞれ関数によって、スカラーコンテキストで筋が通った (と考える)値を返す。

これについては、この後すぐに…

ここで注意!

リスト値を返す関数を、スカラーコンテキストで評価すると、返すリストの個数を返す *わけではない*ので注意。答えは、それぞれ関数によって、スカラーコンテキストで筋が通った (と考える)値を返す。

これについては、この後すぐに…

コンテキストによって動作が変わる関数 (1)

コンテキストによって、違う値を返す組み込み関数は、マニュアルにそのように明記されている。「perldoc -f関数名」で組み込み関数のマニュアルが表示されます。

getpwnam関数

ユーザ名を受け取り、そのユーザに関する情報を返す

リストコンテキストでは、/etc/passwdの情報をリスト値で返す($name,$passwd,$uid,$gid,$quota,$comment,

$gcos,$dir,$shell,$expire) = getpwnam

スカラーコンテキストでは、UIDを返す

getpwnam関数

ユーザ名を受け取り、そのユーザに関する情報を返すリストコンテキストでは、/etc/passwdの情報をリスト値で返す($name,$passwd,$uid,$gid,$quota,$comment,

getpwnam関数

ユーザ名を受け取り、そのユーザに関する情報を返すリストコンテキストでは、/etc/passwdの情報をリスト値で返す($name,$passwd,$uid,$gid,$quota,$comment,

localtime関数

いわゆるUnix time値を、年月日時分秒に変換して返す

リストコンテキストでは、9要素のリスト値を返す# 0 1 2 3 4 5 6 7 8

($sec,$min,$hour,$mday,$mon,$year,$wday,$yday,$isdst)

スカラーコンテキストでは、日時を表わす文字列を返す$ perl -le ’print scalar(localtime)’

Sat Sep 29 05:49:52 2012

scalarを入れないと$ perl -le ’print localtime’

4650529811262720

localtime関数

いわゆるUnix time値を、年月日時分秒に変換して返すリストコンテキストでは、9要素のリスト値を返す# 0 1 2 3 4 5 6 7 8

Sat Sep 29 05:49:52 2012

4650529811262720

localtime関数

Sat Sep 29 05:49:52 2012

4650529811262720

localtime関数

Sat Sep 29 05:49:52 2012

4650529811262720

reverse関数

リストコンテキストでは、渡されたリストを逆順にしたリストを返す

Q:スカラーコンテキストでは何を返す?A:引数を文字列として連結して、その文字列を逆順にした文字列を返す

reverse関数

リストコンテキストでは、渡されたリストを逆順にしたリストを返すQ:スカラーコンテキストでは何を返す?

A:引数を文字列として連結して、その文字列を逆順にした文字列を返す

reverse関数

リストコンテキストでは、渡されたリストを逆順にしたリストを返すQ:スカラーコンテキストでは何を返す?A:引数を文字列として連結して、その文字列を逆順にした文字列を返す

reverse関数をスカラーコンテキストで評価すると

引数を文字列として連結して、その文字列を逆順にした文字列を返す

my @array = qw(one two three);

my @list = reverse(@array);

print "@list\n"; # three two one

print scalar(reverse(@array)), "\n"; # eerhtowteno

my $reversed = reverse("hello");

print $reversed, "\n"; # olleh

引数を文字列として連結して、その文字列を逆順にした文字列を返すmy @array = qw(one two three);

番外: chomp演算子

文字列の末尾に改行文字があればそれを削除する

引数には、左辺値 (スカラー変数や配列要素)を渡すリストを渡すと、すべての要素から、末尾の改行文字を取り除く配列を渡すと、一括して chompできるmy @lines = <>;

chomp(@lines);

イディオムとして次のように書くchomp(my @lines = <>);

文字列の末尾に改行文字があればそれを削除する引数には、左辺値 (スカラー変数や配列要素)を渡す

リストを渡すと、すべての要素から、末尾の改行文字を取り除く配列を渡すと、一括して chompできるmy @lines = <>;

chomp(@lines);

文字列の末尾に改行文字があればそれを削除する引数には、左辺値 (スカラー変数や配列要素)を渡すリストを渡すと、すべての要素から、末尾の改行文字を取り除く

配列を渡すと、一括して chompできるmy @lines = <>;

chomp(@lines);

文字列の末尾に改行文字があればそれを削除する引数には、左辺値 (スカラー変数や配列要素)を渡すリストを渡すと、すべての要素から、末尾の改行文字を取り除く配列を渡すと、一括して chompできるmy @lines = <>;

chomp(@lines);

文字列の末尾に改行文字があればそれを削除する引数には、左辺値 (スカラー変数や配列要素)を渡すリストを渡すと、すべての要素から、末尾の改行文字を取り除く配列を渡すと、一括して chompできるmy @lines = <>;

chomp(@lines);

コンテキストに応じてサブルーチンの動作を変える

サブルーチンの中でwantarray関数を呼び出すと、コンテキストを識別できる

リストコンテキストなら真スカラーコンテキストなら偽

wantarrayの返り値によって、戻り値を変えるsub mysub {

my @ans; # 処理の結果がここに入る

# コンテキストに応じて返す値を変えるreturn wantarray ? @ans : "@ans";

This function should have been named wantlist() instead.

「本当はwantlist()という名前にすべきだったんだけどね、てへぺろ」

//演算子とコンテキスト (1)

スカラーコンテキストでは、マッチしたか否かを示す。

$_ = "apple=10";

if (/ˆ(.+)=(\d+)$/) {

print "key=[$1] value=[$2]\n"; # key=[apple] value=[10]

} else {

# マッチしなかった}

リストコンテスキストでは、カッコでキャプチャした文字列のリストを返す。

マッチしたが、カッコにマッチしない場合には、(1)を返す$_ = "apple=10";

my @a = /ˆ(.+)=(\d+)$/;

if (@a) {

print "@a\n"; # apple 10

} else {

スカラーコンテキストでは、マッチしたか否かを示す。$_ = "apple=10";

if (/ˆ(.+)=(\d+)$/) {

} else {

my @a = /ˆ(.+)=(\d+)$/;

if (@a) {

} else {

if (/ˆ(.+)=(\d+)$/) {

} else {

マッチしたが、カッコにマッチしない場合には、(1)を返す

$_ = "apple=10";

my @a = /ˆ(.+)=(\d+)$/;

if (@a) {

} else {

if (/ˆ(.+)=(\d+)$/) {

} else {

my @a = /ˆ(.+)=(\d+)$/;

if (@a) {

} else {

# マッチしなかった}近藤嘉雪 (@yoshiyuki kondo) コンテキストとリファレンスを我が物に! YAPC::Asia 2012 (2012/9/29) 24 / 57

マッチの結果を、スカラー変数のリストに代入する

$_ = "apple=10";

my ($key, $val) = /ˆ(.+)=(\d+)$/;

print "key=[$key] value=[$val]\n"; # key=[apple] value=[10]

さらに、それを if文の条件式にする$_ = "apple=10";