2022-02-11

Scala 型パラメータ&関数

ドワンゴ社新卒エンジニア向けのScala研修資料をやっていくもの

資料

型パラメータ

Javaでいうジェネリクスの様なイメージ
メソッドの返り値を複数取りたい場合は複数型パラメータを取るクラスを作成し、返り値のクラスをその値にしてしまうと二つ取得する事が可能
- Tuple1からTuple22まであらかじめ用意されている

以下の様に新たに作成せずとも

new Tuple2(m / n, m % n)

この様に作成する事ができる

(m / n, m % n)

共変

共変というのは、型パラメータを持ったクラスG、型パラメータAとBがあったとき、A が B を継承しているときにのみval : G[B] = G[A]の様な代入が許される性質を表す
- 継承先を継承元へ代入する事が可能になる
- Scalaだと定義時にClass G [+A]の様に先頭に+を付与することで共変として定義する事が可能
Javaだと以下の様なコードがコンパイルが通ってしまう

Object[] objects = new String[1];
objects[0] = 100;

Scalaの配列は非変のため以下のようなコードはコンパイルエラーとなる

val arr: Array[Any] = new Array[String](1)
<console>:7: error: type mismatch;
 found   : Array[String]
 required: Array[Any]

（なんか前Effective Javaで読んだ様な...）

反変

共変の逆で、継承元を継承先へ代入する事が可能になる性質
- Scalaだと定義時にClass G [-A]の様に先頭に-を付与することで反変として定義する事が可能

型パラメータの境界（bounds）

大枠はJavaのそれと同じであると理解した

関数

Scalaの関数は単に Function0 〜 Function22 までのトレイトの無名サブクラスのインスタンスなのです。

なのでこんな感じで定義する事が可能

val add = new Function2[Int, Int, Int]{
  def apply(x: Int, y: Int): Int = x + y
}

ちな無名サブクラス
- クラスやインターフェイスの継承／実装からインスタンス化までをまとめて1文で表現できます。使い捨てのクラスを用意する際などによく利用されます
- 無名クラスを定義する | Javaコード入門
が実際は以下の様にシンタックスシュガーを用いて記載可能である

val add = (x: Int, y: Int) => x + y

関数本体には何の名前も付いていないことに注意してください。この、addの右辺のような定義をScalaでは無名関数と呼びます。
このような、関数を自由に変数や引数に代入したり返り値として返すことができる性質を指して、Scalaでは関数が第一級の値（First Class Object）であるといいます

関数のカリー化

以下の記事が分かり易かったため省略する

サルでもわかるカリー化とそのメリット - These Walls

メソッドと関数の違い

メソッドはdefから始まるもので、First Class Objectではない

高階関数

関数を引数に取ったり関数を返すメソッドや関数のことを高階関数と呼びます。

2022-02-09

Scala クラス & オブジェクト & トレイト

クラス

プライマリコンストラクタ
- 構文上記述する事は可能だが、1クラスにつき1つのコンストラクタしか扱わない
以下の様にコンストラクタの引数と同名のフィールドを定義し、その変数を外部に公開する事が可能

class Point(val x: Int, val y: Int)

メソッド定義

返り値の型は読みやすさのために明記すべき
private
- そのクラス内だけから
protected
- 派生クラスからのみ
private[this]
- 同じオブジェクトからのみ
private[パッケージ名]
- 同じパッケージから
protected[パッケージ名]
- 派生クラスに加えて同じパッケージに所属しているもの全て
何もつけない
- publicとなる

複数の引数リストを持つメソッド

add(x: Int)(y: Int)の様に記載する事が可能で、シンタックスシュガー書いたりimplicit parameterなるものや型推論の補助に使われる
- 単に複数の引数を持つメソッドとしても定義可能

フィールド定義

アクセス修飾子の意味はメソッドと同様
private[this]をつけたフィールドへのアクセスは若干高速になる

抽象メンバー

メソッドやフィールドにおいて中身を持たせずに定義することができる
メソッドやフィールドの中身が無い以外は通常の定義方法と同じ

継承

Javaと同様にextendsで継承可能

オブジェクト

オブジェクトについて

Scalaでは全ての値がオブジェクトで、全てのメソッドは何らかのオブジェクトに属している
そのためJavaの様にstaticフィールドやstaticメソッドを作成する事が出来ない
代わりにobjectキーワードによってシングルトンオブジェクトを作成し、ユーティリティメソッドやファクトリメソッドとして使用する

コンパニオンオブジェクト

クラスと同じファイル内、同じ名前で定義されたシングルトンオブジェクトは、コンパニオンオブジェクトと呼ばれます。コンパニオンオブジェクトは対応するクラスに対して特権的なアクセス権を持っています。

private[this]（そのオブジェクト内からのみアクセス可能）なクラスのメンバーに対してはアクセス不可