•클래스 기반:Integer 클래스는 java.lang 패키지에 속하며, 객체로 취급됩니다.
•기본값:null (선언만 하고 초기화하지 않은 경우)
•기능: 추가 메서드와 기능 제공 (예: parseInt, valueOf, toString 등)
•오토박싱 및 언박싱: 자바 컴파일러가 기본 타입과 래퍼 클래스 간의 자동 변환을 수행합니다.
Integer x = 10; // 오토박싱int y = x; // 언박싱
Integer z = Integer.valueOf(20);
int sum = x + z;
3. 차이점 요약
4. 언제 사용해야 하나?
•int 사용 시점:
- 성능이 중요한 경우
- 단순히 숫자 값을 저장하고 연산할 때
•Integer 사용 시점:
- 객체로 처리해야 할 때 (예: 컬렉션 프레임워크와 함께 사용)
- null 값을 허용해야 할 때
- 메서드와 추가 기능이 필요할 때
5. 기본 데이터 타입과 래퍼 클래스의 다른 예
자바에는 다양한 기본 데이터 타입과 그에 대응하는 래퍼 클래스가 있습니다. 각 래퍼 클래스는 기본 데이터 타입을 객체로 다룰 수 있도록 하며, 추가적인 메서드와 기능을 제공합니다.
기본 데이터 타입과 그에 대응하는 래퍼 클래스
요약
기본 데이터 타입은 메모리 효율적이고 성능이 좋지만, 객체로 다룰 수 없으며 null 값을 가질 수 없습니다. 반면 래퍼 클래스는 추가적인 메서드와 기능을 제공하며 컬렉션과 같은 객체 기반 데이터 구조에서 사용할 수 있습니다. 따라서 상황에 따라 적절한 타입을 선택하는 것이 중요합니다.
자식클래스의 생성자에는 기본적으로 super() 를 호출해야 하는데 기입하지 않더라도 컴파일러가 기본으로 추가한다.
classParent{
publicParent(){
System.out.println("부모 클래스 생성자");
}
}
classChildextendsParent{
publicChild(){
// super(); 내부적으로 동작한다.
System.out.println("자식 클래스 생성자");
}
}
classMain{
publicstaticvoidmain(String[] args){
Parent p = new Parent();
System.out.println(">>");
Child c = new Child();
}
}
// 출력내용
부모 클래스 생성자 // 얘도 알고보면 앞에 Object의 생성자가 호출 되겠지.
>>
부모 클래스 생성자다. // 부모클래스의 생성자가 호출되고 자식 클래스의 생성자가 호출된다.
자식 클래스 생성자다.
자식클래스의 기본생성자를 만들때 부모 클래스의 기본 생성자가 없으면 컴파일 에러가 생긴다.
classParent{ // 기본 생성자가 없는 부모 클래스
String name;
publicParent(String name){
this.name = name;
}
}
classChildextendsParent{
publicChild(){ // 이 경우 부모 클래스에 기본 생성자가 없기 때문에// super(); // 컴파일 에러가 난다.
}
publicChild(){
super("super class"); // 부모 클래스의 생성자가 정확히 호출 되므로 에러가 없다.
}
}
@Override 어노테이션은 없어도 되지만 개발자에게 부모클래스에 있는 메서드라는것을 명시하기 위해 쓰는 것이다.
부모클래스에 없는 메서드에 어노테이션을 붙일 경우 컴파일 오류가 난다.
다이내믹 메서드디스패치 (Dynamic Method Dispatch)
메서드 디스패치란 메소드를 어떻게 호출할 지를 정해서 호출하는 것이다.
정적 메소드 디스패치 (static method dispatch) 는 메서드가 어떻게 실행될지가 컴파일 타임에 결정된다.
스태틱 메소드 디스패치 (Static Method Dispatch)
스태틱 메소드 디스패치는 구현 클래스를 통해 컴파일 시점에서 컴파일러가 어떤 메소드를 호출할지 명확하게 알고 있는 경우 컴파일 시 생성된 바이트코드에도 정보가 남아있으며 애플리케이션 실행 전에 호출할 메소드 결정 대표적으로, 메소드를 오버로딩(Overloading)하면 매개변수 타입과 개수에 따라 어떤 메소드를 호출할지 알 수 있는 경우(메소드 시그니처 변경) 상위 클래스가 있더라도 하위 클래스(구현 클래스)로 선언을 하고 하위 클래스의 인스턴스를 생성
다이나믹 메소드 디스패치 (Dynamic Method Dispatch)
다이나믹 메소드 디스패치는 인터페이스나 추상 클래스에 정의된 추상 메소드를 호출하는 경우로, 호출되는 메소드가 런타임 시 동적으로 결정되는 것 인터페이스 또는 추상 클래스로 선언하고 구현/상속 받은 하위 클래스의 인스턴스를 생성 컴파일러가 알고 있는 타입에 대한 정보를 토대로 런타임 시 해당 타입의 객체를 생성하고 메소드를 호출
런타임 전에는 객체 생성이 되지 않기 때문에Animal animal = new Dog();를 해도, 컴파일러는Dog가 생성됨을 알 수 없으므로Animal이 정의한method()메소드만 접근 가능
Example 클래스의 생성자 인자로 넘어오는 매개값의 타입이 Dog인지 Cat인지(혹은 그 외)는 실행 시 확인 가능. 실행 시 동적으로 확인해서 다이나믹 디스패치
더블 디스패치 (Double Dispatch)
다이나믹 메소드 디스패치가 2번 발생하는 것 디자인 패턴 중방문자 패턴 (Visitor Pattern)과 밀접한 관계
방문자 패턴 (Visitor Pattern)
일반적으로 OOP는 객체가 스스로 행위를 수행하게 하지만, 경우에 따라(ex. 확장성 고려, OCP 위배) 객체의 행위 수행을 외부 클래스에 위임
이 때 사용하는 디자인 패턴 종류는 전략 패턴, 커맨드 패턴, 방문자 패턴
전략 패턴 (Strategy Pattern)
하나의 객체가 여러 동작을 하게 하는 패턴 (1:N)
커맨드 패턴 (Command Pattern)
하나의 객체가 하나의 동작(+보조 동작)을 하게 하는 패턴 (1:1)
방문자 패턴 (Visitor Pattern)
여러 객체에 대해 각 객체의 동작들을 지정하는 패턴 (N:N)
추상클래스
추상(abstract)이란 실체 간에 공통되는 특성을 추출한 것 추상 클래스는 객체를 직접 생성할 수 있는 실체 클래스의 공통적인 특성(필드, 메소드)을 추출해서 선언한 클래스
추상 클래스는 인스턴스 생성 불가능
Animal animal = new Animal(); // (X)
Animal animal = new Dog(); // (O)
클래스 선언 시abstract키워드 추가
publicabstractclass 클래스 {
// 필드// 생성자// 메소드
}
추상 클래스를 상속받은 자식 객체가 생성될 때, 내부에서super메소드가 호출되어 추상 클래스 객체를 생성하기 때문에 생성자 필요
추상 메소드 오버라이딩
추상 클래스는 자식 클래스의 공통 기능을 추출해 구현한 클래스이지만, 경우에 따라 자식 클래스마다 구현 내용이 달라질 수 있기 때문에 필요 시 추상 메소드를 작성 추상 메소드는 추상 클래스에서만 선언 가능하며, 메소드 선언부만 있는 형태 자식 클래스가 반드시 실행 내용을 구현하게 하기 위해 추상 메소드 선언
이런 클래스는 class라는 키워드로 정의되며 각각 변수(속성)와 메서드(행위)를 가지게 된다.
클래스 요소
필드(field)- 필드는 해당 클래스 객체의 상태 속성을 나타내며, 멤버 변수라고도 불린다. 여기서 초기화하는 것을 필드 초기화 또는 명시적 초기화라고 한다.
인스턴스 변수- 이름에서 알 수 있듯이 인스턴스가 갖는 변수이다. 그렇기에 인스턴스를 생성할 때 만들어진다. 서로 독립적인 값을 갖으므로 heap 영역에 할당되고 gc에 의해 관리된다.
클래스 변수- 정적을 의미하는static키워드가 인스턴스 변수 앞에 붙으면 클래스 변수이다. 해당 클래스에서 파생된 모든 인스턴스는 이 변수를 공유한다. 그렇기 때문에 heap 영역이 아닌 static 영역에 할당되고 gc의 관리를 받지 않는다. 또한public키워드까지 앞에 붙이면 전역 변수라 볼 수 있다.
메서드(method)- 메서드는 해당 객체의 행동을 나타내며, 보통 필드의 값을 조정하는데 쓰인다.
인스턴스 메서드- 인스턴스 변수와 연관된 작업을 하는 메서드이다. 인스턴스를 통해 호출할 수 있으므로 반드시 먼저 인스턴스를 생성해야 한다.
클래스 메서드- 정적 메서드라고도 한다. 일반적으로 인스턴스와 관계없는 메서드를 클래스 메서드로 정의한다.
생성자(constructor)- 생성자는 객체가 생성된 직후에 클래스의 객체를 초기화하는 데 사용되는 코드 블록이다. 메서드와 달리 리턴 타입이 없으며, 클래스엔 최소 한 개 이상의 생성자가 존재한다.
초기화 블록(initializer)- 초기화 블록 내에서는 조건문, 반복문 등을 사용해 명시적 초기화에선 불가능한 초기화를 수행할 수 있다.
클래스 초기화 블록- 클래스 변수 초기화에 쓰인다.
인스턴스 초기화 블록- 인스턴스 변수 초기화에 쓰인다.
클래스 변수 초기화: 기본값 → 명시적 초기화 → 클래스 초기화 블록 인스턴스 변수 초기화: 기본값 → 명시적 초기화 → 인스턴스 초기화 블록 → 생성자
클래스 정의
classClass{ // 클래스
String constructor;
String instanceVar; // 인스턴스 변수static String classVar; // 클래스 변수static { // 클래스 초기화 블록
classVar = "Class Variable";
}
{ // 인스턴스 초기화 블록
instanceVar = "Instance Variable";
}
Class() { // 생성자
constructor = "Constructor";
}
voidinstanceMethod(){ // 인스턴스 메서드
System.out.println(instanceVar);
}
staticvoidclassMethod(){ // 클래스 메서드
System.out.println(classVar);
}
}
제어자 키워드
접근 제어자 -public,protected,default,private 그 외 -static,final,abstract,transient,synchronized,volatileetc.
접근 제어자 - 접근 제어자는 해당 클래스 또는 멤버를 정해진 범위에서만 접근할 수 있도록 통제하는 역할을 한다. 클래스는public과default밖에 쓸 수 없다. 범위는 다음과 같다. 참고로default는 아무것도 덧붙이지 않았을 때를 의미한다.
static- 변수, 메서드는 객체가 아닌 클래스에 속한다.
final
클래스 앞에 붙으면 해당 클래스는 상속될 수 없다.
변수 또는 메서드 앞에 붙으면 수정되거나 오버라이딩 될 수 없다.
abstract
클래스 앞에 붙으면 추상 클래스가 되어 객체 생성이 불가하고, 접근을 위해선 상속받아야 한다.
변수 앞에 지정할 수 없다. 메서드 앞에 붙는 경우는 오직 추상 클래스 내에서의 메서드밖에 없으며 해당 메서드는 선언부만 존재하고 구현부는 상속한 클래스 내 메서드에 의해 구현되어야 한다. 상속과 관련된 내용은 6주차에 다룰 예정이다.
transient- 변수 또는 메서드가 포함된 객체를 직렬화할 때 해당 내용은 무시된다.
synchronized- 메서드는 한 번에 하나의 쓰레드에 의해서만 접근 가능하다.
volatile- 해당 변수의 조작에 CPU 캐시가 쓰이지 않고 항상 메인 메모리로부터 읽힌다.
super의 경우 this와는 다르게 자식클래스가 부모클래스로부터 상속받은 멤버로를 사용하고자 할때 사용된다.
classParent{
int a = 10;
}
classChildextendsParent{
int a = 20;
voidchildMethod(){
System.out.println(a); //20
System.out.println(this.a); //20
System.out.println(super.a); //10
}
}
super 키워드와 this 키워드의 기능이 비슷하 듯이 this()와 super() 키워드 역시도 기능이 비슷하다. super() 키워드는 this()와 마찬가지로 생성자를 호출하는 함수로, 자기자신이 아닌 부모클래스의 생성자를 호출한다.
Java에서 코드는 위에서 아래 순으로 읽고 실행된다. 모든 일을 순차적으로 실행할 수 있다면 아무런 상관이 없겠지만, 어떤 코드를 반복해야 될 수도 있고 어떤 코드는 건너뛰는 등의 순서를 변경해야 되는 일이 발생한다. 이 때, 제어문을 사용하여 코드 실행 흐름을 제어할 수 있다.이러한 제어문은 선택문(if-then,if-then-else,switch)과, 반복문(for,while,do-while), 분기문(break,continue,return)으로 나뉜다.
선택문(Decision-making Statement)
if-then
if-then문은 가장 기본적인 제어문중 하나로 지정한 조건이 만족할 시에 지정한 블록({}) 안에 있는 코드가 실행된다.
if(조건식) { // 한 줄일 경우 {} 생략 가능
조건이 참일 경우 실행되는 코드;
}
만약if-then문 안에 코드가 한 줄이라면{}은 생략이 가능하다.
if-then-else
기본적인if-then문에서는 참일 경우만 실행이 됬다면,if-then-else문은 거짓일 때도 실행할 수 있다. 즉, 조건식이 참일 경우와 거짓일 경우의 실행되는 코드들을 나눌 수 있다는 것이다.
if(조건식) {
참일 경우;
} else {
거짓일 경우;
}
이렇게 조건이 하나만 존재 할 수 있지만, 여러가지의 조건을 사용해야 할 경우가 생길 수 있다.(예 - 학점) 이 때는else if()를 사용하여 또 다른 조건식을 사용할 수 있다.
switch
switch문은if-then과if-then-else문과 다르게 변수에 대해 평가를 하고 이를 분기할 수 있다. 평가 당하는 변수는 원시형 타입(int,byte,char...)일 수 있고,Enum형 혹은String,Wrapper(Integer,Byte,Character...) 클래스도 가능하다.
switch(변수) {
case 값 A:
변수가 값 A에 해당하는 경우;
break;
case 값 B; 변수가 값 B에 해당하는 경우;
break;
default: 어떠한 값에도 해당하지 않는 경우;
break;
}
위 예시는 다음과 같이if-then-else문으로 변경도 가능하다.
if(변수 == 값 A) {
변수가 값 A에 해당하는 경우;
}elseif(변수 == 값 B) {
변수가 값 B에 해당하는 경우;
}else {
어떠한 값에도 해당하지 않는 경우;
}
반복문(Looping Statement)
어떠한 코드가 반복적으로 사용 될 때 사용되는 구문이다.
for
프로그래머가 설정한 조건이 만족 될 때까지 지정한 코드 블럭이 계속해서 수행된다. 카운팅을 할 수도 있겠지만, 배열 혹은 컬렉션 안에 저장되어 있는 값을 순회 할 때도 많이 사용된다.
for(초기식; 조건식; 증감식) {
반복 될 코드;
}
JDK 5.0 이상부터 배열 혹은 컬렉션의 순회시에 다음과 같이 조금 더 향상된for문을 사용할 수 있다.
for(타입 변수명 : 배열/컬렉션) {
반복 될 코드;
}
foreach 스타일 for문
: 어떤 컬렉션이든 순회할 수 있음
Effetive java - item 46 : for문보다는 for-each를 사용하라
for-each문은 반복자나 인덱스 변수를제거해 오류 가능성을 줄인다
int[] nums = {1,2,3,4,5};
for (int num : nums) {
System.out.println(num);
}
while
특정 조건이 참일 경우에 지정한 코드 블럭이 계속해서 수행되는 구문이다.
while(조건식) {
조건식이 참일 경우 반복되는 코드;
}
조건식이 항상 참일 경우에는 계속해서 해당 코드들이 실행되므로 다음 명령들을 수행할 수 없는 상태가 된다. 따라서 조건식을 잘 유의해서 사용해야 된다.
do-while
while문이 조건식을 먼저 판별하고 코드를 수행했다면,do-while문은 먼저 코드블럭을 수행하고 조건을 판별한다.
do {
조건식이 참일 경우 반복되는 코드;
}while(조건식);
분기문(Branching Statement)
조건문에서 프로그래머의 의도에 의해 중간 흐름을 바꿀 수 있는 구문
break
break문은 두가지 케이스로 나뉘는데, 이는 라벨링이 된 것과 안된 것이다.
먼저 라벨링이 되지 않는break문은switch문, 반복문에서 사용될 수 있으며, 해당 구문을 만났을 때 가장 가까운 조건문을 종료한다.
for(int i = 0; i <= 10; i++) {
if(i == 5) break;
System.out.println(i);
} // 출력 // 1 // 2 // 3 // 4
다음과 같은 예시가 존재할 때,i가 5가 되면 반복문을 종료하고 다음 코드로 진행하게 된다.
라벨링이 된break문은 똑같이break를 만나면 제어문이 종료되지만, 해당 라벨링이 된 제어문 자체가 종료된다. 즉, 가장 가까운 제어문뿐만 아니라 자신이 표시한 위치안의 제어문을 종료하는 것이다.
Snap-shot : 원본과 달리 사본을 남겨처리. 다른 처리가 발생하면 오류 가능성 생김
hasMoreElements(), nextElement()
Vector<Integer> vector = new Vector<>(Arrays.asList(1,2,3));
Enumeration elements = vector.elements();
while (elements.hasMoreElements()) {
int e = (int)elements.nextElement();
System.out.println(e);
}
Iterator
모든 Collection 지원
enumeration에 비해 빠르다.
hasNext(), next(), remove()
Iterator<Integer> iterator = Arrays.asList(1, 2, 3).iterator();
while (iterator.hasNext()) {
Integer number = iterator.next();
}
JUnit5에서는@BeforeAll,@AfterAll,@BeforeEach,@AfterEach로 변경되었다. @Before와 @After는 기존에 (테스트케이스 마다)라는 의미가 없어서 혼동의 여지가 있었지만, 명확하게 네이밍이 변경되었다.
assertions
Assertion을 프로그래밍 관점에서 해석하면 표명, 가정 설정문으로 할 수 있으며, 이를 통해 자신의 로직이 정확한지 테스트 해보는 것이다. Jupiter에서는 기존 버전에 존재했던 Assertion 메소드를 포함하고, 람다와 함께 사용하기 적합한 추가적인 메소드를 제공한다. 모든 Assertion은 정적 메소드로 정의되어 있다.
테스트에서 assertion종류가 많고 복잡한 경우assertAll(Executable...executables)을 이용할 수 있습니다. Executable은 파라미터와 반환값이 없는 함수형 인터페이스이기 때문에 assertAll로 그룹핑 + assertion을 람다로 작성할 수 있습니다.
Assumption은 테스트를 진행할지 안할지에 대해 테스터가 작성한 가정을 기반으로 선택된다. 즉, 설정한 가정이 참일 경우에는 테스트를 실행하고 거짓일 겅우에는 테스트는 실행하지 않는다. 이러한 Assumption은 조그마한 단위 테스트보다는 통합 테스트에 더 적절히 사용할 수 있다. Assertion과 똑같이 정적 메소드로 정의되어 있다.
@TestvoidtestOnlyOnDev(){
assumeTrue("DEV".equals(System.getenv("ENV")));
DEV 환경에서만 테스트할 코드;
}
@TestvoidtestAllEnv(){
assumeTrue("DEV".equals(System.getenv("ENV")),
() -> {
DEV 환경에서 테스트할 코드;
});
모든 환경에서 테스트할 코드;
}
Tagging And Filtering
Junit 4 에서는 @Category Annotation 을 사용하여 테스트를 그룹화 할 수 있다. Junit 5 에서는 @Category Annotation 이 @Tag Annotation 으로 대체된다.
declaration statement, assignment expression 에서 사용됨
Java 는 reference type 의 경우 주소값을 할당한다는것에 주의해야 함
화살표(->) 연산자
8 버전부터 람다 표현식(lambda expression) 이 공식적으로 적용되었음
함수형 프로그래밍(Functional programming) 표현
side-effect 발생을 최소화 하기 위함
조건
Pure function
Anonymous function
Higher-order function
Java 에서는 하나의 메소드가 선언된 인터페이스
화살표 연산자는 Java 에서 람다 표현식의 syntax 일부
(argument, ...) -> {expression}
interfaceTest{
intfunc(int a);
}
classTest2{
publicvoidfunc(Test test){
int value = test.func(3);
System.out.println(value);
}
}
classOperator{
publicstaticvoidmain(String[] args){
Test2 test2 = new Test2();
// lambda expression 사용 X 버전
test2.func(new Test() {
publicintfunc(int a){
return a + 2;
}
});
// lambda expression 사용 버전
test2.func((a) ->{
return a + 2;
});
}
}
3항 연산자
Conditional Operator
?:
구조
Conditional Expression ? Expression(true인 경우) : Expression(false 인 경우);
3항 연산자 사용 VS if-else 사용
3항 연산자: expression
if-else: statement
문법적인 의미로 보자면 3항 연산자는 expression 이므로 statement 내부 expression이 위치할 수 있는 모든 곳에서 사용 가능, expression 이므로 3항 연산자 자체를 중첩해서 사용 가능
int a = 2;
// if-else statement 사용if(a == 2){
a += 1;
}
else{
a += 2;
}
// 3항 연산 사용
a == 2 ? a += 1 : a+=2 ;
연산자 우선 순위
기본적으로 연산자에는 우선순위가 있으며, 괄호의 우선순위가 제일 높고, 산술 > 비교 > 논리 > 대입의 순서이며, 단항 > 이항 > 삼항의 순서이다. 연산자의 연산 진행방향은 왼쪽에서 오른쪽으로 수행되며, 단항 연산자와 대입 연산자의 경우에는 오른쪽에서 왼쪽으로 수행된다.
부호가 있는 자료형의 경우 1비트는 부호츨 표현하기 위해 사용하기 떄문에 1byte 의 경우 -128 ~ 127 까지 표현 가능하다.
양수는 0이 포함되기 떄문에 128이 아니다.
만약 0 ~ 255 까지 표현하고 싶다면, 부호 비트 자리도 데이터로 취급하려면 unsigned 자료형을 사용하면 된다. 음수는 표현하지 못하는 대신 양수 표현 범위가 두 배 늘어난다.
2비트로 표현 가능했던 모든 값 : 00, 01, 10, 11
자바에는 unsigned 라는 자료형은 제공하지 않고,
Integer.toUnsignedString() 메소드 등으로 제공한다.
실수형의 경우 정수형과 비교했을 떄 메모리 크기는 비슷한데 값의 표현 범위가 훨씬 넓다.
실수는 부호(sign), 가수(Mantissa), 지수(exponent) 로 구성되며 부동 소수점 방식을 사용한다.
부동 소수점 방식을 사용하여 모든 기수를 0보다 크거나 같고 1보다 작은 값 범위의 값으로 만들고 원래 수를 표현하기 위해 10을 몇번 거듭 제곱해야 하는지 지수로 표현한다.
sign: 부호를 나타내기 위해 사용하는 비트
exponent: 지수를 사용하기 위해 사용하는 비트
Mantissa: 가수를 사용하기 위해 사용하는 비트
실수 표현 예제
-118.625를 IEEE 754(32비트 단정밀도)로 표현해 보겠습니다.
우선 음수이므로 부호비트는 1이 됩니다.
부호를 뺀 절대값을 이진법으로 나타내면 1110110.101(2)이 됩니다.
소수점을 왼쪽으로 이동시켜 왼쪽에는 1만 남도록 만듭니다. 1110110.101 = 1.110110101 * 2^6 으로 만듭니다. 이것을 정규화된 부동소수점 수라고 합니다.
가수부는 소수점의 오른쪽 부분으로, 부족한 비트 수 부분만큼 0으로 채워 23비트로 만듭니다.
지수는 6이며 Bias를 더해야 합니다. 32비트 IEEE754형식에서 Bias는 127이므로 133이되고 이를 이진법으로 변환하면 10000101이 됩니다.
java에서 기본적으로 실수리터럴을 사용하면 double 형식입니다.
그렇기 때문에 float형식의 실수는 마지막에 f를 붙여 float형식의 실수라고 알려주어야 한다. 하지만 float형식은 현재사용하지 않는 것을 권장한다. 부동 소수점 형식은 정확한 실수값이 아닌 근사값을 저장하는 방식이기 때문에 32비트인 float는 오차가 생길 확률이 크다.
프리미티브 타입과레퍼런스 타입
Java Data Type
ㄴ Primitive Type
ㄴ Boolean Type(boolean)
ㄴ Numeric Type
ㄴ Integral Type
ㄴ Integer Type(short, int, long)
ㄴ Floating Point Type(float, double)
ㄴ Character Type(char)
ㄴ Reference Type
ㄴ Annotation
ㄴ Array
ㄴ String
ㄴ Class
ㄴ Enumeration
ㄴ Interface
Primitive Type
Reference Type
boolean, char, byte, short, int등 이미 정해진 유형
사용자가 무제한적으로 유형을 선언
값 저장
주소 저장
call by value
call by reference
메모리에 저장되는 값이 실제값
저장되어 있는 값은 메모리의 주소
동일한 유형의 다른 변수에 값이 복사됨
다른 참조유형에 할당되면 동일한 객체를 가리킴
메소드에 전달되면 사본만 전달됨. 메서드에서는 Primitive Type의 원본에 접근할 수 없음. 메서드는 복사된 값을 변경 가능
객체가 메소드에 전단되면 메소드는 주소값을 전달받게되어 객체의 내용을 변경할 수 있음. 객체의 주소는 변경불가
위의 값들은 JVM 의 Runtime Data Area 에 저장된다.
String name ="james"; // name 변수 와 주소값은 스택에, 실제값은 힙 영역에 생성int age = 20; // age 변수 와 값은 스택영역에 생성
Person person = new Person(name, age);
stack
Heap
name
james
age
20
person
(주소값)--------------->
Person
리터럴
리터럴은 실제값 그 자체입니다. 소스코드에서 고정된 값을 대표하는 용어이며 리터럴은변수 초기화에 사용됩니다.
Integer Literals
long 타입은 L 로 끝나거나 l 로 끝나는 값
그외 나머지 숫자는 int
16진수: 0x 로 시작
2진수: 0b 로 시작
Floating-Point Literals
float 타입은 F로 끝나거나 f 로 끝나는 값
그 외 나머지는 double (optional, D 혹은 d 로 끝나는 값)
Character and String Literals
Unicode character
special escape character
\b : 백스페이스
\t : 탭
\n : new line
\f : form feed
\r : 캐리지 리턴
\" : 쌍따옴표
\' : 따옴표
\\ : 역슬래시
변수 선언 및 초기화하는 방법
선언 - Declaration?
변수를 선언한다는 것은, 저장공간을 확보하겠다는 의미로 해석할 수 있다.
int a;
위의 코드가 변수를 선언한 것인데, 해석하자면 다음과 같다. int 타입의 값을 저장할 수 있는 공간을 확보했고(int 타입은 4byte) 그 공간을 지칭할 이름은 a 이다.
초기화 - Initialization?
변수를 초기화 한다는 것은, 저장공간에 원하는 값을 저장하는 것을 의미한다. 변수를 선언하고 나면, 해당 공간에는 아무런 의미 없는 쓰레기값이 들어가있게 된다. 그리고 그 상태에서 컴파일을 시도하면 Error:(10, 28) java: variable a might not have been initialized 와 같은 컴파일 에러코드를 볼 수 있을 것이다. 그러므로 변수는 선언 후에 초기화를 해야하며 위에 선언한 변수에 대한 초기화는 다음과 같이 할 수 있다
a = 10;
선언과 초기화
변수의 선언과 초기화를 한 줄에 하는 것도 가능하다.
int a = 10;
초기화 블록
클래스 초기화 블럭 : 클래스 변수의 복잡한 초기화에 사용된다. 클래스가 처음 로딩될 때 한번만 수행된다.
- class 로딩시에 호출된다.
- 인스턴스 변수나 인스턴스 메소드에 접근 못함.
인스턴스 초기화 블럭 : 인스턴스 변수의 복잡한 초기화에 사용된다.
- 객체 생성할때마다 호출됨.
- super 생성자 이후에 실행됨.
- 생성자 보다 먼저 실행됨.
- 모든 생성자의 공통 코드를 instance initializer block 에 넣으면 코드 줄일수 있다.
publicclassscope_and_lifetime{
int num1, num2; //Instance Variablesstaticint result; //Class Variableintadd(int a, int b){ //Local Variables
num1 = a;
num2 = b;
return a+b;
}
}
클래스 변수(스태틱 변수)
클래스 영역
클래스가 메모리에 올라갈 때
클래스 전역(클래스 기반으로 생성된 각각의 인스턴스에 공유됨)
인스턴스 변수
클래스 영역
인스턴스가 생성될 때
각각의 인스턴스
지역 변수
메소드 영역
변수 선언문이 수행되었을 때
메소드 안
각각의 변수의 라이프타임은 클래스 변수의 경우 프로그램이 종료할때까지 적용되고 인스턴스 변수의 경우는 인스턴스가 참조 되고 있을때에는 유지되다가 객체를 참조하는 변수가 없을 경우 JVM의 Garbage Collector가 제거하게 된다.
지역변수의 경우 메소드가 끝나면 소멸되어 사용할 수 없게 됩니다.
인스턴스변수는 클래스가 로딩될떄 생성되서, 스태틱 함수에서는 인스턴스 변수 사용 불가 스태틱 변수에도 인스턴스메소드 사용 불가 인스턴스변수에는 반대로 스태틱 변수 참조가능 왜냐하면 스태틱변수가 먼저 생성되기 때문이다.
타입 변환, 캐스팅 그리고 타입 프로모션
타입 변환으로 종류로는 캐스팅(강제 형변환)과 타입 프로모션이 있습니다(자동 형변환).
타입캐스팅이란 크기가 더 큰 자료형을 크기가 더 작은 자료형에 대입하는 것을 의미.
데이터가 작은데서 큰 곳으로 옮기는 타입 프로모션의 경우 오류나 문법의 필요없이 형변환이 가능하지만,
반대로 타입캐스팅은 데이터 표현범위가 작은 곳으로 옮길 경우 표현범위를 넘어나게 되면 전혀 다른 값이 나올수도 있다.
타입 캐스팅
// 큰 범위에서 작은범위로 캐스팅int a = 10;
byte b = (byte)a;
System.out.println(b); // -> 10
(byte 는 -256~255까지 표현할 수 있음으로 타입캐스팅을 했음에도 데이터 변형이나
손실은 오지 않았다)
// 작은 범위에서 큰 범위로 캐스팅 int a = 10000;
byte b = (byte)a;
System.out.println(b); // -> 16
(표현범위를 벗어나는 값을 강제로 타입캐스팅해 데이터에 변형이 생겼다)
타입 프로모션
byte a = 10;
int b = a;
System.out.println(b); // -> 10
타입변환은 레퍼런스 타입에서도 가능하다.
부모클래스로의 타입변환은 자동적으로 가능하지만 자식클래스로의 타입변환은 타입캐스팅이 필요하다.
이유는 자식클래스는 부모클래스의 필드나 메소드를 물려받음으로 자식클래스타입의 객체를 부모클래스타입으로 바꾼다고 해서 데이터의 손실이나 변형이 일어나진 않기 때문이다.
Inheritance 관계에서만 가능
Upcast : subclass → superclass
모든 subclass 는 superclass 의 컨텐츠를 가지고 있으므로 superclass 로의 casting 이 가능함
Downcast: superclass → subclass
모든 superclass 는 subclass 의 컨텐츠를 가지고 있지 않을 수도 있음, 그러므로 오류 발생 가능성 ↑