「Java SE 8 ラムダ式」の版間の差分
ナビゲーションに移動
検索に移動
(ページの作成:「==Java SE 8 ラムダ式== [Java SE 8] http://docs.oracle.com/javase/specs/jls/se8/html/jls-15.html#jls-15.27 *ラムダ式は、メソッドににている *仮…」) |
|||
| (同じ利用者による、間の3版が非表示) | |||
| 1行目: | 1行目: | ||
| − | ==Java SE 8 ラムダ式== | + | [[Java SE 8]] | |
| − | [ | + | ==[[Java SE 8 ラムダ式]]== |
| + | [[Category:ラムダ]] | ||
http://docs.oracle.com/javase/specs/jls/se8/html/jls-15.html#jls-15.27 | http://docs.oracle.com/javase/specs/jls/se8/html/jls-15.html#jls-15.27 | ||
| 7行目: | 8行目: | ||
*仮パラメータのリストとボディ(式もしくはブロック)を適用する | *仮パラメータのリストとボディ(式もしくはブロック)を適用する | ||
LambdaExpression: | LambdaExpression: | ||
| − | LambdaParameters - | + | LambdaParameters -> LambdaBody |
ラムダ式は常に [http://docs.oracle.com/javase/specs/jls/se8/html/jls-15.html#jls-15.2 Poly 式] | ラムダ式は常に [http://docs.oracle.com/javase/specs/jls/se8/html/jls-15.html#jls-15.2 Poly 式] | ||
| − | * | + | *JS[[R]]335: Poly Expressions |
**http://vaskoz.wordpress.com/2013/08/15/jsr335-poly-expressions/ | **http://vaskoz.wordpress.com/2013/08/15/jsr335-poly-expressions/ | ||
**異なるコンテキストではことなる型をもつ | **異なるコンテキストではことなる型をもつ | ||
| − | + | <blockquote>割り当てられたコンテキスト、起動されたコンテキスト、もしくはキャストされたコンテキスト以外のプログラム上でラムダ式が実行された場合、コンパイルエラーとなる</blockquote> | |
| − | *ラムダ式の評価は、[Java SE 8 関数インターフェース] | + | *ラムダ式の評価は、[[Java SE 8 関数インターフェース|関数インターフェース]]のインスタン |
スを生成する | スを生成する | ||
*ラムダ式の評価は、式のボディの実行を引き起こさない。 | *ラムダ式の評価は、式のボディの実行を引き起こさない。 | ||
*代わりに、関数インターフェースが実行される適切なタイミングに発生する。 | *代わりに、関数インターフェースが実行される適切なタイミングに発生する。 | ||
2022年2月16日 (水) 09:19時点における最新版
Java SE 8 ラムダ式
http://docs.oracle.com/javase/specs/jls/se8/html/jls-15.html#jls-15.27
- ラムダ式は、メソッドににている
- 仮パラメータのリストとボディ(式もしくはブロック)を適用する
LambdaExpression: LambdaParameters -> LambdaBody
ラムダ式は常に Poly 式
- JSR335: Poly Expressions
- http://vaskoz.wordpress.com/2013/08/15/jsr335-poly-expressions/
- 異なるコンテキストではことなる型をもつ
<blockquote>割り当てられたコンテキスト、起動されたコンテキスト、もしくはキャストされたコンテキスト以外のプログラム上でラムダ式が実行された場合、コンパイルエラーとなる</blockquote>
- ラムダ式の評価は、関数インターフェースのインスタン
スを生成する
- ラムダ式の評価は、式のボディの実行を引き起こさない。
- 代わりに、関数インターフェースが実行される適切なタイミングに発生する。
© 2006 矢木浩人
