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

나르시

2025.10.26 04:35:29

조회 22 추천 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/10/20	-	-
AD	할로윈 슈퍼위크~!!	운영자	25/10/23	-	-
공지	프로그래밍 갤러리 이용 안내 [97]	운영자	20.09.28	48223	65
2898538	'19' 06년생 신입 여 BJ .gif	프갤러(118.33)	08:14	0	0
2898537	'19' 맥심 모델 출신 여 BJ. gif	프갤러(118.33)	08:08	2	0
2898536	북괴의 한국 침략에 동조하는 정부 부처 내 극좌간첩들..	♥벼락부자냥덩♥	08:03	7	0
2898534	이재명 고의적 부동산 폭등 청년 죽이기 공포의 마스터 플랜 [2]	♥벼락부자냥덩♥	07:32	25	0
2898533	수십억 갭투자 부동산투기 막말논란 이재명의 남자 이상경	♥벼락부자냥덩♥	07:28	10	0
2898532	표현의 자유란 좋다 [1]	배구공(119.202)	07:15	14	0
2898531	뭘 만들어봐야 [3]	배구공(119.202)	07:08	20	0
2898530	❤✨☀⭐⚡☘⛩나님 시작합니당⛩☘⚡⭐☀✨❤	♥벼락부자냥덩♥	07:07	11	0
2898516	음기 충전	발명도둑잡기(118.216)	05:53	20	0
	Ada 프로그래밍: 4.1.3 강타입 시스템 (strong typing)	나르시	04:35	22	0
2898481	Ada 프로그래밍: 4.1.2 Ada의 타입 계층 구조	나르시	04:34	18	0
2898472	컴공은 근데 물리안해도되지 [1]	공갤러(1.242)	04:13	45	0
2898471	커즈와일 K2500 운영체제 KOS 롬 해킹됐고 에뮬레이터 제작 중	발명도둑잡기(118.216)	04:13	19	0
2898467	칠곡까지 드라이브 다녀옴	야옹아저씨	04:07	30	0
2898461	현실에서 많이 소외받고 외로웠지? 힘내라 [2]	ㅇㅇ(106.101)	03:54	82	1
2898455	아무리 조롱을 해도 달라지는건 없다 [2]	ㅇㅇ(106.101)	03:38	61	1
2898454	대한늬우스 영창커즈와일 K2000 신서사이저	발명도둑잡기(118.216)	03:25	12	0
2898452	바이브코딩으로 취업가능하냐 [1]	ㅇㅇ	03:13	40	0
2898450	'윤석열 계엄'은 내란 아니라는 민영삼에 직원들 "즉각 사퇴하라"	발명도둑잡기(217.138)	02:49	13	0
2898449	jotai 볼때마다 웃음 나오네 [1]	루도그담당(58.239)	02:45	31	0
2898446	근데 터널링하는거 엔징스 아님? Nginx니까 [1]	ㅆㅇㅆ(124.216)	02:12	28	0
2898445	EJAE-In Another World	발명도둑잡기(118.216)	01:39	18	0
2898443	...고민이 있습니다 [7]	파란빤스	01:30	65	0
2898441	존나 안타까움 [6]	루도그담당(58.239)	01:23	120	1
2898440	128.48에게 별명을 하나 지어주자 [13]	에이도비	01:10	132	0
2898439	에휴 병신 [3]	ㅇㅇ(124.48)	01:08	119	0
2898437	https 인증서 삽질 회고 [5]	프갤러(110.8)	01:05	66	1
2898436	근데 실무에서 저런 사람 많음 [2]	chironpractor	01:04	53	0
2898433	대통령실, 장동혁에 "부동산 6채 실거주용? 머리·발 따로 사나"	발명도둑잡기(118.216)	00:52	17	0
2898428	실시간베스트 바코드배틀러 보니 생각나는 예전 글 [5]	발명도둑잡기(118.216)	00:38	38	0
2898426	간절한 마음으로 질문합니다. [12]	단팥빵	00:36	91	0
2898423	어제 난 내 하우스에 https 웹 서버를 띄웠다. [1]	프갤러(110.8)	00:28	41	0
2898422	소피마르소 딸 한국으로 유학왔다며?	발명도둑잡기(118.216)	00:27	13	0
2898420	에이도비님 외주 하청받습니다. [5]	ㅆㅇㅆ(124.216)	00:20	71	0
2898418	그리고 사실이 약간 다른게 fast API는 따로 생명관리하면 안됨 [7]	ㅆㅇㅆ(124.216)	00:01	75	0
2898415	저 코드는 싱글톤 코드가 아니라 DI 컨테이너 ㅇㅇ [11]	ㅆㅇㅆ(124.216)	10.25	78	0
2898413	와 이렇게 큰 프로젝트인데 취약점을 왜 못찾음? ㅋㅋ [13]	에이도비	10.25	128	0
2898412	귀염❤+	♥벼락부자냥덩♥	10.25	19	0
2898411	김천 거기 아직도 남아있으려낭?	♥벼락부자냥덩♥	10.25	20	0
2898410	소화 안되는 사람들은 뭐 유산균 요거트 이딴거 말고 이거 마시면 바로 ㅊ	♥벼락부자냥덩♥	10.25	44	0
2898409	야구 들으면서 뛰뛰해볼까낭	♥벼락부자냥덩♥	10.25	38	0
2898408	한번 뛰뛰할때 4시간 버티는 채력 만들어서	♥벼락부자냥덩♥	10.25	41	0
2898406	역시나 끙야느낌 있더니만	♥벼락부자냥덩♥	10.25	39	0
2898405	요란한 빈수레는 반박하기 힘들어 [2]	프갤러(110.8)	10.25	65	0
2898404	개웃기넹 ㅋㅅㅋ	♥벼락부자냥덩♥	10.25	15	0
2898403	뭔가 끙야 조금 남아잇는 느낌..	♥벼락부자냥덩♥	10.25	39	0
2898402	루피 기어6 루머잇던데	♥벼락부자냥덩♥	10.25	48	0
2898401	이무 ㄷㅅㄷ 기어5도 무력화	♥벼락부자냥덩♥	10.25	17	0
2898400	프갤 다중이들을 보면 이게 생각남 [1]	ㅇㅇ(211.234)	10.25	53	0