なぜJavaのジェネリクスの型推論は同じ型を強制しないのか

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

[atsushieno]

第1引数の型に束縛される言語なんてあるか??と思ってtypescriptの例をGeminiに検証させたら、TSでもBest Common Typeを推論する、コンパイルが通るかどうかはtsconfig次第と返ってきた（string | number になり得る）/ Swiftは第1引数らしい

[strawberryhunter]

実態は互換性のためにObjectだから。ところでthis.<String>something("hello", 1) みたいな文法を知っとるかね。それから、戻り値がTだったら型チェックが行われてコンパイルエラーになることも。実用上問題になったことは無いな。

[nguyen-oi]

Javaの型推論の緩さは歴史的経緯と妥協の産物感すごいしLUBの挙動はたまに事故るわ

[secseek]

当時はまだ継承に夢があったからってのがありそうな気がします。継承は銀の弾丸じゃないってのが共通認識になったのはもうちょっと後の時代だったかと思います

[gfx]

ほー、Javaはちょっとやってたけどこの挙動は知らなかったな。