Microsoft MVP성태의 닷넷 이야기
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일

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)
12227정성태6/12/20203301오류 유형: 616. Visual Studio의 느린 업데이트 속도에 대한 원인 분석 [5]
12226정성태6/19/2020498개발 환경 구성: 493. OpenVPN의 네트워크 구성파일 다운로드1
12225정성태6/11/2020522개발 환경 구성: 492. 윈도우에 OpenVPN 설치 - 클라이언트 측 구성
12224정성태6/11/20201067개발 환경 구성: 491. 윈도우에 OpenVPN 설치 - 서버 측 구성
12223정성태6/9/2020696.NET Framework: 908. C# - Source Generator 소개 [3]파일 다운로드1
12222정성태6/3/2020336VS.NET IDE: 146. error information: "CryptQueryObject" (-2147024893/0x80070003)
12221정성태9/24/2020349Windows: 170. 비어 있지 않은 디렉터리로 symbolic link(junction) 연결하는 방법
12220정성태6/3/2020373.NET Framework: 907. C# DLL로부터 TLB 및 C/C++ 헤더 파일(TLH)을 생성하는 방법
12219정성태6/1/2020584.NET Framework: 906. C# - lock (this), lock (typeof(...))를 사용하면 안 되는 이유파일 다운로드1
12218정성태5/31/2020545.NET Framework: 905. C# - DirectX 게임 클라이언트 실행 중 키보드 입력을 감지하는 방법 [1]
12217정성태5/24/2020363오류 유형: 615. Transaction count after EXECUTE indicates a mismatching number of BEGIN and COMMIT statements. Previous count = 0, current count = 1.
12216정성태5/15/2020546.NET Framework: 904. USB/IP PROJECT를 이용해 C#으로 USB Keyboard 가상 장치 만들기
12215정성태5/12/20201370개발 환경 구성: 490. C# - (Wireshark의) USBPcap을 이용한 USB 패킷 모니터링파일 다운로드1
12214정성태5/5/2020453개발 환경 구성: 489. 정식 인증서가 있는 경우 Device Driver 서명하는 방법 (2) - UEFI/SecureBoot
12213정성태5/3/2020725개발 환경 구성: 488. (코드로 가상 USB 장치를 만들 수 있는) USB/IP PROJECT 소개
12212정성태5/1/2020398개발 환경 구성: 487. UEFI / Secure Boot 상태인지 확인하는 방법
12211정성태4/27/2020569개발 환경 구성: 486. WSL에서 Makefile로 공개된 리눅스 환경의 C/C++ 소스 코드 빌드
12210정성태4/20/2020787.NET Framework: 903. .NET Framework의 Strong-named 어셈블리 바인딩 (1) - app.config을 이용한 바인딩 리디렉션 [1]파일 다운로드1
12209정성태4/13/2020466오류 유형: 614. 리눅스 환경에서 C/C++ 프로그램이 Segmentation fault 에러가 발생한 경우 (2)
12208정성태4/12/2020570Linux: 29. 리눅스 환경에서 C/C++ 프로그램이 Segmentation fault 에러가 발생한 경우
12207정성태4/2/2020539스크립트: 19. Windows PowerShell의 NonInteractive 모드
12206정성태4/2/2020633오류 유형: 613. 파일 잠금이 바로 안 풀린다면? - The process cannot access the file '...' because it is being used by another process.
12205정성태4/2/2020496스크립트: 18. Powershell에서는 cmd.exe의 명령어를 지원하진 않습니다.
12204정성태4/1/2020424스크립트: 17. Powershell 명령어에 ';' (semi-colon) 문자가 포함된 경우
12203정성태3/18/2020753오류 유형: 612. warning: 'C:\ProgramData/Git/config' has a dubious owner: '...'.
12202정성태3/18/2020982개발 환경 구성: 486. .NET Framework 프로젝트를 위한 GitLab CI/CD Runner 구성
1  2  3  4  5  6  [7]  8  9  10  11  12  13  14  15  ...