[프로그래밍 언어론] 7. 자료형

자료형

• 정의된 객체 집합 + 연산 (생성, 작성, 소멸, 수정, 분해)

7.1 자료형과 선언

변수, 자료형 선언

• 정적 자료형 검사
• 명세부를 구현부와 분리 -> 추상 자료형
• 프로그램 신뢰성, 판독성 증가

쟁점 사항

• 바인딩 시점 : 번역시간 or 실행시간
• 강자료형 : 연산이 수행되기 전에 명시적인 형 변환을 요구 (Ada 같은거)

7.x

• 단순형
• 열거형 : pascal이 진심
• 배열 : 보통은 행우선. / 포트란은 열우선
• 연상 배열
• 레코드
• 포인터 자료형 : 자바는 포인터 대신 클래스 인스턴스 참조 이명 : 다수의 포인터가 동일 객체 지시 garbage : 포인트되지 않은 객체 존재 허상 참조 : 빈 값(장소)을 가리키고 있는거
• 자료형 변환 축소변환은 무조건 명시를 해줘야한다.
• 자료형 동치 이름 동치 / 구조 동치 / 선언 동치