W Visual Basic istnieją dwa sposoby przekazywania argumentów do procedur: ByVal (przez wartość, kopia) i ByRef (przez referencję, sam obiekt lub zmienna). Jeśli parametr jest oznaczony jako ByRef, to wszelkie zmiany dokonane wewnątrz procedury będą miały wpływ na oryginalną zmienną na zewnątrz procedury.
Użycie ByRef jest szczególnie ważne, gdy potrzebujemy zwrócić wiele wyników z funkcji lub zoptymalizować pracę z dużymi strukturami danych (nie kopiując ich).
Przykład:
Sub Swap(ByRef a As Integer, ByRef b As Integer) Dim temp As Integer = a a = b b = temp End Sub Dim x As Integer = 10 Dim y As Integer = 20 Swap(x, y) ' x = 20, y = 10
Pytanie: „Czy można bezpiecznie przekazywać typy prostsze (Integer, String) przez referencję między różnymi wątkami?”
Odpowiedź: Nie! Przy przekazywaniu zmiennych przez referencję (ByRef) między wątkami mogą wystąpić wyścigi danych (data races), ponieważ obie procedury mogą zmieniać zmienną w różnym czasie. To jest niebezpieczne i grozi trudnymi do wykrycia błędami.
Przykład:
' W trybie wielowątkowym może wystąpić sytuacja, w której wartości ' a i b będą niepoprawnie zamienione z powodu jednoczesnego dostępu!
Historia:
W starym produkcie finansowym używano
ByRefdo przekazywania liczników między kilkoma modułami. Jeden z programistów przypadkowo przekazał do funkcji przez referencję wyrażenie tymczasowe, a nie zmienną. Spowodowało to awarię programu, ponieważ nieistniejąca referencja próbowała zmienić nieinicjowany obiekt.
Historia:
System inżynieryjny przekazywał tablice przez referencję, aby zaoszczędzić pamięć. Jednak ktoś zmienił tablicę wewnątrz procedury pomocniczej. Doprowadziło to do pojawienia się trudnych do wykrycia błędów — dane zmieniały się poza oczekiwanym kontekstem.
Historia:
W analizatorze danych próbowano "optymalizować" przekazywanie ciągów przez referencję w celu przyspieszenia pracy. Z powodu niebezpiecznego przekazywania ciągów przez referencję jednocześnie z kilku wątków pojawiły się nieprzewidywalne awarie i zepsuł się mechanizm synchronizacji.