что означает плюс в параметрическом полиморфизме:
...[+T]
... << RSDN@Home 1.1.4 stable SR1 rev. 568>>
19.09.06 01:18: Перенесено модератором из 'Интеграция Nemerle и Visual Studio' — VladD2
Здравствуйте, PhantomIvan, Вы писали:
PI>что означает плюс в параметрическом полиморфизме:
PI>PI>...[+T]
PI>
Коваринтность. Значит, что вместо Xxx[T] можено передавать любой Xxx[T2] если T2 является наследником от T. Минус наоборот.
Поддерживается для интерфейсов и делегатов.
См. примеры:
http://nemerle.org/svn/nemerle/trunk/ncc/testsuite/positive/co-contra-variance-native.n
и негативные:
http://nemerle.org/svn/nemerle/trunk/ncc/testsuite/negative/co-contravariant-native.n... << RSDN@Home 1.2.0 alpha rev. 637>>
