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

나르시

2025.10.26 04:35:29

조회 115 추천 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/12/01	-	-
AD	루틴 ON! 운동 찐템! 지금 할인 중	운영자	25/11/27	-	-
2903084	Lua VM과 JIT: 단순함 속의 강력함	나르시	11.17	78	0
2903083	소프트웨어 연구하는 석학 모아놓고 라이브코딩한다길래 [1]	ㅇㅇ(118.216)	11.17	151	0
2903081	이력서 제목은 뭐 어떻게 해야하나? [2]	프갤러(110.8)	11.17	82	0
2903077	AI 바이브 코딩 인생 40 년 갈아 넣었습니다.	프갤러(59.16)	11.17	98	0
2903076	AI 인생 40 년 갈아 넣었습니다.	프갤러(59.16)	11.17	114	0
2903069	인지과학조져라	손발이시립디다	11.17	69	0
2903064	학과 질문 및.. 게임 개발 질문 [3]	프갤러(118.235)	11.17	92	0
2903054	디스코드 뒷메기 프로그램 의뢰 [3]	프갤러(218.148)	11.17	127	0
2903052	도커가 진짜 쥐약이네 [2]	ㅇㅇ	11.17	137	0
2903049	디시 유명재 프로그래밍갤러리 사기꾼 조심해라 [3]	프갤러(211.181)	11.17	151	2
2903048	하루에 오조오억줄 감사의 코딩 [5]	공기역학	11.17	160	0
2903047	와 내글도 실베갔네 [12]	chironpractor	11.17	158	1
2903044	이직할때 오퍼레터 여러곳 받는거 맞지? [1]	프갤러(58.231)	11.17	143	0
2903043	딱국이 보고싶노 [2]	따당	11.17	173	0
2903040	우리나라 종특인지 모르겠는데 [19]	루도그담당(58.239)	11.17	180	0
2903039	러스트를 배우지 않는다는건 이젠 범죄적 행위다. [6]	프갤러(42.24)	11.17	193	0
2903038	짐도 많고 개피곤하네	프갤러(42.24)	11.17	79	0
2903036	펌웨어 개발자 있어? [10]	프갤러(223.38)	11.17	169	0
2903035	완전히 끝났군. 이제 난 자유다. [2]	프갤러(223.38)	11.17	144	0
2903033	취미로 프로그래밍 배우고싶은데 홍정모 괜찮음? [10]	프갤러(61.43)	11.17	206	0
2903032	프로그래밍 공부해 보고싶은데 막연합니다 [3]	프갤러(112.169)	11.17	150	0
2903030	퇴사 절차 맥북 초기화 진행 ㅋㅋㅋㅋ [3]	프갤러(218.154)	11.17	159	0
2903028	드라이버 개발하다보면 cpp도 [5]	루도그담당(211.184)	11.17	191	0
2903027	러스트는 항상 승리하네 [6]	프갤러(218.154)	11.17	200	1
2903022	건물 창에 비친 또다른 건물..ㅇㅅㅇ [2]	헤르 미온느	11.17	126	0
2903021	태연 ㅇㅅㅇ	헤르 미온느	11.17	45	0
2903020	하루 한 번 헤르미온느 찬양	헤르 미온느	11.17	113	0
2903014	나는조현병이야 나는내향적이야	손발이시립디다	11.17	102	0
2903006	취미코딩 갤러리가 오픈했습니다	Mosaic	11.17	83	0
2902994	살인적인 베를린 주거비‥시민들 "민간 주택 공공 소유로 바꾸자"	발명도둑잡기(118.216)	11.17	66	0
2902992	성 ㅍㅎ 가해자가 살고있는	ㅇㅇ(123.111)	11.17	108	0
2902990	민주당 맘다니 논평 검색 결과	발명도둑잡기(118.216)	11.17	118	0
2902980	시험성적만으로는 인성에 문제있는 사람을 못 거르는데 방법은?	발명도둑잡기(118.216)	11.17	100	0
2902966	러스트 빠돌이들, 수년간 나 열라 까더니만 ㅋㅋㅋ [1]	나르시	11.17	101	0
2902965	박근혜 풍자 논란 '공주는 외로워' 김자옥 별세 11 주기	발명도둑잡기(118.216)	11.17	82	0
2902943	젤렌스키 측근 집에는 ‘황금 변기’… 우크라 비리 일파만파	발명도둑잡기(118.216)	11.17	84	0
2902939	천안 이랜드 물류센터 화재 사실상 '전소'…보험사는 '한화손보'	발명도둑잡기(118.216)	11.17	195	0
2902933	러스트를 할 줄 안다면 현상금 사냥꾼이 되어보자! [3]	에이도비	11.17	167	1
2902931	막상 오늘이 마지막 출근이라 생각하니 기분이 묘하구나. [5]	프갤러(110.8)	11.17	135	2
2902930	미국을 뒤흔드는 도박, 성산업, 마약	발명도둑잡기(118.216)	11.17	60	0
2902924	주작기 사고싶은데 어디서 구함? [1]	ㅇㅇ(118.235)	11.17	111	0
2902918	아 이제 이해했다. 요즘 왜 백엔드에 파이썬을 쓰는지. [2]	프갤러(110.8)	11.17	181	1
2902914	근데 모던 cpp는 실패할 수밖에 없어 [11]	프갤러(110.8)	11.17	192	1
2902907	나도 현역땐 왜 기업들이 모던 C++의 가치를 안알아주지? 억울해했는데 [6]	chironpractor	11.17	184	0
2902901	나도 이제 새 직장 구해야해서 잡코리아 쭉 보는데 [20]	프갤러(110.8)	11.17	233	0
2902897	불가능한거 할수있냐고하는데 [10]	ㅇㅇ(219.248)	11.16	142	0
2902893	여자한테 인기 많은 남자 특징	발명도둑잡기(118.216)	11.16	208	0
2902892	C랑 CPP도 이제 정복되나? [1]	ㅇㅇ(125.251)	11.16	159	0
2902890	법과 기관의 도움을 받는 걸 꺼리면 안돼 [3]	에이도비	11.16	133	1
2902879	전자공, 컴공, 솦웨학과 각 학과 차이점이 뭐냐? [1]	ㅇㅇ(125.251)	11.16	115	0