EffectiveJava 2nd 第6項目のサンプルが正しくうごかない

Question

eclipseNEON+Java8にて掲題のサンプルソースを組んで実行してみると、実行するたびにStackクラスのsizeが想定外の値になります。

new時に -1 になったり、インクリメント・デクリメントするタイミングじゃないのに値が変わったりします。

原因はソース？eclipse?

public class Main {
public static void main(String[] args) {

Stack st = new Stack();
		st.push("1");
		st.push("2");
		st.push("3");
		Object o1 = st.pop();
		Object o2 = st.pop();
		Object o3 = st.pop();
}

}


public class Stack {
    private Object[] elements;
    private int size = 0;
    private static final int DEFAULT_INITIAL_CAPACITY = 16;

    public Stack () {        
        this.elements = new Object[DEFAULT_INITIAL_CAPACITY];
    }

    public void push (Object e) {
        ensureCapacity();
        elements[size++] = e;
    }

    public Object pop () {
        if (size == 0) {
            throw new EmptyStackException();
        }
        return elements[size--];
    }

    private void ensureCapacity() {
        if (elements.length == size) {
            elements = Arrays.copyOf(elements, 2 * size + 1);
        }
    }
}

Comments

[swordone]

mainでの実行コードもお願いします。

[退会済みユーザー]

ここを一読（最後まで）するといいかもね　https://qiita.com/nabuchi/items/087803bda368bdb29a19

Answer 1

まず自分が気づいたバグの指摘をします。

インクリメント・デクリメント演算子は「副作用」と「演算結果の値」の両方に注意する必要があります。副作用とは演算子の対象となる変数の値が変化することですが、

++var // (A)

var++ // (B)

では「演算結果の値」が「副作用」の前の値なのか後の値なのかが変わります。(A)は副作用の後の値が結果の値になります。(B)は副作用の前の値が結果の値になります。

例えばvarの値が0の状態では(A),(B)ともにvarは1になりますが、(A)の結果の値は1, (B)の結果の値は0です。

この仕様を把握した上でご自分のコードをよく吟味してください。

---

次に質問の仕方についてアドバイスめいたことを・・・

new時に -1 になったり、インクリメント・デクリメントするタイミングじゃないのに値が変わったりします。

状況の説明が不十分ではないでしょうか？sizeのことをいっているならnewしたばかりの状態で-1になったりはしません。あなたはStackクラスのコードしか提示していませんが、それを使う側のコードがあるはずなので、少なくとも肝心な部分だけでも提示しないと閲覧者に状況が把握しづらいです。

原因はソース？eclipse?

JavaのランタイムやEclipseがそのようなおかしな振る舞いをするとは考えにくいです。大抵の場合プログラマー自身の間違いであることがほとんどです。情報不足なので100%絶対そうとは言い切れませんが、多分原因はあなたのソースコードと思います。

※Mainクラスにて↓を普通にnewしてpush・popを繰り返しているだけです

それはあなたがそう思っているだけかも知れません。本当にそうかどうかは実際のコードを見せた方が時間の節約ですよ？質問の際にはあなたの考えだけでなく「事実＝実際のコード」を提示することが大事です。