Net framework 5, а также среды Visual Studio 2012 и C#

344
Глава.13 .Интерфейсы
Реализация.нескольких.интерфейсов.с.одинаковыми.сигнатурами.методов
Обобщения и ограничения интерфейса
В предыдущем разделе были описаны преимущества обобщенных интерфейсов. 
В этом разделе речь пойдет о пользе ограничения параметров-типов таких интер-
фейсов.
Первое преимущество состоит в том, что параметр-тип можно ограничить не-
сколькими интерфейсами. В этом случае тип передаваемого параметра должен 
реализовывать 
все
ограничения. Вот пример:
public static class SomeType {
private static void Test() {
Int32 x = 5;
Guid g = new Guid();
// Компиляция этого вызова M выполняется без проблем,
// поскольку Int32 реализует и IComparable, и IConvertible
M(x);
// Компиляция этого вызова M приводит к ошибке, поскольку
// Guid реализует IComparable, но не реализует IConvertible
M(g);
}
// Параметр T типа M ограничивается только теми типами,
// которые реализуют оба интерфейса: IComparable И IConvertible
private static Int32 M(T t) where T : IComparable, IConvertible {
...
}
}
Замечательно! При определении параметров метода каждый тип параметра 
указывает, что передаваемый аргумент должен иметь заданный тип или быть про-
изводным от него. Если типом параметра является интерфейс, аргумент может 
относиться к любому типу класса, реализующему заданный интерфейс. Исполь-
зование нескольких ограничений интерфейса позволяет методу указывать, что 
передаваемый аргумент должен реализовывать несколько интерфейсов.
На самом деле, ограничивая 
Т
классом и двумя интерфейсами, мы говорим, что 
типом передаваемого аргумента должен быть указанный базовый класс (или про-
изводный от него), а также что он должен реализовывать оба интерфейса. Такая 
гибкость позволяет методу диктовать условия вызывающему коду, а при невыпол-
нении установленных ограничений возникают ошибки компиляции.
Второе преимущество ограничений интерфейса — избавление от упаковки при 
передаче экземпляров значимых типов. В предыдущем фрагменте кода методу 
M
передавался аргумент 
x
(экземпляр типа 
Int32
, то есть значимого типа). При пере-
даче 
x
в 
M
упаковка не выполнялась. Если код метода 
M
вызовет 
t.CompareTo(...)
, 
то упаковка при вызове также не будет выполняться (упаковка может выполняться 
для аргументов, передаваемых 
CompareTo
).

---

345
Реализация.нескольких.интерфейсов.с.одинаковыми.сигнатурами.методов
В то же время если 
M
объявляется следующим образом, то для передачи 
x
в 
M
придется выполнять упаковку:
private static Int32 M(IComparable t) {
...
}
Для ограничений интерфейсов компилятор C# генерирует определенные IL-
инструкции, которые вызывают интерфейсный метод для значимого типа напрямую, 
без упаковки. Кроме использования ограничений интерфейса нет другого способа 
заставить компилятор C# генерировать такие IL-инструкции; следовательно, во 
всех других случаях вызов интерфейсного метода для значимого типа всегда при-
водит к упаковке.