61

Re: Чому так? або 100 питань по Java

Поясніть за assert, побачив ось такий код

package io.netty.example.time;

public class TimeServerHandler extends ChannelInboundHandlerAdapter {

    @Override
    public void channelActive(final ChannelHandlerContext ctx) { // (1)
        final ByteBuf time = ctx.alloc().buffer(4); // (2)
        time.writeInt((int) (System.currentTimeMillis() / 1000L + 2208988800L));

        final ChannelFuture f = ctx.writeAndFlush(time); // (3)
        f.addListener(new ChannelFutureListener() {
            @Override
            public void operationComplete(ChannelFuture future) {
                assert f == future;
                ctx.close();
            }
        }); // (4)
    }

    @Override
    public void exceptionCaught(ChannelHandlerContext ctx, Throwable cause) {
        cause.printStackTrace();
        ctx.close();
    }
}

Ну погуглив, знайшов відразу статтю на Хабрі, ну там написано, що ассерти потрібні для відловлювання помилок.
А яка різниця між ассертом і try-блоком?
І як, взагалі, використовувати ті ассерти? Я от пишу так

public class main {

    public static void main(String[] args) {
        int i=5;

        assert i==20;

        System.out.print("Hello");
    }

}

Нічого не відбувається, програма виводить Hello та успішно завершується, а потім пишу так

public class main {

    public static void main(String[] args) {
        int i=5;

        assert i==5;

        System.out.print("Hello");
    }

}

І відбувається те саме  *DONT_KNOW*

62

Re: Чому так? або 100 питань по Java

Увімкніть assertions (ключ -ea) і перший варіант буде падати.
Різниця в тому, що assert викликає падіння програми остаточно і незворотньо, і використовується тільки для зневадження - наприклад, для відстеження от таких дурних ситуацій, коли i стане 20. А виключні ситуації можуть виникати і в нормальній робочій програмі (наприклад, хтось витягнув флешку до того, як туди записався файл).

Подякували: FakiNyan1

63 Востаннє редагувалося Arete (27.10.2014 20:58:37)

Re: Чому так? або 100 питань по Java

Різниця між exception-ами та assert-ами:

Exception-и використовуються для опрацювання прогнозованих аномальних ситуацій, які можуть трапитись. Наприклад, як говорить koala, хтось витягнув флешку під час запису.

Assert-и використовуються для відлову помилок в програмі в випадку виникнення таких ситуацій які "не можуть трапитись взагалі". Наприклад, є функція яка, розраховує довжину певного об’єкта, нехай кий, більярдний. Логічно, що довжина кия не може бути від’ємною. Але якщо вона все ж таки від’ємна це говорить тільки про одне - помилка в програмі. Для того щоб впевнитись що вона дійсно невід’ємна ставиться перевірка assert length >= 0;.

До того ж асерти в методах краще допомогають зрозуміти що мав на увазі автор метода і являють собою деякий вид "документування" метода.
Асерти використовуються тільки при розробці та зневадженні ( що за слово таке... ). Під час випуску релізу вони всі видаляються.

Подякували: koala, FakiNyan2