Ada 프로그래밍: 4.1.3 강타입 시스템 (strong typing)

나르시

2025.10.26 04:35:29

조회 121 추천 0 댓글 0

4.1.3 강타입 시스템 (strong typing)

Ada 언어는 강타입 시스템(strong typing)을 채택하고 있습니다. 이는 언어의 타입 규칙이 프로그램 실행 전에, 즉 컴파일 시점에서 엄격하게 적용됨을 의미합니다.

강타입 시스템에서는 서로 다른 타입의 값들이 논리적으로 호환되지 않는 한 암시적으로(implicitly) 혼용될 수 없습니다. 예를 들어, Integer 타입의 객체와 Float 타입의 객체는 + 연산자로 직접 더할 수 없습니다.

이러한 규칙은 동일한 부모 타입에서 파생된 타입들에도 동일하게 적용됩니다. 예를 들어,

type T1 is new Integer;
type T2 is new Integer;

와 같이 선언된 두 타입은 모두 Integer를 기반으로 하지만, Ada 컴파일러는 이를 서로 구별되는(distinct) 타입으로 간주합니다. 따라서 T1타입 변수에 T2 타입 변수의 값을 직접 할당하는 것은 허용되지 않습니다.

이처럼 Ada의 엄격한 타입 검사는 타입 불일치로 인해 발생할 수 있는 잠재적인 데이터 손상이나 논리적 오류를 실행 시점(run-time)이 아닌 컴파일 시점(compile-time)에 미리 발견하도록 합니다.

만약 프로그래머가 서로 다른 타입 간의 연산이나 할당을 수행해야 한다면, 반드시 명시적인 타입 변환(explicit type conversion) 구문을 사용해야 합니다. 이러한 타입 변환의 구체적인 규칙은 본 장의 4.8절에서 자세히 다룹니다.^?

고정닉 0

전체 댓글 0개

등록순 최신순 답글순

본문 보기

타인의 권리를 침해하거나 명예를 훼손하는 댓글은 운영원칙 및 관련 법률에 제재를 받을 수 있습니다.
Shift+Enter 키를 동시에 누르면 줄바꿈이 됩니다.

