ゆっちのBlog

Java

もっと Lambda その１５

今日のエントリーも Java8 ネタです。

このところ Java8 のエントリーがほとんどになってきたけど Lambda をはじめ、新機能がよく理解できてないので慣れることを目標としてます。(^_^;)

今回は無理矢理 Java8 を使って有名なナップサック問題を解くプログラムを創ってみました。

それでは下記のようなデータの人たちがいるとします。

<– Person –>
柴田恭平, 61歳, Gender: MALE   体重 : 70   評価 : 8
壇蜜, 32歳, Gender: FEMALE   体重 : 60   評価 : 6
北川景子, 26歳, Gender: FEMALE   体重 : 55   評価 : 7
綾瀬はるか, 28歳, Gender: FEMALE   体重 : 50   評価 : 4
佐々木希, 25歳, Gender: FEMALE   体重 : 48   評価 : 9
剛力彩芽, 20歳, Gender: FEMALE   体重 : 45   評価 : 6
小栗旬, 30歳, Gender: MALE   体重 : 65   評価 : 3
堀北真希, 24歳, Gender: FEMALE   体重 : 45   評価 : 10
武井咲, 19歳, Gender: FEMALE   体重 : 50   評価 : 5
市原隼人, 26歳, Gender: MALE   体重 : 67   評価 : 2
深田恭子, 30歳, Gender: FEMALE   体重 : 50   評価 : 8

あなたはヨットをもっていてクルージングを楽しもうとしています。

上記の人たちが「是非ご一緒させてください」と申し出てきました。

ヨットの制限であと 180 キログラムまでしか乗船できません。

そこであなたは、女性を同伴させることにします。

重量制限のあるなか、あなたは女性の評価値の総和が最大になるように同伴メンバーを選ばなくてはなりません。

今回はヨットであり、希望者も少ないのでわざわざプログラムを組む必要はないでしょう。

しかし、ある日突然大金持ちになって豪華客船でクルージングなんてことがあるかもしれません。（ヲヒ

プログラムの内容は 0-1 ナップサック問題　動的計画法アルゴリズムで良く知られているから解説はしません。

Java8 だとこんな風に組めるのかくらいに斜めにみてください。

package jp.yucchi.dp4lambda;

import java.time.LocalDate;
import java.time.Period;

public class Person {

    public enum Sex {

        MALE, FEMALE
    }
    String firstName;
    String lastName;
    LocalDate birthday;
    Sex gender;
    int weight;
    int evaluation;

    public Person(String firstName, String lastName, LocalDate birthday, Sex gender, int weight, int evaluation) {
        this.firstName = firstName;
        this.lastName = lastName;
        this.birthday = birthday;
        this.gender = gender;
        this.weight = weight;
        this.evaluation = evaluation;
    }

    public String getFirstName() {
        return firstName;
    }

    public String getLastName() {
        return lastName;
    }

    public Sex getGender() {
        return gender;
    }

    public int getAge() {
        return Period.between(birthday, LocalDate.now()).getYears();
    }

    void printPerson() {
        System.out.println(firstName + " " + lastName + ", " + this.getAge() + "歳" + ", Gender: "
                + this.getGender() + "   体重 : " + this.getWeight() + "   評価 : " + this.getEvaluation());
    }

    public int getWeight() {
        return weight;
    }

    public void setWeight(int weight) {
        this.weight = weight;
    }

    public int getEvaluation() {
        return evaluation;
    }

    public void setEvaluation(int evaluation) {
        this.evaluation = evaluation;
    }

}

package jp.yucchi.dp4lambda;

import java.time.LocalDate;

import java.time.Period;

