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

나르시

2025.10.26 04:35:29

조회 114 추천 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/01	-	-
AD	루틴 ON! 운동 찐템! 지금 할인 중	운영자	25/11/27	-	-
2902930	미국을 뒤흔드는 도박, 성산업, 마약	발명도둑잡기(118.216)	11.17	60	0
2902924	주작기 사고싶은데 어디서 구함? [1]	ㅇㅇ(118.235)	11.17	111	0
2902918	아 이제 이해했다. 요즘 왜 백엔드에 파이썬을 쓰는지. [2]	프갤러(110.8)	11.17	180	1
2902914	근데 모던 cpp는 실패할 수밖에 없어 [11]	프갤러(110.8)	11.17	189	1
2902907	나도 현역땐 왜 기업들이 모던 C++의 가치를 안알아주지? 억울해했는데 [6]	chironpractor	11.17	182	0
2902901	나도 이제 새 직장 구해야해서 잡코리아 쭉 보는데 [20]	프갤러(110.8)	11.17	232	0
2902897	불가능한거 할수있냐고하는데 [10]	ㅇㅇ(219.248)	11.16	142	0
2902893	여자한테 인기 많은 남자 특징	발명도둑잡기(118.216)	11.16	195	0
2902892	C랑 CPP도 이제 정복되나? [1]	ㅇㅇ(125.251)	11.16	157	0
2902890	법과 기관의 도움을 받는 걸 꺼리면 안돼 [3]	에이도비	11.16	132	1
2902879	전자공, 컴공, 솦웨학과 각 학과 차이점이 뭐냐? [1]	ㅇㅇ(125.251)	11.16	113	0
2902878	한국 한국은행과 기타 상업은행의 신용창출 액수 비교	발명도둑잡기(118.216)	11.16	88	0
2902875	이기적인 사람 중간, 이타적인 사람 비율 [1]	발명도둑잡기(118.216)	11.16	151	0
2902872	오래간만에 왔는데 ㅆㅇㅆ 어디감? [3]	프갤러(183.101)	11.16	144	0
2902870	ai로 코딩하니까 큰일이네	프갤러(125.131)	11.16	110	0
2902867	가난의 근본적인 해결법 당사자와 사회의 책임 다 [2]	발명도둑잡기(118.216)	11.16	198	0
2902866	가난으로 불안하고 무서워하는 사람을 위로하는 태도 전문적으로	발명도둑잡기(118.216)	11.16	67	0
2902864	토끼가	발명도둑잡기(118.216)	11.16	45	0
2902862	코인 패닉장인데 돈을벌고있어요 ㅇㅅㅇ [1]	hiya	11.16	138	1
2902859	경제 불황 시기에 인기 더 높아지는 노래, 영상 특징	발명도둑잡기(118.216)	11.16	147	0
2902856	님들 html 첨 배웠는데 [6]	2D전도사	11.16	134	0
2902855	광해 영화도 지금 다시 보니까 [1]	프갤러(211.210)	11.16	92	0
2902854	홈페이지 제작만 외주로 하고 [3]	프갤러(211.234)	11.16	161	0
2902853	일하기 싫다	ㅇㅇ(14.5)	11.16	68	0
2902852	kitty냥덩 발명도둑잡기 갤에서 꺼졌으면 [1]	박민준	11.16	106	2
2902848	'홍장원 메모 거짓말'이라던 조태용 구속…"사필귀정"	발명도둑잡기(118.216)	11.16	104	0
2902842	오예 내일은 월요일	cvs.	11.16	72	0
2902836	저그 경상도 창원 땅에 원님이 있었는디~	발명도둑잡기(118.216)	11.16	57	0
2902835	러스트로 백준 풀어보는데 1+1만 해도 재밌네 [1]	프갤러(221.149)	11.16	111	0
2902834	홍민-웨딩 드레스	발명도둑잡기(118.216)	11.16	66	0
2902831	와따시는 결국 권고사직 받아냄 [8]	프갤러(221.149)	11.16	155	0
2902830	나중에 다시 보려고 글 저장해둠 비망록 [13]	chironpractor	11.16	141	0
2902829	내일 회사에 퇴사통보하러 간다 [29]	프갤러(222.96)	11.16	247	0
2902828	디시 자동글쓰기 + 자동댓글 얼마에 구할 수 있나요? [9]	프갤러(218.148)	11.16	105	0
2902822	오세훈 근황	발명도둑잡기(118.216)	11.16	74	0
2902818	moddle로 코딩 개발 교육도 추가할 것 ㅋㅋ	나르시	11.16	60	0
2902817	moodle로 텝스 학습 사이트를 만들까 한다 ㅎㅎ [2]	나르시	11.16	65	0
2902815	[대한민국] 위기의 대한민국 브리핑 - 군과 국민인식과 뉴스 사이	프갤러(121.172)	11.16	89	1
2902813	알고리즘 트레이딩 본격 가동중	hiya	11.16	119	0
2902812	부품용 폰들 부품들 각각 파손되었어도 조립중입니다. 최대한.	넥도리아(220.74)	11.16	79	0
2902811	오드로이드 M1 구매후기 [6]	에이도비	11.16	158	3
2902810	다음달 부터 회사가 지옥 시작인데 하루하루가.. [6]	ㅇㅇ(223.39)	11.16	122	0
2902805	트럼프 탈러패권 관세협상 국제 정세	발명도둑잡기(118.216)	11.16	70	0
2902804	더닝크루거식 해석	발명도둑잡기(118.216)	11.16	98	0
2902802	그레셤의 법칙이 더닝크루거에 선행한다 [7]	chironpractor	11.16	129	0
2902797	내일배움훈련과정에 러스트 추가해야. [2]	프갤러(223.63)	11.16	121	0
2902791	윈도우 해킹 너무 재밌다 [5]	루도그담당(58.239)	11.16	143	0
2902790	거의 풀바이브코딩으로 만든 사이트 [9]	코로모	11.16	312	1
2902788	웹뷰기반 React Native IOS 가능하신분..? [15]	프갤러(180.233)	11.16	189	0
2902787	내일배움 훈련과정에서 js 기초 온라인강의 아무거나 들으려했는데... [2]	2D전도사	11.16	99	0