{"componentChunkName":"component---src-templates-blog-post-js","path":"/java/2016-06-14-java-generics-vs-c-generics/","result":{"data":{"site":{"siteMetadata":{"title":"Seungdols Company","author":"[Seungdols]","siteUrl":"https://seungdols.dev","comment":{"disqusShortName":"","utterances":"seungdols/seungdols.dev"},"sponsor":{"buyMeACoffeeId":"seungdols"}}},"markdownRemark":{"id":"cceee2b7-68aa-56c5-a5ba-1520f8bb548f","excerpt":"Java Erasure Generic vs C# Reification Generic Complie Time이 지나 Java의 경우 ByteCode로 변환 될 경우 Generic에 관한 Type Info가 날라간다. 즉, 위의 Type 정보는 를 확인해보면 아래와 같이 타입 정보가 사라진다는 것을 알 수 있다. 제네릭이 컴파일 타임의 Type Check에 대한 기능을 기본적으로 가지게 되는데 에 불과하다. 위 코드의 실제 결과 즉, 이 것은 버그이다. List…","html":"

Java Erasure Generic vs C# Reification Generic

\n

Complie Time이 지나 Java의 경우 ByteCode로 변환 될 경우 Generic에 관한 Type Info가 날라간다. 즉,

\n
List <Orange> = new ArrayList<Orange>();\nList <Apple> = new ArrayList<Apple>();
\n

위의 Type 정보는 Byte Code를 확인해보면 아래와 같이 타입 정보가 사라진다는 것을 알 수 있다.

\n
List <> = new ArrayList<>();\nList <> = new ArrayList<>();
\n

제네릭이 컴파일 타임의 Type Check에 대한 기능을 기본적으로 가지게 되는데 Java의 경우 컴파일 트릭에 불과하다.

\n
public class GenericsErasure {\n\n    public static void main (String[] args) {\n\n        List<Apple> appleList = new ArrayList<> ();\n        List<Orange> orangeList = new ArrayList<> ();\n\n        Apple apple = new Apple ();\n        add (apple);\n\n        add (orangeList);\n    }\n    public static <E>void add (E fruit)\n    {\n        if(fruit instanceof Apple)\n        {\n            System.out.println (\"Apple\");\n        }\n        else if(fruit instanceof List<?>)\n        {\n            System.out.println (\"Apple List\");\n        }\n\n    }\n\n}\n\nclass Apple\n{\n\n}\nclass Orange\n{\n\n}
\n

위 코드의 실제 결과

\n
Apple\nApple List
\n

즉, 이 것은 버그이다. List이여야지만 동작해야하는데 orangeList를 전달해도 appleList로 동작하게 되는 것이다.

\n

List<?> 즉 List 타입의 와일드카드를 도입하므로 Type Checking에 Bug가 생긴다.

\n

List<Apple> 입력시 컴파일 에러가 발생된다.

\n

C#의 경우 컴파일 되고나면, IL (Intermediate Language)로 번역이 되는데, 이 번역된 코드는 CLR ( Common Language Runtime ) 위에서 동작하게 된다.

\n

그런데 이 IL 코드에는 Generic Type Info가 존재한다. 결과적으로 제네릭에 관한 구체적인 정보를 컴파일 이후 코드에도 존재하게 된다.

\n

그리하여 Java Generic의 한계와 단점은 다음과 같다.

\n\n

예외

\n

실행시간 예외 ( Runtime Exception )

\n\n

검사된 예외 ( Checked Exception )

\n\n

이 두 예외에 관해서는 언어 설계자의 철학이 달라서라고 할 수 있다.

\n

앤더스 하일스 버그

\n
\n

C#에서 검사된 예외는 확장성과 호환성에 문제를 가지므로 제외 시켰으며, Try-catch • Try-finally 구문 둘 중에서 1:9의 비율로 Try-finally 구문을 많이 사용해야 한다.

\n
\n

제임스 고슬링

\n
\n

예외는 발생한 곳에서 가장 가까운 지점에서 해당 예외를 처리 해야한다. 모든 예외처리가 실행 시간에 예외라면 프로그램 종료 말고, 어떻게 예외를 처리를 하겠는가?라고 했다고 한다.

\n
\n

제임스 고슬링의 경우 간결성의 원칙과 로보틱스의 주된 관심사로 인한 철학을 가진 사람이기에 Java 설계시에도 그런 영향을 정말 많이 준 것으로 보인다.

\n

타입 시스템 ( Type System )

\n

Java

\n\n

C#

\n\n

Java8의 특징

\n\n

C#의 특징

\n\n

LinQ

\n

에릭 마이어 - 크래커출신 MS사에서 앤더스 하일스 버그와 같이 C#을 작업함.

\n\n

출처 : MVA 임작가님 - C# 세미나

","frontmatter":{"title":"java generics vs c# generics","date":"June 14, 2016"}}},"pageContext":{"slug":"/java/2016-06-14-java-generics-vs-c-generics/","previous":{"fields":{"slug":"/terminal/2016-06-11-terminator-short-key/"},"frontmatter":{"title":"Terminator Short Key"}},"next":{"fields":{"slug":"/python/2016-06-14-python-list/"},"frontmatter":{"title":"python-list"}}}}}