·JAVA
[참조변수타입] [참조변수명] = new [생성할 객체의 생성자]; 틀에서 Parent t = new Parent(); 처럼 참조변수의 타입과 참조하는 인스턴스의 타입이 일치할수도 있지만, Parent t = new Child(); 와 같이 다를 수도 있다. 참조변수의 타입과 인스턴스의 타입이 다를 때, 참조변수의 타입은 인스턴스 타입의 조상이어야 한다. 자손타입의 참조변수가 조상타입의 인스턴스를 참조할 수 없다는 것과 같다. 클래스는 상속관계를 이어나가면서 확대되고 구체화되는데, 이 과정에서 멤버의 개수는 늘어난다. 참조변수의 타입이 자손이고 인스턴스 타입이 조상일 때, 인스턴스(조상)에 존재하지않는 멤버를 사용하고자 할 수 있으므로 허용하지 않는 것이다. 즉, (참조변수가 다룰 수 있는 멤버의 수)
