pa 포인터가 하위클래스 객체의 값을 제대로 출력할 수 있는 원리가 궁금합니다.

#include <iostream>
using namespace std;
 
class Parent {
public:
	int num;
	Parent():num(0) {}
	Parent(int  _num):num(_num) {} 
	virtual int get() {
		cout<<"get in Parent"<<endl;
		return num;
	}
	virtual int set(int _num) {
		num=_num;
	}
};
 
class Child:public Parent {
public:
	int length;
	Child():length(0) {}
	Child(int _length):length(_length) {}
	virtual int get() {
		cout<<"get in Child"<<endl;
		return length;
	}
	virtual int set(int _length) {
		length=_length;
	} 
 
};
 
void f(Parent* pa,unsigned int length) {
	for(unsigned int i=0;i<length;i++) {
		cout<<pa[i].get()<<endl;//이 부분을 제대로 이해해야 함.  get() 함수가 가상함수인 것을 알고 동적타입의 단위로 pa가 가리키는 대상
		//체를 나눈다.  그리고 동적결합에 의해 Child의 get() 함수를 호출한다.  
		//이 설명이 맞나요?
                //cout<<pa[i].length<<endl;
                //위 주석 코드는 오류를 유발합니다.  그런데 get함수 앞에 언급한 pa[i]는 오류를 유발하지 않습니다.  
                   //그 이유가 궁금합니다.
	}
 
 
}
 
int main() {
	Child child1(5);//여기서 컴파일이 컴파일하면서 객체의 제일 앞 vptr(클래스에 직접 선언하지는 않았지만)
	//에 가상함수 목록인 vtable의 주소가 저장된다.
	f(&child1,1);
 
	Child child2[3]={Child(7), Child(9), Child(10)};
	f(&child2,3);
 
	return 0;
}