Microsoft MVP성태의 닷넷 이야기
글쓴 사람
홈페이지
첨부 파일

C# - int []와 object []의 차이로 이해하는 제네릭의 필요성

다음과 같은 질문이 있군요.

List<int>에 대한 이해가 잘안됩니다.
; https://www.sysnet.pe.kr/3/0/5117

List<int>는 내부적으로 int 배열로 자료를 관리합니다. 반면, List<object>는 object 배열로 관리하는데 과연 이 차이가 어떻게 메모리로 표현이 될까요?

예를 들기 위해 다음과 같은 코드를 준비했습니다.

class Program
{
    static int[] intArray = new int[3];
    static object[] objArray = new object[3];

    static void Main(string[] args)
    {
        Add(100);
    }

    private static void Add(int number)
    {
        intArray[0] = number;
        objArray[0] = number;
    }
}

Main에서 실행한 Add(100) 코드는 100이라는 숫자를 스택에 넣어 Add 함수에 전달합니다. 따라서 현재 100은 스택 공간에 존재합니다.

int_object_array_diff_1.png

이것을 intArray에 넣으면 어떻게 될까요? int 형 배열 자체는 참조형입니다. 따라서 intArray의 저장소는 힙에 위치합니다. 즉, 힙에 int 3개를 담을 수 있는 배열이 생성되는 것이고 따라서 "intArray[0] = number" 코드의 실행은 다음과 같은 결과가 됩니다.

int_object_array_diff_2.png

이 정도는 ^^ 여러분들도 직관적으로 다 아시는 내용일 것입니다.

그렇다면, "objArray[0] = number"는 어떻게 될까요? 이게 좀 복잡합니다. 우선 object 형 배열도 마찬가지로 참조형이기 때문에 int 배열과 동일하게 힙에 위치합니다. 하지만, 그 요소들은 int를 담을 수 있는 자료형이 아닌, object를 "(틀린 표현이지만) 담을 수" 있습니다. 문제는, "object 전체를 담을" 수 없다는 것입니다. object는 참조형으로 어떠한 크기의 객체도 될 수 있기 때문에 object 배열은 값 형식의 배열처럼 크기를 고정해 인덱싱할 수 있는 여지가 없습니다.

정리하면, object 배열은 참조형이고 그 요소들도 참조형이기 때문에 object 배열 자체가 대상 object 자체를 담고 있기보다는, 대신 참조 객체의 주솟값을 가리키는 포인터의 배열로 다뤄지게 됩니다.

따라서, "objArray[0] = number" 코드의 수행은 다음과 같은 결과가 됩니다.

int_object_array_diff_3.png

그냥 봐도 오버헤드가 있음을 알 수 있고, 이 문제가 제네릭이 나오기 전 ArrayList 타입을 (예를 들어, int 같은) 모든 값 형식에 대해 사용했을 때 GC 관련 성능 문제를 야기했던 것입니다.

이쯤 되면, 마이크로소프트는 C#에 제네릭을 부가 기능으로 추가시켰다기보다는, 내놓을 수밖에 없는 구현이었던 것입니다.

(첨부 파일은 이 글의 다이어그램을 그린 원본 PPT 파일입니다.)




힙과 스택의 존재가 처음 개발을 접하는 시기에는 난해할 수 있습니다. 하지만, 이 개념은 개발자라면 가능한 머릿속에 정리하고 넘어가야 합니다. 프로그래밍 언어라는 것이 결국 (그것이 언어 표면으로 드러나든/숨겨졌든지에 상관없이) 근본적으로는 힙과 스택의 기반 하에 프로그램이 동작하도록 만드는 수단이기 때문입니다.




[이 글에 대해서 여러분들과 의견을 공유하고 싶습니다. 틀리거나 미흡한 부분 또는 의문 사항이 있으시면 언제든 댓글 남겨주십시오.]

[연관 글]





[최초 등록일: ]
[최종 수정일: 1/28/2019 ]

Creative Commons License
이 저작물은 크리에이티브 커먼즈 코리아 저작자표시-비영리-변경금지 2.0 대한민국 라이센스에 따라 이용하실 수 있습니다.
by SeongTae Jeong, mailto:techsharer@outlook.com

비밀번호

댓글 쓴 사람
 



2019-01-30 04시58분
[윤현수] 이해를 잘 했는지 모르겠습니다.
int[] intArray 는 Value Type, object[] objectArray 는 Reference Type 이라고 이해하면 된건가요?
[손님]
2019-02-02 12시41분
[dimohy] #운현수님
- int[], object[] 모두 참조
- int[]의 원소 int는 값 형, object[]의 원소 object는 참조 형

[손님]
2020-04-07 08시05분
[kh] 오브젝트 배열에선 오브젝트객체전체를 담을수없기때문에 힙에한번더 값을할당해 그 포인터를 배열에담는다고하셨는데 이게 값형식한정일때만이고 참조형식은 값그대로 배열에담긴다고생각하면되나요?
[손님]
2020-04-08 09시31분
@kh 아닙니다. 예를 들어,

