Лучшая практика: ByRef или ByVal? в .Net

ByVal должен быть вашим "по умолчанию". Используйте его, если у вас нет особой причины использовать ByRef

Используйте «ByRef», только если параметр является «выходным» параметром. В противном случае используйте «ByVal». Использование «ByRef» для параметров, которые явно не должны возвращать значения, опасно и может легко вызвать ошибки.

Об этом много дезинформации. Главное, чтобы вы понимали разница между типами значений и ссылочными типами и разница между передачей по значению и передачей по ссылке.

Вы почти всегда хотите идти по цене. Передача по ссылке почти всегда означает «Я хочу вернуть более одного результата, а не просто добавляя элементы в переданный список». Классическим примером метода, использующего передачу по ссылке, является Int32.TryParse, где возвращаемое значение - успех / неудача, а проанализированное значение «возвращается» параметром out.

Передача объекта ByVal в .net не создает копию объекта и не потребляет больше ресурсов, чем ByRef. Указатель по-прежнему передается функции. Среда выполнения просто гарантирует, что вы не можете изменить указатель в своей функции и вернуть для него другое значение. Вы по-прежнему можете вносить изменения в значения внутри объекта, и вы увидите эти изменения вне функции. Вот почему ByRef используется так редко. Это необходимо только тогда, когда вы хотите, чтобы функция изменила фактический возвращаемый объект; следовательно, выходной параметр.

По умолчанию для ВСЕХ типов используется значение byValue, но важно понимать, что означают эти два параметра для «ссылочного типа» (класса), а не для типа значения. (структуры).

Для ссылочного типа, если вы объявляете переменную ссылочного типа в методе, эта переменная является ячейкой памяти в кадре стека метода. Его нет в куче. Когда вы инициализируете эту переменную (используя new или factory, что угодно), вы создали фактический объект в куче, и адрес этого объекта сохраняется в объявленной ссылочной переменной в кадре стека методов.

Когда вы передаете ссылочный тип другому методу с помощью Val, вы создаете копию адреса, хранящегося в стеке вызывающих методов, и передаете копию этого значения (адрес указателя) вызываемому методу, где она сохраняется в новой памяти. слот в стеке вызываемых методов. Внутри вызываемого метода новая клонированная переменная указывает прямо на тот же объект в куче. Таким образом, с его помощью можно изменить свойства одного и того же объекта. Но вы не можете изменить, на какой объект кучи указывает исходная ссылочная переменная (в стеке вызывающих методов). Если в вызываемом методе я напишу

  myVar = new object();

Исходная переменная в вызывающем методе не изменится и укажет на новый объект.

Если я передаю ссылочный тип byRef, otoh, я передаю указатель на объявленную переменную в стеке вызывающих методов (который содержит указатель на объект в куче), следовательно, это указатель на указатель на объект. Он указывает на ячейку памяти в стеке вызывающих методов, которая указывает на объект в куче. Итак, теперь, если я изменю значение переменной в вызываемом методе, установив его на новый объект (), как указано выше, поскольку это «ссылка» на переменную в вызывающем методе, я фактически изменяю, какой объект переменная в вызывающем методе указывает на. Итак, после возврата вызываемого метода переменная в вызывающем методе больше не будет указывать на тот же исходный объект в куче.

Пометка определенных аргументов как ByRef показывает пользователю вашей функции, что Переменная, назначенный этому аргументу **, будет изменен. ****

Если вы используете ByRef для всех аргументов, не будет способа узнать, какие переменные изменяются функцией, а какие просто читаются. (кроме заглядывания внутрь источника функции!)

Я бы сказал, что ByRef никогда не следует использовать - это плохая практика. Я бы применил это даже к его типичному варианту использования, когда функция может возвращать несколько значений (через параметры ByRef). Было бы лучше, если бы функция вернула структурированный ответ, включающий эти несколько возвращаемых значений. Это более ясно и очевидно, если функция возвращает значения только через свой оператор return.

Согласно Microsoft, выбор ByVal или ByRef может повлиять на производительность для достаточно больших значений (см. Передача аргументов по значению и по ссылке (Visual Basic)):

Performance. Although the passing mechanism can affect the performance of your code, the difference is usually insignificant. One exception to this is a value type passed ByVal. In this case, Visual Basic copies the entire data contents of the argument. Therefore, for a large value type such as a structure, it can be more efficient to pass it ByRef.

[курсив добавлен].

Sub last_column_process()
Dim last_column As Integer

last_column = 234
MsgBox last_column

trying_byref x:=last_column
MsgBox last_column

trying_byval v:=last_column
MsgBox last_column

End Sub

Sub trying_byref(ByRef x)
x = 345
End Sub

Sub trying_byval(ByRef v)
v = 555
End Sub

Я постараюсь упростить эту путаницу. В основном у вас есть 4 варианта:

1. Передайте тип значения по Val
2. Передайте тип значения по ссылке
3. Передать объект по Val
4. Передать объект по ссылке

Некоторые говорят, что никогда следует использовать byRef. Хотя они технически верны, одно можно сказать наверняка. Вы должны НИКОГДА использовать слово никогда. Если вы разрабатываете систему с нуля, следует избегать использования byRef любой ценой. Его использование обнажает конструктивный недостаток. Однако работа над существующей системой может не обеспечить такой гибкости, чтобы реализовать хороший дизайн. Иногда вы должны прийти к согласию, например, используя byRef. Например, если вы можете получить исправление за 2 дня с помощью byRef, тогда это может быть предпочтительнее заново изобретать колесо и потратить неделю на то же исправление, чтобы избежать использования byRef.

Резюме:

1. Использование byVal для типа значения: передает значение функции. Это предпочтительный способ функции дизайна.
2. Использование byRef для типа значения: полезно для возврата более одного значения из функции. если ты создаете функцию, которая должна возвращать более одного значения в в существующей системе это может быть лучше, чем создание объекта (и установка свойств, и удаление) просто для одной функции.
3. Использование byVal для объекта: передает указатель объекта на функцию. Функция может изменить объект.
4. Использование byRef для объекта: передает указатель на указатель объекта на функцию. Позволяет изменение объекта, на который указывает вызывающий. Это может вызвать некоторые трудно найти ошибки, и я не могу придумать какой-либо веской причины для его использования. Не означает, что их нет, но если есть, то их мало и далеко между ними.