質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

ただいまの
回答率

90.33%

  • Java

    14464questions

    Javaは、1995年にサン・マイクロシステムズが開発したプログラミング言語です。表記法はC言語に似ていますが、既存のプログラミング言語の短所を踏まえていちから設計されており、最初からオブジェクト指向性を備えてデザインされています。セキュリティ面が強力であることや、ネットワーク環境での利用に向いていることが特徴です。Javaで作られたソフトウェアは基本的にいかなるプラットフォームでも作動します。

Consumerのラムダ式とExecutorService#submit

解決済

回答 3

投稿 編集

  • 評価
  • クリップ 0
  • VIEW 622

dbfreak

score 1

前提・実現したいこと

以下のコードのコンパイルが通ってしまう理由がよく分かりません。
stream#foreachの定義は、

forEach(Consumer<? super T> action)


です。
一方でラムダ式で使用しているsubmitの定義は以下の通りFuture<?>型の戻り値を持ちます。

Future<?> submit(Runnable task)


Consumer#acceptは、
void accept(T t)なのでsubmitのような戻り値を持つメソッドを使用できないと思っていたのですがなぜかコンパイルが通ってしまいます。
なぜなのか理由をご教示いただけないでしょうか。

発生している問題・エラーメッセージ

エラーメッセージ

該当のソースコード

package practice;
import java.util.concurrent.ExecutorService;
import java.util.concurrent.Executors;
import java.util.stream.DoubleStream;

public class Pall {
    public static void main(String[] args) {
        ExecutorService service = Executors.newScheduledThreadPool(5);
//★
        DoubleStream.of(10.9, 2.3).forEach(s->service.submit(
                () -> System.out.print(s + " ")));
    }
}


実行結果

2.3 10.9 

試したこと

補足情報(言語/FW/ツール等のバージョンなど)

より詳細な情報

  • 気になる質問をクリップする

    クリップした質問は、後からいつでもマイページで確認できます。

    またクリップした質問に回答があった際、通知やメールを受け取ることができます。

    クリップを取り消します

  • 良い質問の評価を上げる

    以下のような質問は評価を上げましょう

    • 質問内容が明確
    • 自分も答えを知りたい
    • 質問者以外のユーザにも役立つ

    評価が高い質問は、TOPページの「注目」タブのフィードに表示されやすくなります。

    質問の評価を上げたことを取り消します

  • 評価を下げられる数の上限に達しました

    評価を下げることができません

    • 1日5回まで評価を下げられます
    • 1日に1ユーザに対して2回まで評価を下げられます

    質問の評価を下げる

    teratailでは下記のような質問を「具体的に困っていることがない質問」、「サイトポリシーに違反する質問」と定義し、推奨していません。

    • プログラミングに関係のない質問
    • やってほしいことだけを記載した丸投げの質問
    • 問題・課題が含まれていない質問
    • 意図的に内容が抹消された質問
    • 広告と受け取られるような投稿

    評価が下がると、TOPページの「アクティブ」「注目」タブのフィードに表示されにくくなります。

    質問の評価を下げたことを取り消します

    この機能は開放されていません

    評価を下げる条件を満たしてません

    評価を下げる理由を選択してください

    詳細な説明はこちら

    上記に当てはまらず、質問内容が明確になっていない質問には「情報の追加・修正依頼」機能からコメントをしてください。

    質問の評価を下げる機能の利用条件

    この機能を利用するためには、以下の事項を行う必要があります。

質問への追記・修正、ベストアンサー選択の依頼

  • ozwk

    2017/02/23 08:45

    実行しましたか? 実行するとどうなりました? その結果は意図通りでしたか? (コンパイル通るというのは飲み込んだものとして)

    キャンセル

  • dbfreak

    2017/02/23 09:01

    ご回答ありがとうございます。実行結果を追記しました。想定どおりの結果にはなりました。

    キャンセル

回答 3

+3

そもそもラムダ式は、返り値があるメソッドの場合は

(引数群) -> {
    文;必要なだけ
    return 返り値;
}


の形であり、voidの場合は最後のreturnが省略された

(引数群) -> {
    文;必要なだけ
}


という形になります。さらに中身の文が一つだけの場合に

(引数群) ->


と書けるというものです。この単文の形で値をreturnするかどうかはインタフェースの戻り値型が支配するので、voidなら(何も返さないreturnをするため)値を返す文であろうと関係ないことになります。

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

checkベストアンサー

+1

forEach(s -> hoge(s) )

.forEach(new DoubleConsumer(){
    @Override
    public void accept(double s) {
        hoge(s);
    }
})

と同等に解釈されるようです。

hoge()が何を返そうとaccept()内で戻り値を捨てているので
結果型が合ってコンパイルが通っています。

また、

forEach(s -> {return hoge(s);} )

と書くと、DoubleConsumerとして扱えなくなるので
型が合わないとしっかり怒ってくれます。

投稿

編集

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2017/02/23 10:48

    納得です。ご親切にありがとうございました。

    キャンセル

0

本回答は質問意図を取り違えていました。失礼しました。


ラムダ式を見落としておられるような気がします・・・

forEach(Consumer<? super T> action)

このConsumerに対応する実引数は以下のラムダ式になります。

s -> service.submit(() -> System.out.print(s + " ")

これは「何かの型を一つ受け取って結果を何も返さないラムダ式」と解釈できるので、Consumer<? super Double>に適合しコンパイルが通りますということなのですが・・・

Consumerに対応する実引数がsubmitである解釈されていたようですが上記のように実引数はsubmitではなくそれを包むラムダ式であると理解できれば疑問は解けると思います。

投稿

編集

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2017/02/23 10:10 編集

    forEachの引数は
    double -> Void
    となるラムダ式のはずだが、
    s -> service.submit(() -> System.out.print(s + " ")
    つまり
    double -> Future<Void>
    を引数にしてもコンパイルが通る。
    これは型が合っていないのでは?ってことだと思います。

    キャンセル

  • 2017/02/23 10:45

    自分の回答は質問者さんの疑問を外してましたね。コメントありがとうございます。

    キャンセル

  • 2017/02/23 10:45

    service.submit(…);
    return;
    なのか
    return service.submit(…);
    なのかはコンパイラーがよしなに解釈してくれるということなんですね。
    省略記法を使っているので暗黙でreturnが補完されるのだと思い込んでいました。
    ご回答ありがとうございました。

    キャンセル

  • 2017/02/23 10:58 編集

    ラムダ式本体のbrace={}の省略についての話だったのですね。そこを勘違いしてました!コメントありがとうございました。swordoneさんが網羅的な回答をしてくださいましたね。

    キャンセル

15分調べてもわからないことは、teratailで質問しよう!

  • ただいまの回答率 90.33%
  • 質問をまとめることで、思考を整理して素早く解決
  • テンプレート機能で、簡単に質問をまとめられる

同じタグがついた質問を見る

  • Java

    14464questions

    Javaは、1995年にサン・マイクロシステムズが開発したプログラミング言語です。表記法はC言語に似ていますが、既存のプログラミング言語の短所を踏まえていちから設計されており、最初からオブジェクト指向性を備えてデザインされています。セキュリティ面が強力であることや、ネットワーク環境での利用に向いていることが特徴です。Javaで作られたソフトウェアは基本的にいかなるプラットフォームでも作動します。