public class Person {

public enum Sex {

MALE, FEMALE

}

String firstName;

String lastName;

LocalDate birthday;

Sex gender;

int weight;

int evaluation;

public Person(String firstName, String lastName, LocalDate birthday, Sex gender, int weight, int evaluation) {

this.firstName = firstName;

this.lastName = lastName;

this.birthday = birthday;

this.gender = gender;

this.weight = weight;

this.evaluation = evaluation;

}

public String getFirstName() {

return firstName;

}

public String getLastName() {

return lastName;

}

public Sex getGender() {

return gender;

}

public int getAge() {

return Period.between(birthday, LocalDate.now()).getYears();

}

void printPerson() {

System.out.println(firstName + " " + lastName + ", " + this.getAge() + "歳" + ", Gender: "

+ this.getGender() + " 体重 : " + this.getWeight() + " 評価 : " + this.getEvaluation());

}

public int getWeight() {

return weight;

}

public void setWeight(int weight) {

this.weight = weight;

}

public int getEvaluation() {

return evaluation;

}

public void setEvaluation(int evaluation) {

this.evaluation = evaluation;

}

package jp.yucchi.dp4lambda;

import java.time.LocalDate;
import java.util.ArrayList;
import java.util.List;
import java.util.Optional;
import java.util.stream.Collectors;
import java.util.stream.IntStream;

public class DP4Lambda {

