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

나르시

2025.10.26 04:35:29

조회 56 추천 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/23	-	-
2898930	내가 코딩하면서 밥 벌어먹을 걱정이 없다고 딱 느낀게 얼마전에 [2]	ㅆㅇㅆ(124.216)	10.27	81	0
2898928	ㅆㅇㅆ또 까불길래 다 신고 넣고옴	ㅇㅇ(118.235)	10.27	53	4
2898927	요즘도 학점 중요하냐? [2]	루도그담당(58.239)	10.27	64	0
2898926	객관적으로보면 망한인생인데 왜 난 자신감이 있을까 [7]	ㅆㅇㅆ(124.216)	10.27	94	0
2898925	Gpt랑 섹스하면 [3]	따당	10.27	85	2
2898924	나님 탈갤합니당.. [5]	♥벼락부자냥덩♥	10.27	59	0
2898921	4년차 개발자 이직하는거 잘하는걸까? [4]	프갤러(106.102)	10.27	76	0
2898919	유람선에 세금 낭비한 오세훈 잡아다 배 째서 장기 팔아야된다. [4]	프갤러(218.154)	10.27	61	1
2898917	책을 잃어버렸는데 아무리 찾아도 안 보입니다.	넥도리아(119.195)	10.27	27	0
2898915	현재 고등학생입니다 도와주세요 [7]	프갤러(211.200)	10.27	85	0
2898911	코테 이런건 결과가 늦게 나올 이유가 있음? [4]	ㅇㅇ(106.101)	10.27	64	0
2898910	우리나라 국사교과서는 이영훈 교수님이 감수해야함 [9]	chironpractor	10.27	66	1
2898908	아래 초보가 바이브 코딩하기 어렵다는 애야 답변해줌 [4]	ㅆㅇㅆ(124.216)	10.27	101	0
2898906	형들 ㅡㅡ.. ai 종류에 대해 질문...있습니다 개초보입니당.. [7]	프갤러(106.241)	10.27	61	0
2898903	채터BBS 웹터미널 드뎌등장	파란빤스	10.27	44	0
2898902	그림 그려봤는데 어떰? [1]	ㅁㅁ	10.27	59	0
2898901	고졸일수록 개발자 목숨걸어야되는 이유	ㅇㅇ	10.27	64	0
2898899	국장 오르는 이유는 간단한데 [1]	ㅇㅇ	10.27	70	0
2898893	Ai가 개발 해주면 좋지	ㅆㅇㅆ(124.216)	10.27	50	0
2898892	AI로 개발은 점점쉬워지고 뜌따이들도 조만간 중급만큼 개발하게될걸? [4]	프갤러(14.51)	10.27	68	0
2898890	나 메인 드라이브 SSD 256gb인데 턱없다 진짜 [12]	ㅆㅇㅆ(124.216)	10.27	59	0
2898889	스토커 유동의 줄기찬 신고로 아이피 정지먹어서 귀찮게 수동으로 바꾸고옴 [1]	ㅆㅇㅆ(124.216)	10.27	68	0
2898888	나님 끙야 느김;; [2]	♥벼락부자냥덩♥	10.27	44	0
2898885	병걸렸다는 기사에 모든댓글이 다 선플 [7]	헬마스터	10.27	77	0
2898880	과제인데 너무 어려워서 대강 방향성만 잡도록 도와주시면 감사하겠습니다.. [13]	PpPpPp	10.27	80	0
2898878	[대한민국] 돈에 환장해 나라를 팔고 있는 정치권	프갤러(121.172)	10.27	37	0
2898873	유람선에 눈깔 뒤집혀서 지하철 증차 안한 오세훈 대가리를 잘라 [1]	프갤러(218.154)	10.27	74	0
2898870	이런 도시락 어때보임? [3]	ㅁㅁ	10.27	82	0
2898869	11일날 했던 한국의 미국 vs 중국 편입 투표 결과 공개 [3]	chironpractor	10.27	69	0
2898868	내가 신호줬을 때 미국 주식 산 프붕이들 재미 보고 있재? [2]	chironpractor	10.27	47	0
2898867	G마켓 크롤링 막혔네..	프갤러(124.194)	10.27	59	0
2898866	멘헤라환영 헛소리환영 본방에도 분탕 어느정도환영	파란빤스	10.27	42	0
2898865	개피궁 졸리넹;; 제대로 잠 못잔듯;; [2]	♥벼락부자냥덩♥	10.27	64	0
2898864	자기전에 요플레를 떠먹으며 추억 한꼭지..ㅇㅅㅇ [1]	헤르 미온느	10.27	58	0
2898863	개새훈 좆씨발버러지 새끼 [1]	프갤러(218.154)	10.27	77	1
2898862	오늘도 똥싸면서 돈 버는 중 [1]	프갤러(218.154)	10.27	69	0
2898861	BBS 패치내역	파란빤스	10.27	41	0
2898860	자러간당..ㅇㅅㅇ [1]	헤르 미온느	10.27	49	0
2898859	근데 외주는 왜 이래 도박이랑 토토 관련이 너무 많냐 [5]	ㅆㅇㅆ(124.216)	10.27	90	0
2898857	❤✨☀⭐⚡☘⛩나님 시작합니당⛩☘⚡⭐☀✨❤	♥벼락부자냥덩♥	10.27	49	0
2898856	리액트는 문법이 좃같지 않나요? [3]	루도그담당(118.235)	10.27	104	0
2898855	야 근데 이거 국비 교과과정 보는데 엄청난데 [4]	ㅆㅇㅆ(124.216)	10.27	134	0
2898854	원종이는 결과라도 보여줬는데 ㅋㅋ	ㅇㅇ(110.70)	10.27	69	3
2898852	국비 커리 어떄? [7]	프갤러(118.32)	10.27	118	0
2898851	민주당은 부동산투기 정당인가 국민분노 폭팔	♥벼락부자냥덩♥	10.27	56	0
2898850	BBS GC붙엿더니 계속죽는중 [5]	파란빤스	10.27	57	0
2898849	근데 암만 이야기해도 결국 결과로 보여주는게 맞긴함 [1]	ㅆㅇㅆ(124.216)	10.27	83	0
2898848	이재명 정권인사들 갭투자로 부동산투기하고 국민들은 가만히있으라 [2]	♥벼락부자냥덩♥	10.27	60	0
2898847	여기가 어디게? ㅇㅅㅇ [5]	헤르 미온느	10.27	58	0
2898845	태연 ㅇㅅㅇ [3]	헤르 미온느	10.27	49	0