Добрый день!

В связи с тем, что в java появились и универсальные типы, и assert'ы
интересно- разработчики дальше Мейера прочитают?
Чтобы ввести, например, контракты (require/ensure) или ещё что хорошего?

Я уж не прошу r/o экспорт полей- всё одно толку мало с С-like синтаксисом :(

--
Алексей
Posted via ActualForum NNTP Server 1.3

ррмяф пишет:

>> Чтобы ввести, например, контракты (require/ensure) или ещё что хорошего?
> Что, простите, ввести?

Пример без этого:
public double MySqrt(double value)
{
assert value >= 0;
double result = ...;
assert result >= 0;
}

Пример с этим:
public double MySqrt(double value)
require( value >= 0 )
ensure( result >= 0 )
{
return ...;
}

Есть ещё инвариант- некое условие, которое должно выполнятся перед/после
любого метода.

Плюсы по сравнению с assert:
1. Можно отключать/включать каждую возможность директивами компилятора,
в том числе для класса/пакета/библиотеки.
2. Требования автоматически попадают в документацию по классу (даже в
..class), даже если проверка была отключена.
3. ensure выполняется вне зависимости от точки выхода (return).

А вообще Мейера почитать стоит :)

--
Алексей
Posted via ActualForum NNTP Server 1.3

mysterio пишет:

> А разве для этого не подойдут аннотации?

Это про /** ... */ ?
Они хуже, ибо:
1. Надо не забывать обновлять.
2. Можно забыться и добавить в наследнике более строгое условие. require
на такое ругнётся- в перекрывающих методах можно только ослаблять
предуслови (и только усиливать постусловие).

Или я чего в java пропустил?

--
Алексей
Posted via ActualForum NNTP Server 1.3

> > А разве для этого не подойдут аннотации?
> Это про /** ... */ ?

Да, загнался
Но @ тоже не то- нет связи между декларированием ограниченя и его
проверкой (если я правильно эту собаку понимаю). Ну и всё остальное в силе.

--
Алексей
Posted via ActualForum NNTP Server 1.3

NotGonnaGetUs пишет:

> Точно. Ты пропустил, что для java существуют препроцессоры с поддержкой
> пред/пост условий.

Где существуют?

> Иначе молился бы
> не на пред/пост условия и ассерты (которые никто так и не стал
> использовать, несмотря на их "крутость"),

Ну дак их и нет в Жабе...

> а на метапрограммирование, вывод типов и функциональные типы,
> которые ощутимо сокращают количество строк кода,

Где читать?

> а так же на разработку через тестирование и любые другие
> формализации процесса разработки.

Но тут- то одно другому не мешает.
Как раз пред/постусловия очень хорошо помогают разработке через
тестирование.

--
Алексей
Posted via ActualForum NNTP Server 1.3

NotGonnaGetUs пишет:

>> Где существуют?
> В google.

Это не ответ ;)

> Ну дак их и нет в Жабе...
>
> Ассертов нет?
> Предусловия нельзя писать?
> Всё есть если захотеть, но практически никто не пользуется.

Они там неудобны. Т.е. они не отражаются в документации автоматически.
Это не совсем то.

>> Где читать?
> почитать Structure and Interpretation of Computer Programs
> и Concepts, Techniques, and Models of Computer Programming.

Это книги, или сайты? Интернет тормозной (вот даже пишу через nntp),
сложно найти неизвестно что...

> почитать спецификацию на с# 3.0 c microsoft.com,

Оффтопик

> посмотреть на сайте nemerle.org...

Смотрю, спасибо.

> Если очень интресно, то обратись на rsdn.ru в раздел декларативное
> программирование и философия.

Тоже почитаю.

>> Но тут- то одно другому не мешает.
>> Как раз пред/постусловия очень хорошо помогают разработке через
>> тестирование.
> Сколько серьёзных приложений с использованием пред/пост условий вы написали?

Одно :)
Не на eiffel, так что не очень удобно документировать.
Но помогало быстро найти проблемы.

--
Алексей
Posted via ActualForum NNTP Server 1.3