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

나르시

2025.10.26 04:35:29

조회 60 추천 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	-	-
공지	프로그래밍 갤러리 이용 안내 [97]	운영자	20.09.28	48319	65
2899419	금값이 다시 살살 올라가네	chironpractor	20:59	10	0
2899418	웹브라우저 tts 결국 운영체제 따라가는건가 보네 [1]	프갤러(110.8)	20:54	20	0
2899416	ヾ(๑╹◡╹)ﾉ" [2]	♥벼락부자냥덩♥	20:11	22	0
2899414	추모 강요는 좀 ㅇㅅㅇ [2]	류류(203.229)	19:54	33	0
2899411	나님.. 가을모기 무섭다냥.. [1]	♥벼락부자냥덩♥	19:01	20	0
2899407	무안공항은 왜 추모 안함? [8]	chironpractor	18:54	43	0
2899399	오 대박이네. 웹 브라우저에 tts 내장되어 있네	프갤러(27.170)	18:43	20	0
2899397	차에서 모기본듯..? [3]	♥벼락부자냥덩♥	18:40	20	0
2899395	나님 방금 못볼걸본걸깡..? [1]	♥벼락부자냥덩♥	18:39	18	0
2899393	씨발 ㅋㅋㅋㅋㅋ 재명이 멀뚱멀뚱 찐 존나 현웃 터지넹 [2]	♥벼락부자냥덩♥	18:35	37	0
2899392	냥덩줍❤+	♥벼락부자냥덩♥	18:30	16	0
2899391	빨러마~ 던 점 있냥?	♥벼락부자냥덩♥	18:29	17	0
2899389	요새 불법충들 트렌드가 [3]	프갤러(121.185)	18:07	38	1
2899388	예전에 위키 프로젝트인가 그거 만든다던 사람 있던거 같은데 어케 됬음? [4]	프갤러(121.185)	18:04	31	0
2899386	트럼프 "부정선거는 개소리. 이재명은 훌륭한분"	야옹아저씨	17:39	31	0
2899385	마트에서 생굴 사왔음 오늘 저녁은 굴이다 [2]	chironpractor	17:39	16	0
2899384	대학원 지원했는데 만점짜리 성적표에 놀라는군 ㅋㅋ [5]	나르시	17:37	45	1
2899382	나한테 파이썬 배워두라고 알려줬던 연구실 동료였던 나딤(파키스탄인)	ㅆㅇㅆ(124.216)	17:32	34	0
2899381	아버지 수술 끝나서 한 5시간 하셔서... [1]	넥도리아(119.195)	17:29	26	0
2899380	근데 파이썬이 다양성을 포용안하면 그것도 이상한게	ㅆㅇㅆ(124.216)	17:19	26	0
2899379	이번 트럼프정부 파이썬 150만달러 이야기 봤냐 너네? [5]	ㅆㅇㅆ(124.216)	17:13	59	0
2899378	중국기사보는데 타입스크립트 배워두길 잘했더라 [2]	ㅆㅇㅆ(124.216)	17:10	45	0
2899377	근데 중국쪽 정보 보는 애들은 느끼지만 중국이 흐름따라가기 존나 편함 [3]	ㅆㅇㅆ(124.216)	17:04	41	0
2899376	저장용 [1]	♥벼락부자냥덩♥	16:53	24	0
2899375	코드 납품하다보면 신기한게 분명히 다 같이 지피티 쓰잖아? [6]	ㅆㅇㅆ(124.216)	16:42	74	0
2899374	장사하는데 손년놈들 중에 좆문가가 너무 많다 [9]	chironpractor	16:37	44	0
2899373	나만 코딩 유튜버는 여자 유튜버밖에 안보냐. [6]	ㅆㅇㅆ(124.216)	16:36	47	1
2899372	생각해보면 서블렛이 레알 좋은 개념인듯하노 이기 [4]	슈퍼막코더(126.179)	16:16	39	0
2899371	이 문장 되게 감성있지 않음?	ㅇㅇ1	16:08	34	0
2899370	남의 나라 국가인데 왜 난 미국 국가 들으면 울컥하는지 몰겠음	chironpractor	16:00	20	0
2899369	사무실 임대했다고 사업 잘된다고 깝쳤는데 월세 올라서 취소	프갤러(172.225)	15:36	33	3
2899368	무당 보고 왔는데 내년 3월까지 힘들대서 기분 싱숭샘숭함 [4]	ㅆㅇㅆ(124.216)	15:33	47	0
2899367	납품준비 해야겠다	ㅆㅇㅆ(124.216)	15:21	26	0
2899366	[대한민국] 트럼프 대통령 한국 방문	프갤러(121.172)	15:14	17	0
2899365	50만원 flex [7]	에이도비	14:51	55	0
2899364	Ai가 발전한 세상에서 우린 어떻게 살아갈까	ㅇㅇ(211.235)	14:38	17	0
2899363	agi는 의외로 가까울지도 모름 [1]	프갤러(211.106)	14:21	40	0
2899362	아침에 싸이렌덕에 강제 기상한 프봉이들 개추 ㅋㅋㅋㅋㅋ	타이밍뒷.통수한방(1.213)	14:21	28	1
2899361	c++교재 추천좀 [4]	ㅇㅇ	14:16	50	0
2899360	호소카와 다카시 북쪽의 술집	배구공(119.202)	14:11	15	0
2899359	유흥에 1억썼다. 유흥 와꾸 티어 순위알려준다 [3]	ㅇㅇ(118.235)	13:52	59	0
2899357	트럼프가 찢짜이밍한테 미스터 리라고 했나보네	chironpractor	13:33	43	0
2899356	맥북 프로 16 (m3 pro, 36GB, 512GB) 중고시세 얼마보냐 [1]	임금밀린코딩몽키(1.236)	13:20	26	0
2899355	AI 창조자: 어떻게 작동하는지 모름	발명도둑잡기(118.235)	13:17	24	0
2899354	졸업작품이란 뭘까... [1]	공기역학	12:57	63	0
2899353	☆:.｡. o(≧▽≦)o .｡.:☆ [3]	♥벼락부자냥덩♥	12:48	56	0
2899352	요새 이모티콘 보면 왤케 현기증이 나냐 [1]	프갤러(175.212)	12:31	43	1
2899351	ㅆㅇㅆ = 사이비 코더 [1]	프갤러(175.212)	12:29	62	4
2899350	❤✨☀⭐⚡☘⛩나님 시작합니당⛩☘⚡⭐☀✨❤	♥벼락부자냥덩♥	10:56	50	0