今更ながらブログに挑戦: ScalaのAPIとプレースホルダー構文の関係についてわかったことをまとめてみた

Scalaのコレクションクラスなどで利用することができるプレースホルダ（「_」）について、ちょっと調べてみたのでまとめてみました。

簡単なサンプル
引数を２つ受け取る場合
型の異なる２つの引数を受け取る場合
外で作った関数をコレクションのメソッドに渡す場合

まずはfilterメソッドによる簡単なサンプル

def filter (p: (A) ⇒ Boolean): List[A]

view raw 2011-09-scalaapi-01.scala hosted with ❤ by GitHub

省略しないと

	val list = (1 to 10).toList
	println(list.filter((i:Int) => (i % 2 == 0)))

view raw 2011-09-scalaapi-02.scala hosted with ❤ by GitHub

省略すると

	val list = (1 to 10).toList
	println(list.filter(_ % 2 == 0))

view raw 2011-09-scalaapi-03.scala hosted with ❤ by GitHub

クラスのリストでも同じことができます。

	case class Something(id:Int, something:String)
	object Hello extends App {
	val list = Something(1, "test") :: Something(2, "past") :: Something(3, "future") :: Nil
	println(list.filter(_.id % 2 == 0))
	}

view raw 2011-09-scalaapi-04.scala hosted with ❤ by GitHub

filterメソッドのようにメソッドに渡す関数が引数をひとつしか受けない関数を前提としている場合、プレースホルダを2回利用することはできません。
下記のサンプルはコンパイルエラーになります。

	val list3 = (1, 2) :: (3, 4) :: (5, 6) :: (7, 8) ::Nil
	println(list3.filter((_._1 * _._2) % 3 == 0))

view raw 2011-09-scalaapi-05.scala hosted with ❤ by GitHub

このような場合は、必ず

	val list3 = (1, 2) :: (3, 4) :: (5, 6) :: (7, 8) ::Nil
	println(list3.filter(p => ((p._1 * p._2) % 3 == 0)))

view raw 2011-09-scalaapi-06.scala hosted with ❤ by GitHub

という書き方をしなければなりません。

戻る

メソッドに渡す関数が引数を２つ受け取る場合、プレースホルダを2回利用することができます。

def sortWith (lt: (A, A) ⇒ Boolean): List[A]

view raw 2011-09-scalaapi-07.scala hosted with ❤ by GitHub

これはリストのソートをする関数です。
まずは省略しない形で

	val list = 1 :: 5 :: 10 :: 7 :: 9 :: 8 :: 6 :: 2 :: 3 :: 4 :: Nil
	println(list.sortWith((a:Int, b:Int) => (a <= b)))

view raw 2011-09-scalaapi-08.scala hosted with ❤ by GitHub

これをプレースホルダを利用して省略すると

	val list = 1 :: 5 :: 10 :: 7 :: 9 :: 8 :: 6 :: 2 :: 3 :: 4 :: Nil
	println(list.sortWith(_ <= _))

view raw 2011-09-scalaapi-09.scala hosted with ❤ by GitHub

これもListの要素がクラスになっていても利用できます。

	case class Something(id:Int, something:String)
	object Hello extends App {
	val list = Something(2, "past") :: Something(1, "test") :: Something(3, "future") :: Nil
	println(list.sortWith(_.id <= _.id))
	}

view raw 2011-09-scalaapi-10.scala hosted with ❤ by GitHub

戻る

２つの引数のうち一つがコレクションの要素でないものもあるので、注意が必要です。

def foldLeft [B] (z: B)(f: (B, A) ⇒ B): B

view raw 2011-09-scalaapi-11.scala hosted with ❤ by GitHub

このメソッドを省略しない形で実行すると

	val list = (1 to 10).toList
	println(list.foldLeft[Int](0)((b:Int, a:Int) => (b + a)))

view raw 2011-09-scalaapi-11.scala hosted with ❤ by GitHub

となります。
そして、省略すると

	val list = (1 to 10).toList
	println(list.foldLeft[Int](0)(_ + _))

view raw 2011-09-scalaapi-12.scala hosted with ❤ by GitHub

となります。こういった関数の場合、コレクションの要素がクラスになっていると

	case class Something(id:Int, something:String)
	object Hello extends App {
	val list = Something(2, "past") :: Something(1, "test") :: Something(3, "future") :: Nil
	println(list.foldLeft[Int](0)((b:Int, a:Something) => (b + a.id)))
	}

view raw 2011-09-scalaapi-13.scala hosted with ❤ by GitHub

となり、1番目の引数と2番目の引数の型が違っているので、省略するときも注意が必要です。

	case class Something(id:Int, something:String)
	object Hello extends App {
	val list = Something(2, "past") :: Something(1, "test") :: Something(3, "future") :: Nil
	println(list.foldLeft(0)(_ + _.id))
	}

view raw 2011-09-scalaapi-14.scala hosted with ❤ by GitHub

APIをみたときは「A = コレクションの要素の型」、「B = その他の型」となると覚えておくと良いです。

戻る

最後に外でメソッドを作って、それを渡す場合、引数の型がコレクション要素の型となってい必要があります。

	def foreach (f: (A) ⇒ Unit): Unit
	</pre>
	このような関数は、コンパイルに失敗します。
	<pre class="prettyprint linenums">class Profile(n:String) {
	val name = n;
	def printName = {
	println(name)
	}
	}
	object Hello extends App {
	val list4 = new Profile("Michael") :: new Profile("Jenifer") :: Nil
	list4.foreach(println(_.name)) // ← ここで失敗！！
	}

view raw 2011-09-scalaapi-15.scala hosted with ❤ by GitHub

これは、foreachの関数がコレクションの要素の型を引数として受ける関数をパラメータとしているためです。
このような場合は

	class Profile(n:String) {
	val name = n;
	def printName = {
	println(name)
	}
	}
	object Hello extends App {
	val list4 = new Profile("Michael") :: new Profile("Jenifer") :: Nil
	list4.foreach(p => println(p.name)) // ←
	}