갤러리 리스트
번호	제목	글쓴이	작성일	조회	추천
설문	연말 모임 가는 곳마다 가장 인싸일 것 같은 스타는?	운영자	25/12/08	-	-
이슈	[디시人터뷰] 솔직함을 리뷰하는 유튜버, 흑백리뷰	운영자	25/12/09	-	-
AD	AI 가전 디지털 모음전	운영자	25/11/27	-	-
2899514	대학원 자퇴하고 싸피나 오토에버 임베디드 가는거 어케 생각? [8]	프갤러(117.111)	10.30	338	0
2899513	[두산로보틱스] 로키부트캠프 AI·로봇 엔지니어 양성과정 7기 모집 (~	프갤러(14.32)	10.30	199	0
2899512	와 ㅋㅋ [5]	에이도비	10.30	207	0
2899511	간혹 희안한 사상을 가진 애들이 있네 [9]	루도그담당(211.184)	10.30	231	0
2899509	자라 ㅇㅅㅇ [1]	헤르 미온느	10.30	140	0
2899508	근데 이재용도 이재명 빨다가 [1]	프갤러(175.212)	10.30	251	0
2899507	이제 우라나라도 핵잠 보유하는거냐? [2]	루도그담당(118.235)	10.30	144	0
2899506	아버지 수술하셔서 스트레스 받는데 아하 까지 날 건드려서 짜증남.	넥도리아2025(14.35)	10.30	121	0
2899505	침대 뭐삼 병원에서 쓰는 침대 에이스는 너무 비싸고,	넥도리아2025(14.35)	10.30	125	0
2899504	또 하나의 원종이가 각성했다기 보다	프갤러(175.208)	10.30	179	0
2899503	공원 ㅇㅅㅇ [1]	헤르 미온느	10.30	165	0
2899501	ㅈ됐다 또 하나의 원종이가 각성했다	프갤러(39.7)	10.30	147	0
2899500	태연 ㅇㅅㅇ	헤르 미온느	10.30	135	0
2899499	하루 한 번 헤르미온느 찬양	헤르 미온느	10.30	151	0
2899497	이런 회사도 있네	ㅇㅇ(106.101)	10.30	150	0
2899496	사실 ㅆㅇㅆ가 지금 행복한 이유도 [1]	프갤러(175.212)	10.30	204	5
2899495	ㅇ하 하지 마라 가비지컬렉터다. 사람 어이가 없어서, 아픈것도 애기 못해	넥도리아2025(14.35)	10.30	133	0
2899493	아베 총격범 오늘 첫 공판…방청객 700명 넘게 줄서	넥도리아2025(14.35)	10.30	122	0
2899491	요미코 알만한 사람은 다 탈갤했겠지? [3]	ㅇㅇ	10.30	159	0
2899490	나는조현병이야 나는내향적이야 [1]	손발이시립디다	10.30	140	0
2899488	ㅆㅇㅆ야 행복할 수 있을 때 많이 행복해둬라 [2]	ㅇㅇ(51.195)	10.30	212	3
2899479	늘 생각하지만 당장 애니메이션 구현 하나 하는것도 며칠씩 걸리고	ㅆㅇㅆ(124.216)	10.30	122	0
2899464	님들 저 잘건데 응원 부탁드립니다 [5]	공기역학	10.30	130	0
2899460	리눅스 설치하면 기존 파일들 날아감? [1]	프갤러(79.110)	10.30	159	0
2899454	내가 코딩 유튜버를 안믿는 이유 [5]	ㅆㅇㅆ(124.216)	10.29	220	1
2899448	이번에 PHP로 된 게시판 마이그레이션 150만에 옴 [16]	ㅆㅇㅆ(124.216)	10.29	225	0
2899446	그리고 개발문서만 본다고 전문가 되는거 아니다 [1]	ㅇㅇ(106.101)	10.29	185	1
2899445	인생은 왜 이리 매일매일 배울게많고 즐거울까 [2]	ㅆㅇㅆ(124.216)	10.29	145	0
2899444	ㅆㅇㅆ야 고생 많았따	ㅇㅇ(124.48)	10.29	166	3
2899442	좆됐다. 우주 팽창속도 감소중. [1]	프갤러(110.8)	10.29	201	0
2899441	법왜곡죄	chironpractor	10.29	143	0
2899440	오늘 2시간 동안 떠들고 4만원 받음. [2]	ㅆㅇㅆ(124.216)	10.29	167	0
2899437	지피티 코드 던져주길래 이거 안돌아갈거라니까 뭔 지랄을 하는지	ㅆㅇㅆ(124.216)	10.29	138	0
2899432	갑자기 앱 2개를 다음주 말까지 만들라함. [6]	프갤러(211.234)	10.29	219	0
2899419	금값이 다시 살살 올라가네	chironpractor	10.29	126	0
2899418	웹브라우저 tts 결국 운영체제 따라가는건가 보네 [1]	프갤러(110.8)	10.29	171	0
2899407	무안공항은 왜 추모 안함? [9]	chironpractor	10.29	232	0
2899399	오 대박이네. 웹 브라우저에 tts 내장되어 있네	프갤러(27.170)	10.29	101	0
2899389	요새 불법충들 트렌드가 [3]	프갤러(121.185)	10.29	183	1
2899388	예전에 위키 프로젝트인가 그거 만든다던 사람 있던거 같은데 어케 됬음? [4]	프갤러(121.185)	10.29	144	0
2899386	트럼프 "부정선거는 개소리. 이재명은 훌륭한분"	야옹아저씨	10.29	180	0
2899385	마트에서 생굴 사왔음 오늘 저녁은 굴이다 [2]	chironpractor	10.29	155	0
2899382	나한테 파이썬 배워두라고 알려줬던 연구실 동료였던 나딤(파키스탄인)	ㅆㅇㅆ(124.216)	10.29	164	0
2899381	아버지 수술 끝나서 한 5시간 하셔서... [2]	넥도리아(119.195)	10.29	149	0
2899380	근데 파이썬이 다양성을 포용안하면 그것도 이상한게	ㅆㅇㅆ(124.216)	10.29	111	0
2899379	이번 트럼프정부 파이썬 150만달러 이야기 봤냐 너네? [5]	ㅆㅇㅆ(124.216)	10.29	217	0
2899378	중국기사보는데 타입스크립트 배워두길 잘했더라 [2]	ㅆㅇㅆ(124.216)	10.29	223	0
2899377	근데 중국쪽 정보 보는 애들은 느끼지만 중국이 흐름따라가기 존나 편함 [3]	ㅆㅇㅆ(124.216)	10.29	186	0
2899375	코드 납품하다보면 신기한게 분명히 다 같이 지피티 쓰잖아? [6]	ㅆㅇㅆ(124.216)	10.29	237	0
2899374	장사하는데 손년놈들 중에 좆문가가 너무 많다 [9]	chironpractor	10.29	184	0