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

나르시

2025.10.26 04:35:29

조회 69 추천 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 키를 동시에 누르면 줄바꿈이 됩니다.

갤러리 리스트
번호	제목	글쓴이	작성일	조회	추천
설문	영포티룩도 멋지게 소화할 것 같은 40대 스타는?	운영자	25/10/27	-	-
AD	저녁 뭐먹지? 오늘의 메뉴 추천!	운영자	25/10/31	-	-
2898957	냥냥⭐+	♥벼락부자냥덩♥	10.27	43	0
2898950	세상. 그리고 나.	프갤러(110.8)	10.27	42	0
2898947	저장용 [2]	♥벼락부자냥덩♥	10.27	57	0
2898946	나님 월 마일리지 100 근접 ㅇㅅㅇ [1]	♥벼락부자냥덩♥	10.27	70	0
2898945	기술면접 과제가 내가 전혀 써본 적 없는 언어로 나오네 ㅋㅋ [1]	ㅇㅇ	10.27	78	0
2898944	이제 사람 좀 빠지네. 호흡에 집중할 수 있겠어 [1]	프갤러(27.171)	10.27	67	0
2898942	부천역 bj들 내쫒는 분위기네	프갤러(211.210)	10.27	61	0
2898941	❤✨☀⭐⚡☘⛩나님 시작합니당⛩☘⚡⭐☀✨❤ [2]	♥벼락부자냥덩♥	10.27	45	0
2898939	호흡속에서 질소와 산소와 이산화탄소를 느낀다. [2]	프갤러(27.175)	10.27	61	1
2898938	스쿼트다. 근육의 힘을 키워 지하철 가속도를 버텨낸다.	프갤러(27.175)	10.27	37	0
2898936	내가 항상 자신감이 있는 이유 [2]	ㅆㅇㅆ(124.216)	10.27	101	0
2898935	지하철 앉아도 자리가 좁으면 피곤하네 [5]	프갤러(42.25)	10.27	76	0
2898934	지하철에서도 최대한 명상으로 뇌 에너지 보충해야한다. [1]	프갤러(42.25)	10.27	63	0
2898933	회사에서 틈틈히 휴식을 취해야한다. [2]	프갤러(42.25)	10.27	73	0
2898932	현업자라고 다 잘할거라고 생각하면 오산입니다 [3]	루도그담당(58.239)	10.27	93	0
2898931	나 학생 포폴 MVC랑 자바 백엔드 만들어줄 수 있음	ㅆㅇㅆ(124.216)	10.27	59	0
2898930	내가 코딩하면서 밥 벌어먹을 걱정이 없다고 딱 느낀게 얼마전에 [2]	ㅆㅇㅆ(124.216)	10.27	96	0
2898928	ㅆㅇㅆ또 까불길래 다 신고 넣고옴	ㅇㅇ(118.235)	10.27	71	5
2898927	요즘도 학점 중요하냐? [2]	루도그담당(58.239)	10.27	82	0
2898926	객관적으로보면 망한인생인데 왜 난 자신감이 있을까 [7]	ㅆㅇㅆ(124.216)	10.27	111	0
2898925	Gpt랑 섹스하면 [3]	따당	10.27	102	2
2898924	나님 탈갤합니당.. [5]	♥벼락부자냥덩♥	10.27	79	0
2898921	4년차 개발자 이직하는거 잘하는걸까? [4]	프갤러(106.102)	10.27	100	0
2898919	유람선에 세금 낭비한 오세훈 잡아다 배 째서 장기 팔아야된다. [4]	프갤러(218.154)	10.27	81	1
2898917	책을 잃어버렸는데 아무리 찾아도 안 보입니다.	넥도리아(119.195)	10.27	44	0
2898915	현재 고등학생입니다 도와주세요 [7]	프갤러(211.200)	10.27	98	0
2898911	코테 이런건 결과가 늦게 나올 이유가 있음? [4]	ㅇㅇ(106.101)	10.27	81	0
2898910	우리나라 국사교과서는 이영훈 교수님이 감수해야함 [9]	chironpractor	10.27	87	1
2898908	아래 초보가 바이브 코딩하기 어렵다는 애야 답변해줌 [4]	ㅆㅇㅆ(124.216)	10.27	123	0
2898906	형들 ㅡㅡ.. ai 종류에 대해 질문...있습니다 개초보입니당.. [7]	프갤러(106.241)	10.27	82	0
2898903	채터BBS 웹터미널 드뎌등장	파란빤스	10.27	57	0
2898902	그림 그려봤는데 어떰? [1]	ㅁㅁ	10.27	72	0
2898901	고졸일수록 개발자 목숨걸어야되는 이유	ㅇㅇ	10.27	87	0
2898899	국장 오르는 이유는 간단한데 [1]	ㅇㅇ	10.27	96	0
2898893	Ai가 개발 해주면 좋지	ㅆㅇㅆ(124.216)	10.27	62	0
2898892	AI로 개발은 점점쉬워지고 뜌따이들도 조만간 중급만큼 개발하게될걸? [4]	프갤러(14.51)	10.27	91	0
2898890	나 메인 드라이브 SSD 256gb인데 턱없다 진짜 [12]	ㅆㅇㅆ(124.216)	10.27	75	0
2898889	스토커 유동의 줄기찬 신고로 아이피 정지먹어서 귀찮게 수동으로 바꾸고옴 [1]	ㅆㅇㅆ(124.216)	10.27	85	0
2898888	나님 끙야 느김;; [2]	♥벼락부자냥덩♥	10.27	53	0
2898885	병걸렸다는 기사에 모든댓글이 다 선플 [7]	헬마스터	10.27	97	0
2898880	과제인데 너무 어려워서 대강 방향성만 잡도록 도와주시면 감사하겠습니다.. [13]	PpPpPp	10.27	97	0
2898878	[대한민국] 돈에 환장해 나라를 팔고 있는 정치권	프갤러(121.172)	10.27	50	0
2898873	유람선에 눈깔 뒤집혀서 지하철 증차 안한 오세훈 대가리를 잘라 [1]	프갤러(218.154)	10.27	96	0
2898870	이런 도시락 어때보임? [3]	ㅁㅁ	10.27	99	0
2898869	11일날 했던 한국의 미국 vs 중국 편입 투표 결과 공개 [3]	chironpractor	10.27	87	0
2898868	내가 신호줬을 때 미국 주식 산 프붕이들 재미 보고 있재? [2]	chironpractor	10.27	64	0
2898867	G마켓 크롤링 막혔네..	프갤러(124.194)	10.27	80	0
2898866	멘헤라환영 헛소리환영 본방에도 분탕 어느정도환영	파란빤스	10.27	53	0
2898865	개피궁 졸리넹;; 제대로 잠 못잔듯;; [2]	♥벼락부자냥덩♥	10.27	79	0
2898864	자기전에 요플레를 떠먹으며 추억 한꼭지..ㅇㅅㅇ [1]	헤르 미온느	10.27	72	0