なぜJavaのジェネリクスの型推論は同じ型を強制しないのかはじめに こんにちは。Nstockのtouyuです。 Nstockに入社し、初めて本格的にJavaでコードを書くようになりました。 Javaの書き味は思っていたよりモダンで、他言語からの類推でもある程度書くことができました。加えてCoding Agentの発展も著しく、正直にいうと言語仕様を深く理解せずに書くことも増えていました。 そんなある日、あるジェネリクスを含んだコードが期待していたものとは異なる挙動をすることに気づきました。 期待と異なる挙動 同じ型の2つの引数を取り、何らかの処理をさせるメソッドを用意したいと考え、以下のようなコードを生成してもらいました。