class Test { int age; }

이라는 참조 타입이 있고, 그것을 담으려고

object [] objs = new object[1];

가 있다고 할 때,

objs[0] = new Test();

라고 해도 Test 인스턴스의 전체 내용이 objs[0]에 들어가는 것이 아닙니다. Test 인스턴스 자체는 GC Heap에 그거대로 생성이 되고, 그 주솟값이 objs[0]에 들어가는 것입니다.
정성태

1  2  3  4  [5]  6  7  8  9  10  11  12  13  14  15  ...
NoWriterDateCnt.TitleFile(s)
12165정성태3/2/2020355.NET Framework: 900. 실행 시에 메서드 가로채기 - CLR Injection: Runtime Method Replacer 개선 - 세 번째 이야기(Monitor.Enter 후킹)파일 다운로드1
12164정성태2/29/2020326오류 유형: 598. Surface Pro 6 - Windows Hello Face Software Device가 인식이 안 되는 문제
12163정성태2/27/2020361.NET Framework: 899. 익명 함수를 가리키는 delegate 필드에 대한 직렬화 문제
12162정성태2/28/2020450디버깅 기술: 166. C#에서 만든 COM 객체를 C/C++로 P/Invoke Interop 시 메모리 누수(Memory Leak) 발생파일 다운로드2
12161정성태2/26/2020213오류 유형: 597. manifest - The value "x64" of attribute "processorArchitecture" in element "assemblyIdentity" is invalid.
12160정성태2/26/2020290개발 환경 구성: 469. Reg-free COM 개체 사용을 위한 manifest 파일 생성 도구 - COMRegFreeManifest
12159정성태2/26/2020204오류 유형: 596. Visual Studio - The project needs to include ATL support
12158정성태2/26/2020326디버깅 기술: 165. C# - Marshal.GetIUnknownForObject/GetIDispatchForObject 사용 시 메모리 누수(Memory Leak) 발생파일 다운로드1
12157정성태2/27/2020337디버깅 기술: 164. C# - Marshal.GetNativeVariantForObject 사용 시 메모리 누수(Memory Leak) 발생 및 해결 방법파일 다운로드1
12156정성태2/25/2020240오류 유형: 595. LINK : warning LNK4098: defaultlib 'nafxcw.lib' conflicts with use of other libs; use /NODEFAULTLIB:library
12155정성태2/25/2020269오류 유형: 594. Warning NU1701 - This package may not be fully compatible with your project
12154정성태2/25/2020227오류 유형: 593. warning LNK4070: /OUT:... directive in .EXP differs from output filename
12153정성태7/15/2020342.NET Framework: 898. Trampoline을 이용한 후킹의 한계파일 다운로드1
12152정성태2/23/2020308.NET Framework: 897. 실행 시에 메서드 가로채기 - CLR Injection: Runtime Method Replacer 개선 - 세 번째 이야기(Trampoline 후킹)파일 다운로드1
12151정성태2/23/2020339.NET Framework: 896. C# - Win32 API를 Trampoline 기법을 이용해 C# 메서드로 가로채는 방법 - 두 번째 이야기 (원본 함수 호출)파일 다운로드1
12150정성태2/23/2020344.NET Framework: 895. C# - Win32 API를 Trampoline 기법을 이용해 C# 메서드로 가로채는 방법파일 다운로드1
12149정성태2/20/2020395.NET Framework: 894. eBEST C# XingAPI 래퍼 - 연속 조회 처리 방법 [1]
12148정성태2/23/2020440디버깅 기술: 163. x64 환경에서 구현하는 다양한 Trampoline 기법
12147정성태2/27/2020378디버깅 기술: 162. x86/x64의 기계어 코드 최대 길이
12146정성태2/18/2020427.NET Framework: 893. eBEST C# XingAPI 래퍼 - 로그인 처리파일 다운로드1
12145정성태2/18/2020374.NET Framework: 892. eBEST C# XingAPI 래퍼 - Sqlite 지원 추가파일 다운로드1
12144정성태2/23/2020393.NET Framework: 891. 실행 시에 메서드 가로채기 - CLR Injection: Runtime Method Replacer 개선 - 두 번째 이야기파일 다운로드1
12143정성태2/13/2020284.NET Framework: 890. 상황별 GetFunctionPointer 반환값 정리 - x64파일 다운로드1
12142정성태2/27/2020369.NET Framework: 889. C# 코드로 접근하는 MethodDesc, MethodTable파일 다운로드1
12141정성태2/10/2020481.NET Framework: 888. C# - ASP.NET Core 웹 응용 프로그램의 출력 가로채기 [1]파일 다운로드1
12140정성태2/10/2020341.NET Framework: 887. C# - ASP.NET 웹 응용 프로그램의 출력 가로채기파일 다운로드1
1  2  3  4  [5]  6  7  8  9  10  11  12  13  14  15  ...