Microsoft MVP성태의 닷넷 이야기
Java: 17. 자바의 재미있는 상수 처리 방식 [링크 복사], [링크+제목 복사],
조회: 15779
글쓴 사람
정성태 (techsharer at outlook.com)
홈페이지
첨부 파일
 

자바의 재미있는 상수 처리 방식

지인의 페이스북에서 다음과 같은 글이 올라왔습니다.

"
2012년에 촬영해 놓은 Java 강의시 i = 1 / 0; 식의 코드는 컴파일 에러(문법적 오류)이므로 컴파일 안된다.

라고 강의했는데, javac에서는 컴파일이 된다. 잉?
당연히 안되어야 하는데? 사실 오늘 알았다...

int i = 1;
int j = 0;
int k = i / j; 

식의 코드는 당연히 컴파일은 되고 실행(런타임)이 안되기에 런타임 에러라고 구분지어 말했다.

C#이라면 divide by zero가 컴파일러 에러로 정확히 명시가 되어 있어서 
i = 3 / 0; 식의 0으로 나누는 행동에 대해서는 컴파일러 단 이전에 코드 단에서 레드 라인으로 표시해주고
컴파일러 에러로 명시한다.

Java라면 1 / 0이 컴파일러가 인식을 못하고 일단은 빌드는 한다.
"

재미있게도, 자바는 다음과 같이 상수식으로 표현된 우변의 코드조차도 상수로 계산하지 않고 코드로 넣는다는 것입니다.

public class Main {
    static final int j = 1 / 0;
    public static void main(String[] args) {
        int i = 1 / 0;
    }
}

실제로 컴파일된 .class 파일을 역어셈블해보면, j = 1 / 0과 i = 1 / 0이 각각 코드로 넣어진 것을 확인할 수 있습니다.

public class Main
{
    public static void main(String args[])
    {
    //    0    0:iconst_1        
    //    1    1:iconst_0        
    //    2    2:idiv            
    //    3    3:istore_1        
    //    4    4:return          
    }

    static 
    {
    //    0    0:iconst_1        
    //    1    1:iconst_0        
    //    2    2:idiv            
    //    3    3:putstatic       #3   <Field int j>
    //    4    6:return          
    }

    static final int j;
}

저 결과를 봤을 때, 그렇다면 자바에서는 문법에 상수식(Constant expression) 처리가 없는 것처럼 보입니다. 그래서 궁금해졌는데요. 대표적으로 상수식을 요하는 문법 중에 'switch'의 'case' 식이 있습니다. 대개의 언어들은 case에 와야 할 식을 '상수식'으로 제한하고 있는데요. 그렇다면 자바는 case 문에 상수식이 아닌 것을 넣어도 되는 걸까요? 일관성을 따진다면 가능해야 하고... 그럼 상수식이 없다는 제한을 넘어 어느 정도 다른 면에서는 표현의 제약을 없앤 것이므로 수긍이 갈 수도 있습니다. 하지만, 정작 case 문의 식은 상수식을 요구했습니다. (물론, jump 코드의 효율을 따지면 상수식 구현 방식이 좋습니다.)

public class Main {
    public static void main(String[] args) {

        int k = 0;
        switch (k) {
            case 0:
                System.out.println("0입니다.");
                break;

            case Math.abs(500): // 컴파일 에러: constant expression required 
                                //              cannot find symbol
                System.out.println("0입니다.");
                break;
        }
    }
}

실제로 case 문의 식은 필드의 초기화와는 달리 식을 상수처리해서 컴파일합니다.

public class Main {
    public static void main(String[] args) {
        int k = 0;
        switch (k) {
            case 0:
                System.out.println("0입니다.");
                break;

            case 4 / 2: // 상수 2값으로 대체해서 컴파일
                System.out.println("0입니다.");
                break;
        }
    }
}

또 다른 상수 계산으로 배열의 크기 지정이 있는데 역시 이것도 상수 계산해서 처리합니다.

public class Main {
    public static void main(String[] args) {
        int t[] = new int[1024 * 5]; // 상수 5120으로 대체해서 컴파일
    }
}

그러게요... 자바는 알면 알수록 정말 희한한 언어인 것 같습니다.

