[🐣질문] 제네릭이랑 캐스팅

[태보미(taebomi)]

public class 클래스<T> where T : 클래스<T>
{
public T 함수()
{
return (T)this;
}
}

public class 상속클래스 : 클래스<상속클래스>
{

}

요렇게 되어있으면, 함수 실행시에

런타임에서 this를 T로 캐스팅하는거야?

아니면 그냥 명시해주기위해 (T)를 붙여서 컴파일타임에 캐스팅해주는 그런느낌인거야?

전자라면 결국 다운캐스팅이라는거고 성능적으로는 손해인건가?

다운캐스팅을 방지하려면 이런식으로 하면되는건가?

방법 1.

public abstract class 클래스<T> where T : 클래스<T>

{
public abstract T 함수();
}

public class 상속클래스 : 클래스<상속클래스>
{
public override 상속클래스 함수()
{
return this;
}

}

방법2.

public abstract class 클래스<T> where T : 클래스<T>
{
protected T 데이터;

public T 함수()
{
return 데이터;
}
}

public class 상속클래스 : 클래스<상속클래스>
{
public 상속클래스()
{
데이터 = this;
}
}

상속이랑 제네릭이랑 같이 사용하니 헷갈리는데 검색해봐도 잘 모르겠어...

댓글에 대한 gpt 답변 추가.

질문에 뭘 먼저 묻냐에 따라 대답이 달라졌음.

매번 new chat하고 질문한거고.

[익명(220.84)]

컴파일때 지정되는 형식일걸?

[태보미(taebomi)]

그렇겠지? ㄳㄳ

[익명(fys5le9z9qzz)]

gpt한테 물어봤으면 바로 알려줬을텐데

[태보미(taebomi)]

gpt는 오답을 정답마냥 말하기때문에 믿을 수도 없고 혹시나 해서 물어봤는데 런타임에 캐스팅 하냐 물어보면 런타임에 캐스팅한다고 대답하고 컴파일 타임에 캐스팅 하냐고 물어보면 컴파일타임에 캐스팅한다고 대답함.

[태보미(taebomi)]

본문에 사진 추가했어

[익명(125.184)]

vTable 쓰는 virtual 함수 빼면 함수는 전부 static binding 일 걸?

[태보미(taebomi)]

수업좀 열심히 들을걸... 넘나 어려운것이야...

[index(overkjl)]

(T)this는 런타임캐스팅임. class Base where T : Base〈T〉 constraint는 너 생각보다 관대함. 저런 제약을 걸어놔도 class A : Base〈A〉, class B : Base〈A〉는 컴파일이 됨. static cast였으면 Base〈A〉에서 B로 캐스팅하는게 illegal하다고 컴파일에러로 내놓겠지.

[index(overkjl)]

이런거 혼자서 정확하게 알아내고싶으면 직접 IL 까보는게 답임. (T)this에서 callvirt (late binding) 호출하네

[태보미(taebomi)]

감사합니다. 직접 해보니 말씀하신바와 다르게 return (T)this에서 IL_0001: ldarg.0 // this IL_0002: unbox.any !0/*T*/ IL_0007: stloc.0 // V_0 IL_0008: br.s IL_000a 요렇게 호출되네요. 방법 1에 작성한 함수를 호출해보면 callvirt가 호출되고요.

[index(overkjl)]

아 쏘리 헷갈렸음. unbox.any가 호출되는게 맞음. 그리고 unbox.any도 공식문서 읽어보면 "InvalidCastException is thrown if obj is not a boxed type." 이라고 써져있음. 고로 런타임에서 리플렉션으로 child로 cast해도 safe한지 아닌지 확인하고 리턴한다는 뜻임.