Java 6일차 공부(Promotion[자동 타입 변환], Casting[강제 타입 변환], instanceof)

: 타입변환은 타입을 다른 타입으로 변환하는 행위를 말함

1. 자동 타입 변환 (Promotion)

: 프로그램 실행도중 자동적으로 타입이 변환되는 것

 즉, 자식 변수가 부모 변수로 자동 타입 변환 되는 것(child 가 parent 의 type으로 변환)

부모 타입 변수 = 자식 타입; // 자동 타입 변환

Parent parent = new Child(); // parent class가 child type으로 생성


//-------------------------------다음과 같이도 가능------------------------------------
Child child = new Child();
Parent parent = child;

// child 와 parent 모두 동일한 child 객체 참조

 

상속 된 자식 클래스의 바로 위의 부모가 아니더라도 상위 타입이면 자동 타입 변환이 일어날 수 있다.

 

자동 타입 변환이 된 이 후, 부모 클래스에 선언된 필드와 메소드만 접근이 가능하다.

 

변수는 자식 객체를 참조하지만, 변수로 접근이 가능한 멤버는 부모 클래스로 한정

-> 자식 클래스에서 method 재정의시 자식 클래스의 메소드가 대신 호출

 

// Parent.java
public class Parent{

	int a;
    
    public void method(int b){
    	b++;
        }
}


// Child.java

public class Child extends Parent{

	int b;
    
    @Override
    public void method(int b){
    	b+=2;
        }
	public void method2(int c){
    	c+=5;
        }      
        
}

//main java class

public static void main(String[] args){
	Parent parent = new Child();
    parent.a = 1;
    parent.method(2); // child 에 override 된 것으로 b의 값은 4
    
    /*
    Parent에 있는 method, field 만 호출 가능
    parent.b = 1;
    parent.method2(3);
    */
}

 

2. 필드의 다형성

: 필드의 타입을 부모의 타입으로 선언하면 다양한 자식 객체들이 저장될 수 있기에 사용 결과가 달라질 수 있다.

 

public class Pet{
	public String petName;
	public int age = 0;

	
	public Pet(String petName){
    	this.petName = petName;
    }
        
    public void plusAge(int age){
    	this.age = age + 1;
    	System.out.println(this.age);
    }
}

//-------------------------------------------------------------------------------------
public class Cat extends Pet{
	public Cat(String petName){
    	super(petName);
    }
   
   @Override
    public void plusAge(int age){
    	this.age = age + 9;
    	System.out.println(this.age);
    }
}

//-------------------------------------------------------------------------------------
public class Dog extends Pet{
	public Dog(String petName){
    	super(petName);
    }
   
   @Override
    public void plusAge(int age){
    	this.age = age + 4;
    }
}
//-------------------------------------------------------------------------------------

public class Person {
	
	public Person() {}
	
	Pet pet1 = new Pet("코코");
	Pet pet2 = new Pet("감자");
	
}

//-------------------------------------------------------------------------------------

public static void main(String[] args){
		Person person = new Person(); // person 객체 생성
		boolean a = true;
		if(a) {
			person.pet1 = new Cat("코코"); // person 객체 내 Pet 객체, Cat을 Pet 객체 Type으로
			person.pet1.plusAge(4); // Override method
		}else {
			person.pet2 = new Dog("감자"); // person 객체 내 Pet 객체, Dog을 Pet 객체 Type으로
			person.pet2.plusAge(5); // Override method
		}
	}

 

 

3. 매개변수의 다형성

: 자동 타입 변환은 메소드 호출할 때에도 많이 발생한다. 매개 변수의 타입과 동일하게 값을 지정하기도 하지만, 자식 객체로도 지정이 가능

public class Example{

	public void method(Pet pet){
		pet.plusAge(3);}
}

 

위 method 를 호출할 때에는 다음과 같다.

 

Example example = new Example();
Pet pet = new Pet("코코");
example.method(pet);

이는 자식의 클래스인 Cat, Dog 객체를 넘겨주는것도 가능하다.

Example example = new Example();
Cat cat = new Cat("코코");
Dog dog = new Dog("도그");
example.method(cat); // Pet pet = cat;
example.method(dog); // Pet pet = dog;

즉, 매개 변수의 타입이 클래스 일 경우, 클래스의 객체 뿐만 아니라 자식 객체까지도 매개 값으로 사용이 가능하다.

 

 

4. 강제 타입 변환 (Casting)

: 부모 타입을 자식 타입으로 변환하는 것을 의미한다.

 즉, 자동 타입 변환되어 부모 타입으로 변환 된 자식을 다시 자식 타입으로 강제로 변환하는 것이다.

Pet pet = new Cat("캐츠"); // 자동 타입 변환
Cat cat = (Cat) pet; // 강제 타입 변환

/*
	자식 타입 변수 = (자식 타입) 부모 타입;
*/

 

강제 타입 변환을 하게 되면, 부모 객체에는 없고 자식 객체에는 있는 field와 method 를 사용할 수 있게 된다.

 

5. 객체 타입 확인 (instanceof 연산자)

: 자식 타입이 부모 타입으로 변환되어 있는 상태인지, 부모 타입으로 생성된 객체인지 확인할 수 있는 방법은 뭐가 있을까?

// 자식 타입이 부모 타입으로 변환 
Pet pet = new Cat("코코");

// 부모 타입으로 생성 된 객체
Pet pet = new Pet("코코");
Cat cat = (Cat) pet;

 

이를 확인할 수 있는 방법은 instanceof이다.

 

// instanceof를 사용
// true : 우항의 타입으로 객체 생성
// false : 생성 안됨
boolean result = 좌항(객체) instanceof 우항(타입)

 

public void method(Pet pet){
	if(pet instanceof Cat){
    	System.out.println("자동 타입 변환");
        Cat cat = (Cat) pet;
        // 강제 타입 변환
        } else{
        System.out.println("자동 타입 변환 아님");}
}

 

 

instanceof 연산자로 객체 타입을 확인하지 않고 그냥 강제 타입 변환을 하게 되면 자동 타입 변환이 아닐 경우 에러가 발생하게 된다.

 

즉, 에러가 발생하는 경우는

Pet pet = new Pet("코코");
Cat cat = (Cat) pet;

 

인 경우이다.

 

Casting 과 Promotion 모두 복잡하다...다형성 ,,, 앞으로 더욱더 공부 열심히 해야지,, ಥ_ಥ

 

[출처] p. 332 ~ p. 353