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

나르시

2025.10.26 04:35:29

조회 82 추천 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/03	-	-
AD	저녁 뭐먹지? 오늘의 메뉴 추천!	운영자	25/10/31	-	-
2898625	그레셤의 법칙이 더닝 크루거에 선행함 [3]	chironpractor	10.26	88	0
2898624	ㅆㅇㅆ는 왜 고닉 안먹었음? ㅇㅇ? [2]	ㅆㅇㅆ	10.26	112	0
2898623	아니 그런데 진짜 궁금하네 타로사이트에 rag는 왜넣음 대체? [2]	ㅇㅇ(106.101)	10.26	82	0
2898622	내가 차단해서 무시하면 되는일이라 괜찮 [1]	ㅆㅇㅆ(124.216)	10.26	77	0
2898621	쟤는 뭐 아는게 하나도 없냐 [2]	ㅇㅇ(124.48)	10.26	75	1
2898620	애들아 일요일인데 싸우지말고 좀 쉬어라 [2]	루도그담당(58.239)	10.26	73	0
2898619	ㅆㅇㅆ야!! 대체 왜 타로 사이트에 rag를 처박니???? [1]	ㅇㅇ(15.204)	10.26	96	0
2898618	논문 재현 의뢰 몇건하다보니 느낀건데 왜 [4]	ㅆㅇㅆ(124.216)	10.26	84	0
2898617	내 타로사이트에 제미나이 api 붙여서 타로 채팅하게하려는데 [4]	ㅆㅇㅆ(124.216)	10.26	93	0
2898616	다른 사람 말을 신경쓰지 말아야 하는 이유- [2]	프갤러(121.172)	10.26	92	1
2898615	ㅆㅇㅆ야 그저 실력으로 입증하면 다 해결된다 [1]	ㅇㅇ(106.101)	10.26	87	0
2898613	가치관 불량한 에이스는 쓸모가 없음 [4]	chironpractor	10.26	87	1
2898612	아니 그냥 실력으로 처바르면 되는거 아님?	ㅇㅇ	10.26	65	0
2898610	니들은 왜 만날 싸우냐? [3]	프갤러(121.172)	10.26	81	1
2898608	그냥 열등감 덩어리들 보면 좀 불쌍하지 않냐. [8]	ㅆㅇㅆ(124.216)	10.26	98	1
2898605	다시 한번 말한다. 변명 위에 세워진 성공은 없다. [1]	ㅇㅇ(106.101)	10.26	66	0
2898604	[대한민국] 국회 공자학원 퇴출 요구	프갤러(121.172)	10.26	55	0
2898601	부천역 bj들 내쫒는 분위기네	프갤러(211.210)	10.26	55	0
2898598	비전공인거? 솔직히 ㅈ도 상관없음 [1]	ㅇㅇ(106.101)	10.26	99	0
2898595	이해가 안감. 보통 당연히 문서랑 레퍼런스 기반으로 이야기하지 않음? [2]	ㅆㅇㅆ(124.216)	10.26	95	0
2898592	문서 번역기 돌리고 읽어봤으면 그게 전문가지..병신아. [4]	ㅆㅇㅆ(124.216)	10.26	107	0
2898590	윈도우 인터널스 읽는 중 [2]	루도그담당(58.239)	10.26	79	0
2898589	계속 글 신고글삭당하노 [3]	ㅆㅇㅆ(124.216)	10.26	79	0
2898587	온갖 유동이 아니라 그냥 한두명임	ㅆㅇㅆ(124.216)	10.26	63	0
2898582	시간 참 빠르다 [7]	루도그담당(58.239)	10.26	97	0
2898572	디시 앱 빨갱이 모드ON [3]	프갤러(110.8)	10.26	85	0
2898571	잠운 도착	♥벼락부자냥덩♥	10.26	52	0
2898569	어째 읽을만한 글이 하나도 없나.. 흠 [2]	나르시	10.26	75	0
2898568	[애니뉴스] 불멸의 그대에게 감상 [1]	프갤러(121.172)	10.26	50	0
2898563	밥 벌어먹기 힘들다 [5]	ㅆㅇㅆ(124.216)	10.26	111	0
2898559	집에 김치없는데 백반집 셀프코너에서 김치 담아와도 됨? [4]	ㅁㅁ	10.26	104	0
2898558	자본주의 선배나라들의 전철을 밟고 있는 한국	chironpractor	10.26	69	0
2898557	확실히 뛰뛰도 짬지 쌓이니까 나님게 맞는 적정루틴 알게됨 [3]	♥벼락부자냥덩♥	10.26	70	0
2898556	부천역 BJ들 내쫒는 분위기네 [1]	프갤러(211.210)	10.26	92	0
2898555	나는내향적이야 나는조현병이야	손발이시립디다	10.26	65	0
2898554	디스코드 개인정보 유출됐었나??	ㅇㅇ(122.199)	10.26	52	0
2898552	잔다~ ㅇㅅㅇ [3]	헤르 미온느	10.26	79	0
2898551	코테 안풀고 나가면 [2]	프갤러(106.101)	10.26	146	0
2898550	간단한 홈페이지 제작 20만 할 사람 있음? 급함 [3]	ㅇㅇ(15.204)	10.26	121	1
2898545	요즘 울나라 보면 간첩이 공작중인거는 같애..ㅇㅅㅇ [1]	헤르 미온느	10.26	78	0
2898544	이거 그림 같지 않아? ㅇㅅㅇ [2]	헤르 미온느	10.26	84	0
2898542	로또 당첨되었다. 기분 조타..ㅇㅅㅇ [3]	헤르 미온느	10.26	81	0
2898541	태연 ㅇㅅㅇ	헤르 미온느	10.26	53	0
2898540	하루 한 번 헤르미온느 찬양	헤르 미온느	10.26	60	0
2898539	그옛날 체제경쟁시기 개도국 코리아시절 행사짤 [15]	볼드오이(121.151)	10.26	97	0
2898534	이재명 고의적 부동산 폭등 청년 죽이기 공포의 마스터 플랜 [3]	♥벼락부자냥덩♥	10.26	108	0
2898533	수십억 갭투자 부동산투기 막말논란 이재명의 남자 이상경	♥벼락부자냥덩♥	10.26	122	0
2898532	표현의 자유란 좋다 [2]	배구공(119.202)	10.26	94	0
2898531	뭘 만들어봐야 [4]	배구공(119.202)	10.26	86	0
2898530	❤✨☀⭐⚡☘⛩나님 시작합니당⛩☘⚡⭐☀✨❤ [2]	♥벼락부자냥덩♥	10.26	63	0