なぜSwiftのプロトコルはジェネリクスをサポートしないのか - Qiita
Swift のプロトコルは、 Java や C# などのインタフェースのようなものと説明されることが多いですが、いくつかの違いがあります。最も大きな違いの一つが、 Swift のプロトコルはジェネリクスをサポートしていないということです。 Sequence プロトコルを例にして説明します。 Swift では、 Sequence プロトコルに適合した型は for 文で要素を取り出すことができます。 // Array は Sequence に適合 let array: Array<Int> = [2, 3, 5] for element in array { print(element) } struct Array<Element> はジェネリクスによって型パラメータを持ちますが、 Sequence は protocol Sequence<Element> のように宣言されているわけではあり
再帰的ジェネリクスを活用した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まで アプリケーションを作成する場合、必ずと言っていいほど「コード値」に対する「名称
Javaのジェネリクスは「まがい物」ではない - kmizuの日記
先日、自分が書いた kmizu.hatenablog.com に対する反応として、「Javaのようなまがい物のジェネリクスと比較するのは適切でない」「Javaのジェネリクスと比較するのは適切でない」（おそらくC#や(C++等（2017/09/24追記）)の言語と比較して）といった コメントをいくつか見かけました（はてなブックマークコメントやツイッターなどで）。しかし、ここでは、そのような言説こそが適切でない、ということを言いたいです。なお、methane氏との 対話については既に終わったものなので、それとは関係ありません。 そもそも、Javaジェネリクスは、静的型付き関数型言語で既に一般的であったパラメータ多相をJavaに追加する目的で導入されました（C++テンプレートのようなものをJavaに追加するためだと思っている人がいるかもしれませんが、それは実態にあっていません）。実際、Java
Re: Go にジェネリクスがなくても構わない人たちに対する批判について - kmizuの日記
先日自分がGoについてつぶやいたものが、id:methaneさんに捕捉されていて、それに対する反論記事 methane.hatenablog.jp があがっていたので、それに対する所感を書いてみました。（2017/09/22 追記）：cocoatomoさんから指摘があったのですが、引用元は全て id:methane さんの、上記ブログエントリの文章です。雑多な感想に関して反応しているものではないです。 前置き Goや言語批判に関するスタンスを誤解されると嬉しくないので、最初に書いておきます。 Goの言語仕様はあまり好きではないけど、Goユーザーを見下したり、馬鹿だとかそういう風には思っていない 言語仕様批判とユーザー批判は別の話ですが、しばしばいっしょくたにされて、糞言語Xを使うユーザは糞だ、みたいな主張がされることがあるので、 そういう意図はないという表明です。 Goユーザーの中で、ジェ
SafeVarargs (Java Platform SE 8)
注釈の付いたメソッドやコンストラクタの本体が自身の可変パラメータに対して安全でない可能性のある操作を実行しないことを示す、プログラマ・アサーションです。メソッドまたはコンストラクタにこの注釈を適用すると、型情報保持可能でない可変引数(vararg)型に関する未検査警告が抑制されるほか、パラメータ化された配列のコール・サイトでの作成に関する未検査警告も抑制されます。 コンパイラは、この注釈型の@Targetメタ注釈によって課される使用制限のほかに、その追加の使用制限を実装する必要があります。メソッドまたはコンストラクタの宣言に@SafeVarargs注釈が付いていて、次のいずれかが成り立つ場合、コンパイル時にエラーが発生します。 宣言が固定引数のメソッドまたはコンストラクタである 宣言がstaticでもfinalでもない可変引数メソッドである メソッドまたはコンストラクタの宣言にこの注釈型が
新しいJEPはJavaの型変位をシンプルにする
新たなJEP候補は次のことを提案する。難解なJavaでの型変位の概念をよりうまく扱えるようにすることだ。新しい提案は、Java 10を対象にする可能性が高いが、それはジェネリックな型の定義において対象の型に対してデフォルトの変位を扱えるように、手段を導入するだろう。ジェネリックな型をインスタンス化する時にワイルドカードを通じてそれを示す現在のスタイルとはまったく異なる。この提案はワイルドカードを置き換えるのではなく、むしろその必要を減らす方法である。 型変位の話題はまだ多くの開発者にはよく知られておらず、Javaではこの問題はむしろ人気のないワイルドカードを通じて位置づけられているという事実は、それを明らかにする助けとなっていない。この理由で、そして読者にこのJEPの潜在的な影響力を理解してもらえるように、この記事で我々はまず型変位とは何か、そして現在どのようにJavaでは位置づけられてい
シグネチャに、T とか、K とか書いてあると API そっ閉じしちゃうジェネリクス フォビア向けに、Java の総称型を説明してみた - KUSAMAKURA
総称型（ジェネリクス）とは 総称型の書き方 クラス メソッド コンストラクタ 総称型のネーミング ワイルドカード（非境界ワイルドカード） extends と super（境界ワイルドカード） <? extends T>（上限付き境界ワイルドカード） <? super T>（下限付き境界ワイルドカード） まとめ 総称型（ジェネリクス）とは それまでは、Object 型で書かれていた型指定に対して、利用する型を限定できるように Java1.5 より、総称型が導入された。 主に Collection に対して導入されているので、実際に API を見てみる方が理解が早いと思う。 Java1.4 ArrayList.html#get(int)) では、次のように API が定義されている。 注目して欲しいのは、List に対する get の戻り値で Object 型で定義されている。つまり、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)というメソッドが 定義されている
Swift 2.1のジェネリクスでできないことまとめ
個人的に開発中によく遭遇したジェネリクスでのエラーあたりについてまとめてみました。 なお、Swiftコンパイラテストによる、実際にコンパイルできる/できない例は次のテストケースを参照してください。 https://github.com/apple/swift/blob/a048b078e37dfafc0e188bb8c6f3f50f5f796494/test/decl/ext/generic.swift TL;DR ジェネリックパラメータは制限がきびしい 制約では==は使えない 準拠要求には非プロトコル型は使えない 要求節と継承節を同時につけられない Selfはプロトコル拡張でしか使えない 内部クラスをジェネリッククラスにしたり、ジェネリッククラスに内部クラスを持たせたりできない 用語 まずはエラーメッセージ内でよく出てくる単語をまとめてみます。 requirement-clause: (
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
ジェネリクスの共変性・反変性(C# によるプログラミング入門)
概要 Ver. 4.0 C# 4.0 で、ジェネリクスの型引数に共変性・反変性を持たせることが可能になりました。 （共変性・反変性という言葉の意味は「covariance と contravariance」参照。） ジェネリックの共変性・反変性 ジェネリクスの共変性・反変性というものがどういうものかというのを説明する前に、まず背景を。 ジェネリックコレクションに関して、昔から以下のようなことをしたいという要望がありました。 List<string> strings = {"aa", "bb", "cc"}; List<object> objs = strings; これを認めてしまうと何がまずいかというと、 以下のような不正な値の書き換えが起こり得る。 // strings と objs は同じオブジェクト objs[0] = 5; // int に書き換えられたらまずい string s
「特定のインターフェイスを実装した Class クラス」をジェネリクスで表現したい - Qiita
オブジェクトマッピングを実現するロジックを書いていたりすると Class クラスのインスタンスを扱うことがあります。 その Class に何かしらの条件を設けたいということもよくあります。 折角Javaを使っているのだから、型検査時に不正な値を弾くことができるとステキですよね。 実現したいこと // 重要なインターフェイス！ interface MetaSyntacticValiable {} class Hoge implements MetaSyntacticValiable {} class Fuga implements MetaSyntacticValiable {} // MetaSyntacticValiable とは無関係なクラス class UnrelatedToHogeOrSomething {} （中略） someMethodUsingClassClass(Hoge.
ちょっと古い 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
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Java8u74において、型パラメータに&結合を用いた場合、ラムダ式の代わりにメソッド参照を利用すると、LambdaConversionExceptionが発生してしまう問題
Javaの列挙型が明確な型付けをサポート
Java8だと型推論してくれないケース。