再帰的ジェネリクスを活用したJava8時代のコード定義Enum用インタフェースを作成してみた | Casley Deep Innovations株式会社 技術ブログ
こんにちは。 キャスレーコンサルティング SI(システム・インテグレーション)部の満石です。 今年の7月にJava SE 9のリリースが迫っていますが、ちょっとここでJava SE 8の新機能を思い出してみましょう。 Lambda式、Stream API、Date and Time API。 これらは、有名なので実際に使ってみたことがある人は多いと思います。 でも、インタフェースにデフォルト実装とstaticメソッドが書けるようになった、というのは忘れている人や 知っていても使い所が分からないという人は多いのではないでしょうか？ 今回は、そんなインタフェースのデフォルト実装とstaticメソッドについて、コード定義Enum用インタフェースの作成を 通して実用的な例を紹介したいと思います。 Java SE 7まで アプリケーションを作成する場合、必ずと言っていいほど「コード値」に対する「名称
新しいJEPはJavaの型変位をシンプルにする
新たなJEP候補は次のことを提案する。難解なJavaでの型変位の概念をよりうまく扱えるようにすることだ。新しい提案は、Java 10を対象にする可能性が高いが、それはジェネリックな型の定義において対象の型に対してデフォルトの変位を扱えるように、手段を導入するだろう。ジェネリックな型をインスタンス化する時にワイルドカードを通じてそれを示す現在のスタイルとはまったく異なる。この提案はワイルドカードを置き換えるのではなく、むしろその必要を減らす方法である。 型変位の話題はまだ多くの開発者にはよく知られておらず、Javaではこの問題はむしろ人気のないワイルドカードを通じて位置づけられているという事実は、それを明らかにする助けとなっていない。この理由で、そして読者にこのJEPの潜在的な影響力を理解してもらえるように、この記事で我々はまず型変位とは何か、そして現在どのようにJavaでは位置づけられてい
JEP 301: Enhanced Enums
Summary Enhance the expressiveness of the enum construct in the Java Language by allowing type-variables in enums (generic enums), and performing sharper type-checking for enum constants. Goals These two enhancements work together to enable enum constants to carry constant-specific type information as well as constant-specific state and behavior. There are many situations where developers have to
JEP 300: Augment Use-Site Variance with Declaration-Site Defaults
Summary Enhance the Java Programming Language so that a generic class or interface declaration can indicate whether each type parameter is, by default, invariant, covariant, or contravariant, thus allowing more intuitive subtyping relationships between parameterizations of the class or interface. This supplements the existing mechanism for variance, wildcards, which are written at type use sites.
GsonでJSON文字列をGenericsなオブジェクトに変換するときにハマる - 初老のボケ防止日記
GsonのGはガンダムの「G」です（違 JavaでJSONを扱うときにいつもお世話になっております。 github.com で、タイトル通り、ハマったのでメモ。 変換対象のクラス こんな感じで共通部以外をジェネリクスでやっちゃうぜ的なイメージ。 class Hoge<T> { String name; int id; T value; @Override public String toString() { return "Hoge{" + "name='" + name + '\'' + ", id=" + id + ", value=" + value + '}'; } } class Fuga { String name; int id; public Fuga(String name, int id) { this.name = name; this.id = id; } @Ove
ScalaとKotlin（と昔のJava）のジェネリクスが壊れている理由 - kmizuの日記
表題の通りです。とりあえず、Kotlin版とScala版のコード貼ります。 gist.github.com gist.github.com これらのコードでは、両方とも明示的なダウンキャストやその他の抜け穴を使っていないので、実行しても決してClassCastExceptionが起きてはいけないのですが、実際に実行するとClassCastExceptionが起きてしまいます。 さて、これはコンパイラの実装のバグでもあり、言語仕様のバグでもあるのですが、ちょっと理由を説明してみたいと思います。 class B extends A with Comparable[B] { def compareTo(b: B): Int = 0 } 上記のコードをコンパイルすると、下記のコードが生成されます。ここで、int compareTo(java.lang.Object)というメソッドが 定義されている
Java Generics are Turing Complete
This paper describes a reduction from the halting problem of Turing machines to subtype checking in Java. It follows that subtype checking in Java is undecidable, which answers a question posed by Kennedy and Pierce in 2007. It also follows that Java's type checker can recognize any recursive language, which improves a result of Gil and Levy from 2016. The latter point is illustrated by a parser g
ちょっと古い Oracle Java 8 だと型推論が上限境界付きを認識しないケース - Qiita
ローカル環境は 8u45 で Jenkins が 8u11 で、この時、下記コードは Jenkins でのみコンパイルができないってことがあった。型推論が失敗しているっぽい。 問題になったコードを短くしたもの: import static java.util.stream.Collectors.toMap; import java.util.*; public class Main { public static void main(String[] args) { List<? extends CharSequence> cs = Arrays.asList("a", "b", "cef"); Map<? extends CharSequence, Integer> m = cs.stream().collect(toMap( c -> c, c -> c.length())); Sys
Work around Java "same erasure" errors with Lambdas - Benji's Blog
Posted February 20, 2015 under Java. Tweet A common frustration with Java is the inability to overload methods when the method signatures differ only by type parameters. Here’s an example, we’d like to overload a method to take either a List of Strings or a List of Integers. This will not compile, because both methods have the same erasure. class ErasureExample { public void doSomething(List<Strin
Javaの "? extends" や "? super" の使い方をC#やScala風に考える - Qiita
なお Comparator は java.util パッケージに含まれるインタフェースで次のように宣言されています。 ? super や ? extends （下限または上限つきワイルドカード）は Java でジェネリクスを使う上で特に難しい部分です。比較的新しい言語（ C# 、 Scala 、 Ceylon など）では同じ目的のためによりシンプルでわかりやすいアプローチがとられています。 Java が採用した方法は Use-site variance annotation と呼ばれ、 C# などが採用した方法は Declaration-site variance annotation と呼ばれます。本投稿では Declaration-site variance annotation の考え方をベースに Java でどのように ? extends や ? super を使えば良いか につい
Java8の型推論でハマりまくった話 - きしだのHatena
個人の日記レベルですんません、現象のみ。 書いてるコードに関しては型指定してあげれば解決したのだけど、再現させるのに苦労した。 まず、インタフェースを２つ用意。 interface A{} interface B{} それから、その両方を実装したクラスをふたつ用意 static class C implements A,B{} static class D implements A,B{} 片方だけ実装したクラスもふたつ用意 static class E implements A{} static class F implements A{} そんで、同じ型を継承してGでくるんだものを複数とって、共通の基底クラスをGでくるんだものとして返すメソッドを定義。 ※この文章では、実装したインタフェースも基底クラスと表現します。 static <T> G<T> o(G<? extends T>..
JavaのGenericメソッドで、匿名クラスを引数にする場合の型解決講座
Ktz @ktz_alias えーJavaって、List<Hoge> list = Arrays.asList(new Hoge {{ ... }})できないのー？ 2013-09-03 14:00:37
リフレクションで、ジェネリクスの情報にアクセスする - CLOVER🍀
Infinispanでもうちょっと遊ぶ予定だったのですが、オフィシャルサイトのWikiがなんか途中で落ちてしまったので、別のネタで遊ぶことにしました。 ＊このネタがだいたい終わった頃には、復旧していましたが… 今回は、パラメータ化された型に関する情報をリフレクションを使ってアクセスしてみようと思います。ちょっと前からやってみたかったのです。 ジェネリクスの情報は、ClassクラスやField、Methodなどからアクセスできるのですが、それぞれ以下のような方法で取得できます。 クラス メソッド 取得できる情報 Class getTypeParameters クラス定義において宣言された型変数の情報 Field getGenericType フィールドに適用された型変数の情報 Constructor getGenericParameterTypes コンストラクタのパラメータに関する型変数の
Javaの未来についてのNeal Gafter氏とのディスカッション
それに対する回答は、"我々は今それに取り組んでいます。いずれそれをあなたにお伝えします"というものでした。エキスパートグループが"これを公開したくない"と言った訳ではありません。エキスパートグループは公開で議論することを望んでいますし、Oracleも公開したいと思っているがまだできていないだけだ、と言っています。 そして、パブリックレビューの期間が終わりましたが、それらにはまだアクセスできません。Java言語仕様の改訂のため、JSRが検討されており、私はそのレビューに行きました。しかし、取り組んでいるのはエキスパートグループでさえなく、Alex Buckley氏とOracleの言語チームが、仕様を訂正して仕様バグを直していました。 彼ら(Oracle)はこう言いました。"これはこのバージョンの仕様で修正されたと考えているバグのリストで、これが訂正後の仕様です"と。私はリストを見て、バグを確
Javaジェネリクスに関する資料メモ - 情報科学屋さんを目指す人のメモ
タグ Windows / インストール / Linux / 設定 / エラー / Java / Eclipse / AutoHotkey / TeX / C# / VisualStudio2008 / 対策 / Subversion / LaTeX / Vista / 方法 / CentOS / Android / Microsoft / Windows7 / Office / バージョン管理 / プログラミング / eclipse / PowerPoint / SSH / Ubuntu / WindowsVista / コマンド / ショートカット / .NET / Desire / VisualStudio / 便利 / P2P / Unix /
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Java8u74において、型パラメータに&結合を用いた場合、ラムダ式の代わりにメソッド参照を利用すると、LambdaConversionExceptionが発生してしまう問題
Javaの列挙型が明確な型付けをサポート
dfltweb1.onamae.com – このドメインはお名前.comで取得されています。
IBM Developer
IBM Developer