Здравствуйте, WolfHound, Вы писали:

NB>>весь интерфейс используемый в функции переписывают?
NB>>этож застрелиться можно.
NB>>я думал это си — многословный язык, ан нет.
WH>Ты о чем?
WH>Это будет прописано один раз.
WH>

WH>contract FooBar
WH>{
WH>    void bar();
WH>}
WH>

именно об этом. если в функции еще используется bar1 и bar2 то их тоже придется описать (опять же здесь или в отдельном контракте?)
если в отдельном контракте то опять их все перечислять в функции.
если в этом, то в другой функции придется создавать свой контракт.
засорять пространство имен.

этого никто не будет делать.

WH>Это вообще часть стандартной библиотеки.
WH>

WH>template<class Value>
WH>contract iterator
WH>{
WH>    Value* operator->();
WH>}
WH>

с этим не спорю.