В чем разница между ref и out во время выполнения?

C # предоставляет ключевое слово refand outдля аргументов, передаваемых по ссылке. Семантика двух очень похожа. Единственная разница заключается в инициализации переменной:

• refтребует, чтобы переменная была инициализирована перед передачей функции, outнет.
• outтребует, чтобы переменная была инициализирована внутри функции, refнет.

Варианты использования этих двух ключевых слов также почти одинаковы, и их слишком частое использование, как я полагаю, считается запахом кода (хотя существуют допустимые варианты использования, такие как шаблоны TryParseand TryGetValue).

Из-за этого кто-то может объяснить, почему в C # есть два очень похожих инструмента для столь узких вариантов использования?

Также в MSDN указано, что у них другое поведение во время выполнения:

Хотя ключевые слова ref и out вызывают различное поведение во время выполнения, они не считаются частью сигнатуры метода во время компиляции.

Чем отличается их поведение во время выполнения?

Вывод

Оба ответа выглядят правильно, спасибо вам обоим. Я принял Jmoreno , потому что это более явно.

В то время, когда был задан этот вопрос, статья MSDN была немного неверной (с тех пор она была исправлена ). Вместо «вызывать другое поведение» оно должно быть «требует другого поведения».

В частности, компилятор обеспечивает разные требования для двух ключевых слов, хотя для включения поведения используется один и тот же механизм (IL).

Вот интересная рецензия на тему, которая может ответить на ваш вопрос:

http://www.dotnetperls.com/ref

достопримечательность:

«Разница между ref и out не в Common Language Runtime, а в самом языке C #».

Обновить:

Старший разработчик моей работы только что подтвердил ответ @ jmoreno, поэтому обязательно прочтите его !.

Время выполнения ? Абсолютно нет. Вы не можете перегружать метод с одинаковыми параметрами, отличающимися только ключевым словом ref или out.

Попробуйте скомпилировать это, и вы получите ошибку компиляции «Метод с такой же подписью уже объявлен»:

    private class MyClass
    {
        private void DoSomething(out int param)
        {
        }
        private void DoSomething(ref int param)
        {
        }
    }

Чтобы ответить на этот вопрос: «... почему в C # есть два очень похожих инструмента для столь узких вариантов использования?»

С точки зрения читабельности кода и API существует огромная разница. Как потребитель API я знаю, что при использовании «out» API не зависит от параметра out. Как разработчик API, я предпочитаю «out» и использую «ref» только тогда, когда это абсолютно НЕОБХОДИМО! Смотрите эту ссылку для большой дискуссии:

/programming/1516876/when-to-use-ref-vs-out

Вспомогательная информация: я скомпилировал следующий метод и разобрал его. Я использовал ключевые слова ref и out (out в этом примере), но код сборки не изменился, за исключением ссылки на адрес, как и следовало ожидать:

    private class MyClass
    {
        internal void DoSomething(out int param)
        {
            param = 0;
        }
    }

00000000 толчок EBP
00000001 мов EBP, ESP
00000003 толчок еди
00000004 толчок еси
00000005 толчок EBX
00000006 суб особ, 34h
00000009 XOR EAX, EAX
0000000b мов DWORD PTR [EBP-10h], EAX
0000000e мов DWORD PTR [EBP-1Ch], EAX
00000011 mov dword ptr [ebp-3Ch], ecx
00000014 mov dword ptr [ebp-40h], edx
00000017 cmp dword ptr ds: [008B1710h], 0
0000001e je 00000025
00000020 вызов 6E6B601E
00000025 nop
param = 0;
00000026 mov eax, dword ptr [ebp-40h]
00000029 xor edx, edx
0000002b mov dword ptr [eax], edx
}
0000002d nop
0000002e lea esp, [ebp-0Ch]
00000031 pop ebx
00000032 pop esi
00000033 pop
edi 00000034 pop ebp
00000035 ret

Я правильно читаю сборку?