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

나르시

2025.10.26 04:35:29

조회 65 추천 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	-	-
2898888	나님 끙야 느김;; [2]	♥벼락부자냥덩♥	10.27	48	0
2898885	병걸렸다는 기사에 모든댓글이 다 선플 [7]	헬마스터	10.27	92	0
2898880	과제인데 너무 어려워서 대강 방향성만 잡도록 도와주시면 감사하겠습니다.. [13]	PpPpPp	10.27	87	0
2898878	[대한민국] 돈에 환장해 나라를 팔고 있는 정치권	프갤러(121.172)	10.27	45	0
2898873	유람선에 눈깔 뒤집혀서 지하철 증차 안한 오세훈 대가리를 잘라 [1]	프갤러(218.154)	10.27	88	0
2898870	이런 도시락 어때보임? [3]	ㅁㅁ	10.27	93	0
2898869	11일날 했던 한국의 미국 vs 중국 편입 투표 결과 공개 [3]	chironpractor	10.27	82	0
2898868	내가 신호줬을 때 미국 주식 산 프붕이들 재미 보고 있재? [2]	chironpractor	10.27	60	0
2898867	G마켓 크롤링 막혔네..	프갤러(124.194)	10.27	72	0
2898866	멘헤라환영 헛소리환영 본방에도 분탕 어느정도환영	파란빤스	10.27	50	0
2898865	개피궁 졸리넹;; 제대로 잠 못잔듯;; [2]	♥벼락부자냥덩♥	10.27	73	0
2898864	자기전에 요플레를 떠먹으며 추억 한꼭지..ㅇㅅㅇ [1]	헤르 미온느	10.27	68	0
2898863	개새훈 좆씨발버러지 새끼 [1]	프갤러(218.154)	10.27	89	1
2898862	오늘도 똥싸면서 돈 버는 중 [1]	프갤러(218.154)	10.27	77	0
2898861	BBS 패치내역	파란빤스	10.27	49	0
2898860	자러간당..ㅇㅅㅇ [1]	헤르 미온느	10.27	60	0
2898859	근데 외주는 왜 이래 도박이랑 토토 관련이 너무 많냐 [5]	ㅆㅇㅆ(124.216)	10.27	105	0
2898857	❤✨☀⭐⚡☘⛩나님 시작합니당⛩☘⚡⭐☀✨❤	♥벼락부자냥덩♥	10.27	56	0
2898856	리액트는 문법이 좃같지 않나요? [3]	루도그담당(118.235)	10.27	113	0
2898855	야 근데 이거 국비 교과과정 보는데 엄청난데 [4]	ㅆㅇㅆ(124.216)	10.27	154	0
2898854	원종이는 결과라도 보여줬는데 ㅋㅋ	ㅇㅇ(110.70)	10.27	82	3
2898852	국비 커리 어떄? [7]	프갤러(118.32)	10.27	132	0
2898851	민주당은 부동산투기 정당인가 국민분노 폭팔	♥벼락부자냥덩♥	10.27	67	0
2898850	BBS GC붙엿더니 계속죽는중 [5]	파란빤스	10.27	74	0
2898849	근데 암만 이야기해도 결국 결과로 보여주는게 맞긴함 [1]	ㅆㅇㅆ(124.216)	10.27	94	0
2898848	이재명 정권인사들 갭투자로 부동산투기하고 국민들은 가만히있으라 [2]	♥벼락부자냥덩♥	10.27	69	0
2898847	여기가 어디게? ㅇㅅㅇ [5]	헤르 미온느	10.27	68	0
2898845	태연 ㅇㅅㅇ [3]	헤르 미온느	10.27	60	0
2898844	오늘도 병신 삽질하다가 개쳐맞고 있노 ㅋㅋ	ㅇㅇ(118.235)	10.27	73	0
2898843	나이가 드니까 아침에 발기가 안되는 거 같아 [5]	ㅆㅇㅆ(124.216)	10.27	97	0
2898842	하루 한 번 헤르미온느 찬양	헤르 미온느	10.27	55	0
2898837	BBS 캡챠끄고 도배당해서 도배 밴 달았어요 [5]	파란빤스	10.27	60	0
2898836	ㄴㄴ내가 맞음. 왜냐면 걍 반박해줌. 에이도비야 [1]	ㅆㅇㅆ(124.216)	10.27	138	0
2898834	이재명 정권인사들 갭투자로 부동산투기하고 국민들은 가만히있으라 [1]	♥벼락부자냥덩♥	10.27	80	0
2898833	러스트가 성공 못하는 이유는 하나밖에 없다. [2]	프갤러(218.153)	10.27	98	0
2898832	국비 (온라인vs오프라인)	프갤러(118.32)	10.27	110	0
2898831	러스트가 성공할 수 없는 이유	ㅇㅇ(114.30)	10.27	57	0
2898830	❤✨☀⭐⚡☘⛩나님 시작합니당⛩☘⚡⭐☀✨❤	♥벼락부자냥덩♥	10.27	39	0
2898824	오랜만	캐프붕	10.27	31	0
2898821	이재명 민생지원금 정책 따라하는 대만	야옹아저씨	10.27	56	0
2898820	자바 원래 ㅈ같음? [2]	ㅇㅇ(223.38)	10.27	72	0
2898792	ㄴㄴ 네가 틀렸음 [11]	에이도비	10.27	124	0
2898790	Chatter BBS 캡챠 껐습니다 [2]	파란빤스	10.26	68	0
2898778	GUI 프레임워크 추천 좀 [8]	프갤러(125.240)	10.26	99	0
2898774	와 대학원 강사 자료받았는데 심각하노 [1]	ㅆㅇㅆ(124.216)	10.26	110	0
2898769	데이터엔지니어 취업 [13]	프갤러(218.39)	10.26	203	0
2898768	개발을 잘하고 싶다 [3]	프갤러(125.240)	10.26	101	0
2898767	ㅋㅅㅋ [5]	♥벼락부자냥덩♥	10.26	84	0
2898766	내일 출근한다	ㅇㅇ(223.38)	10.26	60	0
2898762	나 k8s 이론은 아는데 바로 해볼 환경은 안되서 k3s 도전 [1]	ㅆㅇㅆ(124.216)	10.26	70	0