    public static void main(String[] args) {

        List<Person> person = new ArrayList<>();

        person.add(new Person("柴田", "恭平", LocalDate.of(1951, 8, 18), Person.Sex.MALE, 70, 8));
        person.add(new Person("壇", "蜜", LocalDate.of(1980, 12, 3), Person.Sex.FEMALE, 60, 6));
        person.add(new Person("北川", "景子", LocalDate.of(1986, 8, 22), Person.Sex.FEMALE, 55, 7));
        person.add(new Person("綾瀬", "はるか", LocalDate.of(1985, 3, 24), Person.Sex.FEMALE, 50, 4));
        person.add(new Person("佐々木", "希", LocalDate.of(1988, 2, 8), Person.Sex.FEMALE, 48, 9));
        person.add(new Person("剛力", "彩芽", LocalDate.of(1992, 8, 27), Person.Sex.FEMALE, 45, 6));
        person.add(new Person("小栗", "旬", LocalDate.of(1982, 12, 26), Person.Sex.MALE, 65, 3));
        person.add(new Person("堀北", "真希", LocalDate.of(1988, 10, 6), Person.Sex.FEMALE, 45, 10));
        person.add(new Person("武井", "咲", LocalDate.of(1993, 12, 25), Person.Sex.FEMALE, 50, 5));
        person.add(new Person("市原", "隼人", LocalDate.of(1987, 2, 6), Person.Sex.MALE, 67, 2));
        person.add(new Person("深田", "恭子", LocalDate.of(1982, 11, 2), Person.Sex.FEMALE, 50, 8));

        int maxW = 180;
        int[] pw = person.parallelStream()
                .filter(e -> e.getGender() == Person.Sex.FEMALE)
                .mapToInt(p -> p.getWeight()).toArray();
        int[] pv = person.parallelStream()
                .filter(e -> e.getGender() == Person.Sex.FEMALE)
                .mapToInt(p -> p.getEvaluation()).toArray();
        int[][] dp = new int[pw.length + 1][maxW + 1];

        IntStream.range(0, pw.length).forEach(i -> {
            IntStream.rangeClosed(0, maxW).forEach(j -> {
                if (j < pw[i]) {
                    dp[i + 1][j] = dp[i][j];
                } else {
                    dp[i + 1][j] = Math.max(dp[i][j], dp[i][j - pw[i]] + pv[i]);
                }
            });
        });

        System.out.println("合計評価 : " + dp[pw.length][maxW]);

        boolean[] isChoice = new boolean[pw.length];
        int mW = maxW;

        for (int i = pw.length - 1; i >= 0; i--) {
            if (pw[i] <= mW && dp[i][mW] < dp[i][mW - pw[i]] + pv[i]) {
                isChoice[i] = true;
                mW -= pw[i];
            }
        }

        IntStream.range(0, isChoice.length).forEach(e -> {
            if (isChoice[e]) {
                // Optional 使用
                Optional<Person> p = person.parallelStream().filter(k -> k.getGender() == Person.Sex.FEMALE).substream(e, e + 1).findFirst();
                if (p.isPresent()) {
                    p.get().printPerson();
                } else {
                    System.out.println("エラー発生！ （×_×）");
                }
                // Person 使用
//                Person pp = person.parallelStream().filter(k -> k.getGender() == Person.Sex.FEMALE).collect(Collectors.<Person>toList()).get(e);
//                pp.printPerson();
            }
        });
    }
}

package jp.yucchi.dp4lambda;

import java.time.LocalDate;

import java.util.ArrayList;

import java.util.List;

import java.util.Optional;

import java.util.stream.Collectors;

import java.util.stream.IntStream;

public class DP4Lambda {

public static void main(String[] args) {

List<Person> person = new ArrayList<>();

person.add(new Person("柴田", "恭平", LocalDate.of(1951, 8, 18), Person.Sex.MALE, 70, 8));

person.add(new Person("壇", "蜜", LocalDate.of(1980, 12, 3), Person.Sex.FEMALE, 60, 6));

person.add(new Person("北川", "景子", LocalDate.of(1986, 8, 22), Person.Sex.FEMALE, 55, 7));

person.add(new Person("綾瀬", "はるか", LocalDate.of(1985, 3, 24), Person.Sex.FEMALE, 50, 4));

person.add(new Person("佐々木", "希", LocalDate.of(1988, 2, 8), Person.Sex.FEMALE, 48, 9));

person.add(new Person("剛力", "彩芽", LocalDate.of(1992, 8, 27), Person.Sex.FEMALE, 45, 6));

person.add(new Person("小栗", "旬", LocalDate.of(1982, 12, 26), Person.Sex.MALE, 65, 3));

person.add(new Person("堀北", "真希", LocalDate.of(1988, 10, 6), Person.Sex.FEMALE, 45, 10));

person.add(new Person("武井", "咲", LocalDate.of(1993, 12, 25), Person.Sex.FEMALE, 50, 5));

person.add(new Person("市原", "隼人", LocalDate.of(1987, 2, 6), Person.Sex.MALE, 67, 2));

person.add(new Person("深田", "恭子", LocalDate.of(1982, 11, 2), Person.Sex.FEMALE, 50, 8));

int maxW = 180;

int[] pw = person.parallelStream()

.filter(e -> e.getGender() == Person.Sex.FEMALE)

.mapToInt(p -> p.getWeight()).toArray();

int[] pv = person.parallelStream()

.filter(e -> e.getGender() == Person.Sex.FEMALE)

.mapToInt(p -> p.getEvaluation()).toArray();

int[][] dp = new int[pw.length + 1][maxW + 1];

IntStream.range(0, pw.length).forEach(i -> {

IntStream.rangeClosed(0, maxW).forEach(j -> {

if (j < pw[i]) {

dp[i + 1][j] = dp[i][j];

} else {

dp[i + 1][j] = Math.max(dp[i][j], dp[i][j - pw[i]] + pv[i]);

}

});

System.out.println("合計評価 : " + dp[pw.length][maxW]);

boolean[] isChoice = new boolean[pw.length];

int mW = maxW;

for (int i = pw.length - 1; i >= 0; i--) {

if (pw[i] <= mW && dp[i][mW] < dp[i][mW - pw[i]] + pv[i]) {

isChoice[i] = true;

mW -= pw[i];

}

IntStream.range(0, isChoice.length).forEach(e -> {

if (isChoice[e]) {

// Optional 使用

Optional<Person> p = person.parallelStream().filter(k -> k.getGender() == Person.Sex.FEMALE).substream(e, e + 1).findFirst();

if (p.isPresent()) {

p.get().printPerson();

} else {

System.out.println("エラー発生！（×_×）");

}

// Person 使用

// Person pp = person.parallelStream().filter(k -> k.getGender() == Person.Sex.FEMALE).collect(Collectors.<Person>toList()).get(e);

// pp.printPerson();

}

});

}

実行結果は下記のようになります。

合計評価 : 27
佐々木希    年齢 : 25    Gender : FEMALE   体重 : 48   評価 : 9
堀北真希    年齢 : 24    Gender : FEMALE   体重 : 45   評価 : 10
深田恭子    年齢 : 30    Gender : FEMALE   体重 : 50   評価 : 8

間違っているかもしれません。そのときは優しくご指摘くださいませ。

Java8 に詳しい方は「ここはこうすれば良いのにとかあればコソッとコメント入れといてくれると嬉しいです。」　なんてね。(^_^)

＊注意＊　2013年7月2日　API 使用変更に対応、ついでに選んだ人の情報取得方法を Optional と Person を使う二種類記述しました。

Hatena タグ: Java

TAGS: Java | 2013年6月8日4:05 PM | Comment : 0

もっと Lambda 番外編

Java

この前のパズルの答えです。

#Java8 対応のパズルを一問創ってみました。yucchi.jp/blog/?p=1010とても簡単で古典的な部類に属すると思いますが今でも嬉しいことに現役ってことでしょうか？#JDK8 #Lambda #Javaパズラー twitter.com/Yucchi_jp/stat…

— Yucchiさん (@Yucchi_jp) 2013年5月27日

#Java8 で、1 から 10 まで出力させるコードIntStream.rangeClosed(1, 10).forEach(System.out::println);Integer.MAX_VALUE までフルに使える。#Java #Lambda

— Yucchiさん (@Yucchi_jp) 2013年6月1日

なんで IntStream.range メソッドがステップ数無しに変更されてしまったんだろう？５月１３日にInt/LongStream.range step is fixed to +1.となってる。気付かなかった。(>_<｡)

— Yucchiさん (@Yucchi_jp) 2013年6月1日

と言うことで、せっかく創った #Java8 パズラーも意味が無かったってことか・・・つまり、答えは「このパズルに未来は無い」でちゃんちゃん！

— Yucchiさん (@Yucchi_jp) 2013年6月1日

Hatena タグ: Java

TAGS: Java | 2013年6月6日7:25 PM | Comment : 0

もっと Lambda その１４

Java

今日も朝早くから「もっと Lambda」シリーズの始まりです。

Java Day Tokyo 2013 でテストパイロットを大募集していたらしいので UnaryOperator を試しがてらにちょっと確認を。

まず UnaryOperator の確認をします。

java.util.function

@FunctionalInterface public interface UnaryOperator<T> extends Function<T,T>

An operation upon a single operand yielding a result. The operand and the result are of the same type. This is a specialization of Function for the case where the operand and result are of the same type.

パラメータ:

T – the type of operand to apply and of the result

日付:

1.8

参照:

Function

そして今回使う DoubleUnaryOperator は次のように double 専用に用意されたものです。

java.util.function

@FunctionalInterface public interface DoubleUnaryOperator

An operation on a double operand yielding a double result. This is the primitive type specialization of UnaryOperator for double.

日付:

1.8

参照:

UnaryOperator

applyAsDouble(double operand) は次のようになってます。

java.util.function.DoubleUnaryOperator

public double applyAsDouble(double operand)

Returns the double result of the operation upon the double operand.

パラメータ:

operand – the operand value

戻り値:

the operation result value

それでは無限小から 1 を引いた値の表示とその値と無限小が等しいか確認するプログラムを創ってみました。

ついでに無限小から無限小を引いてみました。（普通ありえない計算ですよね(^_^;)

package jp.yucchi.tryintunaryoperator;

import java.util.function.DoubleUnaryOperator;

public class TryIntUnaryOperator {

    public static void main(String[] args) {
        
        DoubleUnaryOperator operator = f -> f - 1;
        double j = operator.applyAsDouble(Double.NEGATIVE_INFINITY);
        System.out.println(j);
        if(Double.NEGATIVE_INFINITY == j){
            System.out.println("無限小");
        }else{
            System.out.println("なんでやねん。");
        }
        
        
        DoubleUnaryOperator operator2 = f -> f - Double.NEGATIVE_INFINITY;
        double k = operator2.applyAsDouble(Double.NEGATIVE_INFINITY);
        System.out.println(k);
        if(0 == k){
            System.out.println("０");
        }else{
            System.out.println("むりぽ");
        }
    }
}

package jp.yucchi.tryintunaryoperator;

import java.util.function.DoubleUnaryOperator;

public class TryIntUnaryOperator {

public static void main(String[] args) {

DoubleUnaryOperator operator = f -> f - 1;

double j = operator.applyAsDouble(Double.NEGATIVE_INFINITY);

System.out.println(j);

if(Double.NEGATIVE_INFINITY == j){

System.out.println("無限小");

}else{

System.out.println("なんでやねん。");

}

DoubleUnaryOperator operator2 = f -> f - Double.NEGATIVE_INFINITY;

double k = operator2.applyAsDouble(Double.NEGATIVE_INFINITY);

System.out.println(k);

if(0 == k){

System.out.println("０");

}else{

System.out.println("むりぽ");

}

実行結果は次のように期待通りになりました。

-Infinity
無限小
NaN
むりぽ

ここでバグがでたら片言の英語で「なんでやねん？」と言ってやろうと思ったがこんな単純なバグはそうそうあるもんじゃないですね。

Hatena タグ: Java

TAGS: Java | 2013年6月2日5:27 AM | Comment : 0

もっと Lambda その１３

Java

今日のエントリーも「もっと Lambda」シリーズです。

今回はよく使われるデザインパターンで知られている Factory Method pattern を Java8 を使ってコーディングしてみます。

ちなみにこのネタは海外のサイトで紹介されていたものです。

それを少し変えて写経しただけですが随分シンプルになるので感激です。

それでは現在の Java だと下記のようになります。

package jp.yucchi.factorymethodpattern4oldjava;

public interface Airplane {

    public void pilot();

    public void maintain();
}

package jp.yucchi.factorymethodpattern4oldjava;

public interface Airplane {

public void pilot();

public void maintain();

}

package jp.yucchi.factorymethodpattern4oldjava;

public class JetAirplane implements Airplane {

    @Override
    public void pilot() {
        System.out.println("ジェット機を操縦します。");
    }

    @Override
    public void maintain() {
        System.out.println("ジェット機を整備します。");
    }
}

package jp.yucchi.factorymethodpattern4oldjava;

public class JetAirplane implements Airplane {

@Override

public void pilot() {

System.out.println("ジェット機を操縦します。");

}

@Override

public void maintain() {

System.out.println("ジェット機を整備します。");

}

package jp.yucchi.factorymethodpattern4oldjava;

public class FighterPlane implements Airplane {

    @Override
    public void pilot() {
        System.out.println("戦闘機を操縦します。");
    }

    @Override
    public void maintain() {
        System.out.println("戦闘機を整備します。");
    }
}

package jp.yucchi.factorymethodpattern4oldjava;

public class FighterPlane implements Airplane {

@Override

public void pilot() {

System.out.println("戦闘機を操縦します。");

}

@Override

public void maintain() {

System.out.println("戦闘機を整備します。");

}

package jp.yucchi.factorymethodpattern4oldjava;

abstract class AirplanePilot {

    public abstract Airplane getAirplane();

    public void pilotAirplane() {
        getAirplane().pilot();
    }

    public void maintainAirplane() {
        getAirplane().maintain();
    }
}

class JetAirplanePilot extends AirplanePilot {

    @Override
    public Airplane getAirplane() {
        return new JetAirplane();
    }
}

class FighterPlanePilot extends AirplanePilot {

    @Override
    public Airplane getAirplane() {
        return new FighterPlane();
    }
}

package jp.yucchi.factorymethodpattern4oldjava;

abstract class AirplanePilot {

public abstract Airplane getAirplane();

public void pilotAirplane() {

getAirplane().pilot();

}

public void maintainAirplane() {

getAirplane().maintain();

}

class JetAirplanePilot extends AirplanePilot {

@Override

public Airplane getAirplane() {

return new JetAirplane();

}

class FighterPlanePilot extends AirplanePilot {

@Override

public Airplane getAirplane() {

return new FighterPlane();

}

package jp.yucchi.factorymethodpattern4oldjava;

public class FactoryMethodPattern4OldJava {

    public static void main(String[] args) {
        pilotAirplane(new JetAirplanePilot());
        pilotAirplane(new FighterPlanePilot());
    }

    private static void pilotAirplane(AirplanePilot aPilot) {
        System.out.println("I pilot a new airplane.");
        aPilot.pilotAirplane();
        aPilot.maintainAirplane();
    }
}

package jp.yucchi.factorymethodpattern4oldjava;

public class FactoryMethodPattern4OldJava {

public static void main(String[] args) {

pilotAirplane(new JetAirplanePilot());

pilotAirplane(new FighterPlanePilot());

}

private static void pilotAirplane(AirplanePilot aPilot) {

System.out.println("I pilot a new airplane.");

aPilot.pilotAirplane();

aPilot.maintainAirplane();

}

Factory Method pattern でよく見かける典型的なサンプルですね。

インスタンスの生成をサブクラスに任せることによって柔軟に生成するインスタンスを選択することを可能としています。

では Java8 ではどのようなコードになるのでしょうか？

package jp.yucchi.factorymethodpattern4lambda;

public interface Airplane {

    public void pilot();

    public void maintain();
}

package jp.yucchi.factorymethodpattern4lambda;

public interface Airplane {

public void pilot();

public void maintain();

}

package jp.yucchi.factorymethodpattern4lambda;

public class JetAirplane implements Airplane {

    @Override
    public void pilot() {
        System.out.println("ジェット機を操縦します。");
    }

    @Override
    public void maintain() {
        System.out.println("ジェット機を整備します。");
    }
}

package jp.yucchi.factorymethodpattern4lambda;

public class JetAirplane implements Airplane {

@Override

public void pilot() {

System.out.println("ジェット機を操縦します。");

}

@Override

public void maintain() {

System.out.println("ジェット機を整備します。");

}

package jp.yucchi.factorymethodpattern4lambda;

public class FighterPlane implements Airplane {

    @Override
    public void pilot() {
        System.out.println("戦闘機を操縦します。");
    }

    @Override
    public void maintain() {
        System.out.println("戦闘機を整備します。");
    }
}

package jp.yucchi.factorymethodpattern4lambda;

public class FighterPlane implements Airplane {

@Override

public void pilot() {

System.out.println("戦闘機を操縦します。");

}

@Override

public void maintain() {

System.out.println("戦闘機を整備します。");

}

package jp.yucchi.factorymethodpattern4lambda;

public interface AirplanePilot {

    public Airplane getAirplane();

    public default void pilotAirplane() {
        getAirplane().pilot();
    }

    public default void maintainAirplane() {
        getAirplane().maintain();
    }
}

package jp.yucchi.factorymethodpattern4lambda;

public interface AirplanePilot {

public Airplane getAirplane();

public default void pilotAirplane() {

getAirplane().pilot();

}

public default void maintainAirplane() {

getAirplane().maintain();

}

package jp.yucchi.factorymethodpattern4lambda;

public class FactoryMethodPattern4Lambda {

    public static void main(String[] args) {
        pilotAirplane(JetAirplane::new);
        pilotAirplane(FighterPlane::new);
    }

    static void pilotAirplane(AirplanePilot aPilot) {
        System.out.println("I pilot a new airplane.");
        aPilot.pilotAirplane();
        aPilot.maintainAirplane();
    }
}

package jp.yucchi.factorymethodpattern4lambda;

public class FactoryMethodPattern4Lambda {

public static void main(String[] args) {

pilotAirplane(JetAirplane::new);

pilotAirplane(FighterPlane::new);

}

static void pilotAirplane(AirplanePilot aPilot) {

System.out.println("I pilot a new airplane.");

aPilot.pilotAirplane();

aPilot.maintainAirplane();

}

Java8 では抽象化クラス AirplanePilot とそれの具象化クラス二つが必要とされません。

その代わりに、Java8 の新機能の Default methods ( Virtual extension methods ) を実装したインターフェイスを利用します。

実行結果はどちらも次のようになります。

I pilot a new airplane.
ジェット機を操縦します。
ジェット機を整備します。
I pilot a new airplane.
戦闘機を操縦します。
戦闘機を整備します

実にシンプルで綺麗なコードで Factory Method pattern が実装できてしまうんですね！

Hatena タグ: Java

TAGS: Java | 2013年6月1日8:36 PM | Comment : 0

もっと Lambda その１２

Java

昨日の Java パズラーの超ウルトラヒントを・・・

たぶん、必要ないと思うけど・・・

package jp.yucchi.infinity;

import java.util.stream.IntStream;

public class Infinity {

    public static void main(String[] args) {

        IntStream.range(Integer.MAX_VALUE - 3, Integer.MAX_VALUE, 2).limit(5).forEach(System.out::println);

        System.out.println("***********************************");
        
        int count = 0;
        for (int i = 0; i <= Integer.MAX_VALUE; Math.addExact(0, i++)) {
            count++;
            if (i > Integer.MAX_VALUE - 5) {
                System.out.println(i);
            }
        }
        System.out.println(count);
    }

}

package jp.yucchi.infinity;

import java.util.stream.IntStream;

public class Infinity {

public static void main(String[] args) {

IntStream.range(Integer.MAX_VALUE - 3, Integer.MAX_VALUE, 2).limit(5).forEach(System.out::println);

System.out.println("***********************************");

int count = 0;

for (int i = 0; i <= Integer.MAX_VALUE; Math.addExact(0, i++)) {

count++;

if (i > Integer.MAX_VALUE - 5) {

System.out.println(i);

}

System.out.println(count);

}

このパズルは古典的なオーバーフローをとりあげてます。

IntStream.range(Integer.MAX_VALUE - 3, Integer.MAX_VALUE, 2)

1	IntStream.range(Integer.MAX_VALUE - 3, Integer.MAX_VALUE, 2)

この新しい構文は、

for (int i = startInclusive; i < endExclusive ; i += step) { ... }

1	for (int i = startInclusive; i < endExclusive ; i += step) { ... }

と同じで、i += step のところでオーバーフローをおこします。

for (int i = 0; i <= Integer.MAX_VALUE; Math.addExact(0, i++)) { ... }

1	for (int i = 0; i <= Integer.MAX_VALUE; Math.addExact(0, i++)) { ... }

このループ文は一見すると Math.addExact() メソッドを利用しているので例外が出ると思ってしまいがちですが、

よ～～～く見ると引数の i++ でオーバーフローするので無限ループになってしまいます。

とても古典的で簡単なパズルでした。

これだけだと寂しいので Math.addExact() メソッドを覗いてみました。

    public static int addExact(int x, int y) {
        int r = x + y;
        // HD 2-12 Overflow iff both arguments have the opposite sign of the result
        if (((x ^ r) & (y ^ r)) < 0) {
            throw new ArithmeticException("integer overflow");
        }
        return r;
    }

public static int addExact(int x, int y) {

int r = x + y;

// HD 2-12 Overflow iff both arguments have the opposite sign of the result

if (((x ^ r) & (y ^ r)) < 0) {

throw new ArithmeticException("integer overflow");

}

return r;

}

なんか良く解らないけどビット演算を駆使して判定しているようですね。

なんで今頃こんなものを・・・以下自粛。(^_^;)

Hatena タグ: Java

TAGS: Java | 2013年5月29日10:44 AM | Comment : 0

« 古い記事新しい記事 »

ゆっちのBlog

もっと Lambda その１５

もっと Lambda 番外編

もっと Lambda その１４

もっと Lambda その１３

もっと Lambda その１２

Recent Comments

Java

NetBeans

カテゴリー

アーカイブ

RSS FEED

ねこび～ん

メタ情報

ゆっちのカレンダー

2024年10月
月	火	水	木	金	土	日
« 1月
	1	2	3	4	5	6
7	8	9	10	11	12	13
14	15	16	17	18	19	20
21	22	23	24	25	26	27
28	29	30	31

ゆっちのBlog

もっと Lambda その１５

もっと Lambda 番外編

もっと Lambda その１４

もっと Lambda その１３

もっと Lambda その１２

Popular post ranking

Recent Comments

Java

NetBeans

カテゴリー

アーカイブ

RSS FEED

ねこび～ん

メタ情報

ゆっちのカレンダー