Что означают ref, val и out в параметрах метода?

Ищу ясный, лаконичный и точный ответ.

В идеале как фактический ответ, хотя ссылки на хорошие объяснения приветствуются.

Это также относится к VB.Net, но ключевые слова разные - ByRef и ByVal .

Ответов (4)

Решение

По умолчанию (в C#) при передаче объекта функции фактически передается копия ссылки на этот объект. При изменении самого параметра изменяется только значение параметра, а не указанная переменная.

void Test1(string param)
{
    param = "new value";
}

string s1 = "initial value";
Test1(s1);
// s1 == "initial value"

Использование out или ref передача ссылки на переменную, указанную в вызове функции. Любые изменения значения параметра out или ref будут переданы обратно вызывающей стороне.

Оба out и ref ведут себя идентично, за исключением одного небольшого различия: ref параметры необходимо инициализировать перед вызовом, а out параметры можно не инициализировать. Таким образом, ref гарантируется , что параметры инициализируются в начале метода, в то время как out параметры обрабатываются как неинициализированные.

void Test2(ref string param)
{
    param = "new value";
}

void Test3(out string param)
{
    // Use of param here will not compile
    param = "another value";
}

string s2 = "initial value";
string s3;
Test2(ref s2);
// s2 == "new value"
// Test2(ref s3); // Passing ref s3 will not compile
Test3(out s2);
// s2 == "another value"
Test3(out s3);
// s3 == "another value"

Изменить : как указывает dp , разница между out и ref обеспечивается только компилятором C#, а не CLR. Насколько мне известно, VB не имеет эквивалента out и реализует только ref (as ByRef ), что соответствует поддержке CLR.

Один из моих собственных вопросов в stackoverflow также касается этой темы.
Он обрабатывает «передачу по ссылке» и «передачу по значению» в разных типах языков, включая C#, так что, возможно, вы также сможете найти там дополнительную информацию.

В основном это сводится к:

  • ref: параметр с ключевым словом ref будет передан по ссылке
  • out: параметр с ключевым словом out будет рассматриваться как выходной параметр

но это действительно самый простой ответ, который вы можете дать, так как он немного сложнее, чем указано здесь

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

void foo(int value) {}

// Only one of the following would be allowed

// valid to overload with ref
void foo(ref int value) {}

// OR with out
void foo(out int value) {}

out означает, что параметр будет инициализирован методом:

int result; //not initialised

if( int.TryParse( "123", out result ) )
   //result is now 123
else
   //if TryParse failed result has still be 
   // initialised to its default value (0)

ref заставит передать базовую ссылку:

void ChangeMyClass1( MyClass input ) {
   input.MyProperty = "changed by 1";
   input = null;
   //can't see input anymore ... 
   // I've only nulled my local scope's reference
}

void ChangeMyClass2( ref MyClass input ) {
   input.MyProperty = "changed by 2";
   input = null;
   //the passed reference is now null too.
}

MyClass tester = new MyClass { MyProperty = "initial value" };

ChangeMyClass1( tester );
// now tester.MyProperty is "changed by 1"

ChangeMyClass2( ref tester );
// now tester is null