ayakobaba https://blog.hatena.ne.jp/ayakobaba/ ayakobabaの日記 https://ayakobaba.hatenadiary.org/ Scala Java Scala でこんなプログラムを書いたとします。 tuple match{ case t:(Int,String) => println("(Int,String) tuple") case _ => println("Not a (Int,String) tuple!") } これ、コンパイル通ります。ただし、例えば、(String,String)のtuple を渡した場合、2行めのt:(Int,String)にマッチしてしまいます。というのは、バイトコードに変換されてしまうと、tの2要素のタプルであることは判断できるものの、tの各要素の型まではわからなくなってしまうからです。もう少し詳しく… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fayakobaba.hatenadiary.org%2Fentry%2F20110907%2F1315375994" title=" case文で型パラメータをつかうとき - ayakobabaの日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2011-09-07 15:13:14 rich https://ayakobaba.hatenadiary.org/entry/20110907/1315375994 1.0 100%