참고로, 결과적으로 봤을 때 자바의 final 필드는 C#의 const 필드가 아닌 readonly 필드에 가깝습니다. 물론 C#은 상수 결과값만 들어가지만 readonly 필드의 경우 생성자에서 대입 처리가 되기 때문입니다.




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







[최초 등록일: ]
[최종 수정일: 6/15/2015]

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

비밀번호

댓글 작성자
 




... 31  32  33  34  35  [36]  37  38  39  40  41  42  43  44  45  ...
NoWriterDateCnt.TitleFile(s)
12746정성태7/31/20219171개발 환경 구성: 588. 네트워크 장비 환경을 시뮬레이션하는 Packet Tracer 프로그램 소개
12745정성태7/31/20217001개발 환경 구성: 587. Azure Active Directory - tenant의 관리자 계정 로그인 방법
12744정성태7/30/20217633개발 환경 구성: 586. Azure Active Directory에 연결된 App 목록을 확인하는 방법?
12743정성태7/30/20218343.NET Framework: 1083. Azure Active Directory - 외부 Token Cache 저장소를 사용하는 방법파일 다운로드1
12742정성태7/30/20217531개발 환경 구성: 585. Azure AD 인증을 위한 사용자 인증 유형
12741정성태7/29/20218755.NET Framework: 1082. Azure Active Directory - Microsoft Graph API 호출 방법파일 다운로드1
12740정성태7/29/20217403오류 유형: 747. SharePoint - InvalidOperationException 0x80131509
12739정성태7/28/20217372오류 유형: 746. Azure Active Directory - IDW10106: The 'ClientId' option must be provided.
12738정성태7/28/20217991오류 유형: 745. Azure Active Directory - Client credential flows must have a scope value with /.default suffixed to the resource identifier (application ID URI).
12737정성태7/28/20216934오류 유형: 744. Azure Active Directory - The resource principal named api://...[client_id]... was not found in the tenant
12736정성태7/28/20217497오류 유형: 743. Active Azure Directory에서 "API permissions"의 권한 설정이 "Not granted for ..."로 나오는 문제
12735정성태7/27/20218029.NET Framework: 1081. C# - Azure AD 인증을 지원하는 데스크톱 애플리케이션 예제(Windows Forms) [2]파일 다운로드1
12734정성태7/26/202124030스크립트: 20. 특정 단어로 시작하거나/끝나는 문자열을 포함/제외하는 정규 표현식 - Look-around
12733정성태7/23/202111303.NET Framework: 1081. Self-Contained/SingleFile 유형의 .NET Core/5+ 실행 파일을 임베딩한다면? [1]파일 다운로드2
12732정성태7/23/20216596오류 유형: 742. SharePoint - The super user account utilized by the cache is not configured.
12731정성태7/23/20217796개발 환경 구성: 584. Add Internal URLs 화면에서 "Save" 버튼이 비활성화 된 경우
12730정성태7/23/20219312개발 환경 구성: 583. Visual Studio Code - Go 코드에서 입력을 받는 경우
12729정성태7/22/20218270.NET Framework: 1080. xUnit 단위 테스트에 메서드/클래스 수준의 문맥 제공 - Fixture
12728정성태7/22/20217682.NET Framework: 1079. MSTestv2 단위 테스트에 메서드/클래스/어셈블리 수준의 문맥 제공
12727정성태7/21/20218723.NET Framework: 1078. C# 단위 테스트 - MSTestv2/NUnit의 Assert.Inconclusive 사용법(?) [1]
12726정성태7/21/20218550VS.NET IDE: 169. 비주얼 스튜디오 - 단위 테스트 선택 시 MSTestv2 외의 xUnit, NUnit 사용법 [1]
12725정성태7/21/20217230오류 유형: 741. Failed to find the "go" binary in either GOROOT() or PATH
12724정성태7/21/20219996개발 환경 구성: 582. 윈도우 환경에서 Visual Studio Code + Go (Zip) 개발 환경 [1]
12723정성태7/21/20217613오류 유형: 740. SharePoint - Alternate access mappings have not been configured 경고
12722정성태7/20/20217450오류 유형: 739. MSVCR110.dll이 없어 exe 실행이 안 되는 경우
12721정성태7/20/20218039오류 유형: 738. The trust relationship between this workstation and the primary domain failed. - 세 번째 이야기
... 31  32  33  34  35  [36]  37  38  39  40  41  42  43  44  45  ...