お前はまだRubyの型の強さを知らない

お前はまだ Rubyの型の強さを知らないすぎうり Rubyの型シリーズ#2

前回のおさらい「Rubyには型がない」　　　　　　　　　↓ 「Rubyには型注釈がないだけ」型検査・型強度・型互換・型変性・ポリモーフィズム... Rubyには型システムがちゃんとある

補足このシリーズにおける型とは”インスタンス ”の型変数はすべて型なし（あえて言うならインスタンス型） Rubyの世界では値はすべてインスタンス

型の強さとは強い型暗黙的型変換をする勝手に型を合わせてくれる便利だけど予測が難しい弱い型暗黙的型変換をしない型が合わなければエラー意図が明確になる

暗黙的型変換をする言語 JavaScript 1 + "2" // => "12" ← 数値が文字列に化ける
C言語 int i = 1; float f = 2.5; float result = i + f; // int が暗黙的に float に昇格 → 便利だが、意図しない変換が潜む

Rubyは変換しない 3 + '1' # => TypeError: String can't be
coerced into Integer Rubyは黙って変換しない。おかしければ怒る。これが「型の強さ」変換したいなら明示的に： 3 + '1'.to_i # => 4 3.to_s + '1' # => '31'

前提：’+’は実はメソッド呼び出し Rubyの演算子は「メソッド」として定義されている # 1 + 2 は実はこういうこと 1.+(2) # =>
3 # 自分で定義もできる class MyVal def +(other) MyVal.new(@val + other.val) end end

String#+ は相手の to_str を呼ぶコード例 # to_str なし → TypeError
class MyStr def initialize(s); @s = s; end end "Hello " + MyStr.new("world") # => TypeError # to_str あり → 成功 class MyStr def to_str; @s; end end "Hello " + MyStr.new("world") # => "Hello world" String#+ の擬似コード def +(other) if other.respond_to?(:to_str) # to_str を呼んで文字列化 concat(other.to_str) else raise TypeError, "no implicit conversion" end end ※ 実際はC実装。Ruby擬似コードに変換

Numeric#+ は相手の coerce を呼ぶコード例 class Money def initialize(v); @v
= v; end def coerce(other) [Money.new(other), self] end def +(other) Money.new(@v + other.to_i) end end 2 + Money.new(100) # => Money(102) Numeric#+ の擬似コード def +(other) # 同じ型なら直接計算 return numeric_add(other) if other.is_a?(Numeric) # 異なる型は coerce を期待 x, y = other.coerce(self) x + y rescue TypeError raise TypeError, "can't coerce" end ※ 実際はC実装。Ruby擬似コードに変換

Rubyは相手が変換方法を知っていることを期待する String#+ to_str を持ってる？持っていれば文字列として扱う持っていなければ TypeError Numeric#+ coerce
を持ってる？持っていれば演算可能として扱う持っていなければ TypeError 共通の思想暗黙的に変換しない変換方法を知っているかを確かめてから使う型は強い。でも、変換方法を提供できる ——これがRubyの「開かれた強さ」

まとめ Rubyの型は「強い」型が合わなければ TypeError で落とす変換メソッドの呼び出し(to_str, coerce) + ダックタイピング →　暗黙的型変換をしない
→　意図を明示することがRubyの流儀 →　既存の型に型演算を追加できる

次回お前はまだ Rubyの型の互換性を知らない

お前はまだRubyの型の強さを知らない

お前はまだRubyの型の強さを知らない

すぎうり

More Decks by すぎうり

Other Decks in Programming

Featured

Transcript