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

ARK>Внутренний говнометод с рефлексией нужен только для создания дефолтного компарера.

Не важно. Важно, что этот "аргумент" попытались пропихнуть как образец "параметрического полиморфизма" и получили заслуженный отлуп. ))


ARK>Никто не мешает объявить своего наследника от этого абстрактного класса и создавать его обычным образом. Пардон, перепутал — речь же о внутреннем классе. Таки да, его создать можно только рефлексией.

Ну, можно пользоваться не дефолтным компарером, а написать свой. Не суть. В любом случае, в этом примере речь идёт о полиморфном IComparer<T>, у которого дергаются некие методы, а не о возможности дергать методы T, заюзанной через генерики дотнета. Это как раз был образец того, что породить экземпляры таких классов можно только через рефлексию. И тогда все рассуждения о "безопасности, обеспечиваемой констрейнами + компилятором" идут строем в лес, потому что никакой безопасности в случае рефлексии компилятор не обеспечивает. ))