Как избежать блокировки / распаковки при расширении System.Object? - PullRequest
Новая
       41

Как избежать блокировки / распаковки при расширении System.Object?

3 голосов
/ 09 апреля 2010

Я работаю над методом расширения, который применим только к ссылочным типам. Я думаю, однако, в настоящее время это бокс и распаковка значения. Как я могу избежать этого? 

namespace System
{
    public static class SystemExtensions
    {
        public static TResult GetOrDefaultIfNull<T, TResult>(this T obj, Func<T, TResult> getValue, TResult defaultValue)
        {
            if (obj == null)
                return defaultValue;
            return getValue(obj);
        }
    }
}

Пример использования: 

public class Foo
{
    public int Bar { get; set; }
}

В каком-то методе: 

Foo aFooObject = new Foo { Bar = 1 };
Foo nullReference = null;

Console.WriteLine(aFooObject.GetOrDefaultIfNull((o) => o.Bar, 0));  // results: 1
Console.WriteLine(nullReference.GetOrDefaultIfNull((o) => o.Bar, 0));  // results: 0

Ответы [ 2 ]

4 голосов
/ 09 апреля 2010

Это не бокс. Как вы думаете, это это бокс? Если это потому, что вы посмотрели на IL вокруг "==", не позволяйте этому обмануть вас - JIT решает, что делать здесь. У него есть возможность сгенерировать собственный нативный код для каждой (T, TResult) пары. Фактически, код будет общим для всех ссылочных типов и различаться для типов значений. В итоге вы получите: 

T = string, TResult = int (native code #1)
T = Stream, TResult = byte (native code #2)
T = string, TResult = byte (native code #2)
T = Stream, TResult = string (native code #3)

Сказав это, если вы хотите ограничить свой метод расширения ссылочными типами, сделайте так: 

public static TResult GetOrDefaultIfNull<T, TResult>
    (this T obj, Func<T, TResult> getValue, TResult defaultValue)
    where T : class

В IL все еще будет коробка, но не волнуйтесь - на самом деле никакого бокса не произойдет. В конце концов, что может быть в штучной упаковке? Вы предоставляете ссылку, а сами ссылки никогда не заключаются в квадраты - только значения типа значения упаковываются.

2 голосов
/ 09 апреля 2010

Проще говоря, в этом коде нет ничего, что требовало бы бокса. В есть сценарии, в которых бокс неизбежен, а также есть дополнительные коды операций для преодоления разрыва между типами значение / ссылка (constrained) в некоторых случаях.

Но не в этом случае; фактический бокс не требуется (JIT может удалить несколько коробчатых корпусов - но, к сожалению, не все)

...