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

나르시

2025.10.26 04:35:29

조회 96 추천 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/11/10	-	-
AD	겨울가전 SALE! 쿨한 겨울 HOT세일	운영자	25/11/12	-	-
2900137	나는조현병이야 나는내향적이야	손발이시립디다	11.02	53	0
2900132	사람 한명 살린다 치고 한번만 도와주세요ㅠㅠ [3]	프갤러(180.71)	11.02	192	0
2900130	지듣노	루도그담당(58.239)	11.02	67	0
2900129	탈갤하겠다고 해놓고 지 욕하는지 눈팅하면서 글올라오면 신고삭	ㅇㅇ(175.223)	11.02	88	0
2900126	[대한민국] 간신배와 연애인의 관계	프갤러(121.172)	11.02	53	0
2900125	개인어플사업 무서운 가상시나리오 [11]	슈퍼막코더(126.233)	11.02	149	1
2900124	그레셤의 법칙이 더닝크루거에 선행한다 [3]	chironpractor	11.02	91	0
2900122	내가 10년전부터 말한게 전세계사람들이 공감하기시작함 [1]	타이밍뒷.통수한방(1.213)	11.02	86	0
2900121	프갤에 새싹이 있긴 한가? [6]	ㅇㅇ	11.02	119	0
2900117	병원 ㅈㄱㄱㄴㅈ [2]	넥도리아(118.235)	11.02	73	0
2900116	디비 사용법도 익혔고 이제 회원가입 만들어야겠다. [1]	프갤러(223.56)	11.02	82	0
2900113	소나무도 가을이면 잎을 떨구는군..ㅇㅅㅇ [2]	헤르 미온느	11.02	85	0
2900112	태연 ㅇㅅㅇ [1]	헤르 미온느	11.02	76	0
2900111	하루 한 번 헤르미온느 찬양	헤르 미온느	11.02	58	0
2900110	쓸데없는거 가지고 싸울 시간에 러스트나 배워라	프갤러(110.8)	11.02	76	0
2900080	ocr 왜씀? [10]	ㅇㅇ(49.165)	11.02	148	0
2900055	더이상의 싸움은 무의미하다 [1]	헬마스터	11.02	107	1
2900053	아 그런데 갈땐 가더라도 이 말만은 꼭 하고싶다 [49]	ㅇㅇ(124.48)	11.02	215	5
2900047	애들아 싸우지말고 자자 [6]	루도그담당(58.239)	11.02	103	0
2900045	오늘부터 나도 ai엔지니어 할란다 [89]	ㅇㅇ(124.48)	11.02	246	0
2900043	yolo << 솔직히 개편하긴 함 [2]	루도그담당(58.239)	11.02	114	0
2900038	근데 가끔 학생들 가르치다 보면 [4]	루도그담당(58.239)	11.02	116	0
2900036	아니 근데 이럴땐 줘패고 싶음 [3]	루도그담당(58.239)	11.02	100	0
2900035	내가 모기년에게 제일 실망했던 건 이거임 [133]	에이도비	11.02	246	0
2900033	저새낀 걍 이제부터 내가 무시해야겠다 [2]	ㅇㅇ(124.48)	11.02	126	0
2900030	백남준 이새끼 좇나 씹거품인 개좇쓰레기새끼임	타이밍뒷.통수한방(1.213)	11.02	87	0
2900025	이런게 존나 개빡친다는거야 [4]	ㅇㅇ(124.48)	11.02	220	5
2900013	재능이 없어서 문제다 [2]	ㅇㅇ(122.199)	11.01	119	0
2900011	러스트 좀 빡세네 [2]	프갤러(110.8)	11.01	116	0
2900009	취업실패하고 공장갑니다.. [3]	ㅇㅇ(1.241)	11.01	189	0
2900008	승자가 결국 역사를 쓴다는 점 때문에 [2]	chironpractor	11.01	109	0
2900005	피에로공 아직도 여기있음메? [3]	카드캡터체리	11.01	89	0
2900002	아이큐 높은 사람보면 부럽긴 함 [2]	루도그담당(58.239)	11.01	134	0
2900001	미국은 내정간섭은 피하려 한다는 느낌은 듦	chironpractor	11.01	91	1
2899996	지듣노 [4]	루도그담당(58.239)	11.01	108	0
2899992	내가 봤을땐 걍 저 친구가 [15]	루도그담당(58.239)	11.01	183	0
2899991	중국에 대한 인식은 홍콩에서도 드러나는데 [5]	chironpractor	11.01	109	0
2899988	Mac 스크린 타임 앱 만들어봄 [17]	프갤러(115.138)	11.01	580	23
2899985	걍 싸우지들 마라 [1]	루도그담당(58.239)	11.01	134	0
2899981	[대한민국] 캄보디아 사건에 대한 짧은 글	프갤러(121.172)	11.01	74	0
2899975	124.48 얘 다중이 맞잖아 [1]	루도그담당(58.239)	11.01	97	0
2899974	[대한민국] 노상원 재판 중계 간략	프갤러(121.172)	11.01	63	0
2899971	크몽 ㄹㅇ 좆병신 플랫폼임 [4]	프갤러(175.116)	11.01	120	0
2899945	글삭튀 하는거 걸리면 쪽팔리니까 셀프신고 주작기로 알바삭 ㅋㅋ [1]	ㅇㅇ(140.248)	11.01	99	3
2899943	ㅆㅇㅅ 롤갤도하노 [1]	프갤러(223.38)	11.01	92	0
2899942	버거킹을 포기하고 집에 일찍 와서 라면 끓이고 있다. [1]	프갤러(110.8)	11.01	90	0
2899937	vscode extension 하나 개발햇어 [1]	규규(210.100)	11.01	99	0
2899936	뭔 프로그래밍이냐 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ	ㅇㅇ(160.238)	11.01	77	0
2899935	나는 파이썬 빠는 것들은 이해가 안가. [12]	프갤러(211.234)	11.01	160	0
2899934	[애니뉴스] Research 항목 추가	프갤러(121.172)	11.01	117	0