Упаковка структур

[ds.Dante]

Я крут как Чак Норрис. Сейчас изучаю проект своего начальника на 1000 строк, представляющий собой оптимизированный SortedList. Начинался он так:

public class PieList<TKey, TValue>
        where TKey : struct, IComparable
{
...

Я добавил <TKey>, чтобы получилось вот так:

public class PieList<TKey, TValue>
        where TKey : struct, IComparable<TKey>
{
...

и эта коллекция стала работать на 40% быстрее.

А всё вот из-за чего. Эта коллекция вызывала метод TKey.CompareTo(object), при этом второй операнд сравнения каждый раз приводился к object. Для совместимости структур и ссылочных типов дотнет делает так называемую упаковку (boxing), которая сопровождается выделением памяти и копированием туда структуры (чтобы вместо структуры работать с ссылкой на неё). А поскольку лист сортированный, и сравнение используется постоянно, то эта коллекция постоянно гоняла упаковку-распаковку.

Указав IComparable<TKey> я дал понять, что оба операнда сравнения всегда будут одинакового нессылочного типа, и все действия можно делать напрямую, без упаковки.

P. S. это напомнило мне о законе дырявых абстракций.