Блог

Я столкнулся с некоторыми проблемами скорости в отношении структур и делегатов — возьмите следующий код консольного приложения:

 public delegate string StringGetter();
public class LocalString
{
    public LocalString(string value)
    {
        this.value = value;
    }

    public StringGetter Getter
    {
        get
        {
            return new StringGetter(this.GetValue);
        }
    }

    private string GetValue()
    {
        return value;
    }

    private string value;
}


class Program
{
    static void Main(string[] args)
    {
        var start = DateTime.Now;
        for (int i = 0; i < 2000000; i  )
        {
            var val = new LocalString( "hello World" );
            val.Getter();
        }
        Console.WriteLine((DateTime.Now - start).TotalMilliseconds);
        Console.ReadKey();
    }
}
  

При выполнении на моем компьютере это занимает ~ 1,8 секунды…Если я изменяю структуру на класс, она выполняется за ~ 0,1 секунды. Я взглянул на базовый код ассемблера и код ROTOR с открытым исходным кодом, чтобы понять, почему, и есть некоторый специальный код для делегатов, у которых есть цель struct, которая, как я предполагаю, предназначена для обработки упаковки и распаковки в функции MethodDesc * COMDelegate::GetDelegateCtor (TypeHandle delegateType, MethodDesc * pTargetMethod, DelegateCtorArgs * pCtorData).

Еще один момент — если вы создадите это в VS2008, ориентированном на .net 3.5, приложение будет работать быстрее, чем если вы запустите его в VS2010, ориентированном на .net 3.5. Я не понял, почему это так.

Любые комментарии / лучшее просвещение приветствовались бы…

С уважением, Ли

На этот вопрос трудно ответить точно, код поддержки CLR для делегатов — крепкий орешек. Мое лучшее предположение — это накладные расходы, необходимые для отмены значения struct. Вызов делегата выполняется через заглушку, которая сначала вводит значение, чтобы можно было вызвать метод экземпляра. После вызова любые побочные эффекты метода необходимо скопировать обратно в исходную структуру. Это дорого по сравнению с простым вызовом метода экземпляра ссылочного типа, они очень быстры. Я не видел никаких доказательств для проверки жизнеспособности значения struct, немного странно, но вполне может быть где-то там.