[C#] vs ref vs out에서 사용하는 경우

컴파일 컨텍스트에 따라 다릅니다 (아래 예 참조).

out및 ref참조로 전달 모두 나타내고 변수 아직 ref마샬링의 맥락에서 중요한 차이가있다 전달되기 전에 초기화되는 변수 요구 (상호 운용성 : UmanagedToManagedTransition 또는 그 반대로)을

MSDN은 다음과 같이 경고합니다 .

참조에 의한 전달 개념과 참조 유형의 개념을 혼동하지 마십시오. 두 개념은 동일하지 않습니다. 메소드 매개 변수는 값 유형인지 참조 유형인지에 관계없이 ref로 수정할 수 있습니다. 참조로 전달 될 때 값 유형의 boxing이 없습니다.

공식 MSDN 문서에서 :

• out:

out 키워드는 인수가 참조로 전달되도록합니다. ref는 변수가 전달되기 전에 초기화되어야한다는 점을 제외하고는 ref 키워드와 유사합니다.

• ref:

ref 키워드는 인수가 값이 아닌 참조로 전달되도록합니다. 참조로 전달하면 메소드의 매개 변수에 대한 변경 사항이 호출 메소드의 기본 인수 변수에 반영됩니다. 참조 매개 변수의 값은 항상 기본 인수 변수의 값과 같습니다.

인수가 할당 될 때 out과 ref가 실제로 동일한 지 확인할 수 있습니다.

CIL 예 :

다음 예를 고려하십시오

static class outRefTest{
    public static int myfunc(int x){x=0; return x; }
    public static void myfuncOut(out int x){x=0;}
    public static void myfuncRef(ref int x){x=0;}
    public static void myfuncRefEmpty(ref int x){}
    // Define other methods and classes here
}

CIL에서의 지침 myfuncOut과는 myfuncRef예상대로 동일하다.

outRefTest.myfunc:
IL_0000:  nop
IL_0001:  ldc.i4.0
IL_0002:  starg.s     00
IL_0004:  ldarg.0
IL_0005:  stloc.0
IL_0006:  br.s        IL_0008
IL_0008:  ldloc.0
IL_0009:  ret

outRefTest.myfuncOut:
IL_0000:  nop
IL_0001:  ldarg.0
IL_0002:  ldc.i4.0
IL_0003:  stind.i4
IL_0004:  ret

outRefTest.myfuncRef:
IL_0000:  nop
IL_0001:  ldarg.0
IL_0002:  ldc.i4.0
IL_0003:  stind.i4
IL_0004:  ret

outRefTest.myfuncRefEmpty:
IL_0000:  nop
IL_0001:  ret         

nop : 작업 없음, ldloc : 로컬로드, stloc : 스택 로컬, ldarg :로드 인수, bs.s : 대상에서 분기로 ….

( CIL 명령어 목록 참조 )

답변

int x;
Foo(ref x); // error: x is uninitialized

void Bar(out int x) {}  // error: x was not written to

int value;
if (int.TryParse(numericString, out value))
{
    /* numericString was parsed into value, now do stuff */
}
else
{
    /* numericString couldn't be parsed */
}

int x = 4;
Interlocked.Increment(ref x);

if (int.TryParse(numericString, out int value))
{
    // 'value' exists and was declared in the `if` statement
}
else
{
    // conversion didn't work, 'value' doesn't exist here
}

int a, b, c = foo(out a, out b);