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

나르시

2025.10.26 04:35:29

조회 55 추천 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	-	-
2899186	에이도비야 나는 리소스 정리 까먹은건 반박 안함 ㅇㅇ	ㅆㅇㅆ(124.216)	10.28	43	0
2899185	국내 좆문가 갤러리 ㅋㅋ	ㅇㅇ(121.140)	10.28	46	2
2899184	좆문가vs 진짜 전문가	ㅇㅇ(121.140)	10.28	48	3
2899183	ㅆㅇㅆ 저병신은 지보다 학벌 경력 다 뛰어난 사람있어도	ㅇㅇ(121.140)	10.28	58	3
2899182	진짜 ai를 잘 쓰는데 필요한 조건 [1]	프갤러(218.154)	10.28	40	0
2899181	안녕하세요, 프로그래밍 갤러리. [5]	가연아	10.28	52	1
2899180	러스트는 오늘도 승리하는 중 [1]	프갤러(218.154)	10.28	35	0
2899179	리버싱하면서 [19]	루도그담당(118.235)	10.28	98	0
2899178	또또 쓸데없는걸로 싸우고 있다.	프갤러(218.154)	10.28	35	1
2899177	프리랜서의 장점 매 1주일마다 하나의 MVP 제품을 냄 [2]	ㅆㅇㅆ(124.216)	10.28	46	0
2899176	현직인데 ai 쓰고 있다 [2]	프갤러(211.106)	10.28	69	0
2899175	여태껏 이직 10번 정도 하고 느낀건	chironpractor	10.28	43	0
2899174	바이브 코딩이란게 뭐임? [9]	ㅇㅇ	10.28	72	0
2899170	점심 조촐하게 먹고 딸치고 작업해야긋다. [2]	ㅆㅇㅆ(124.216)	10.28	40	0
2899169	좀 귀찮지만 왜 싱글톤을 안쓰고 람다캡쳐+DI를 쓴지 설명해줌	ㅆㅇㅆ(124.216)	10.28	46	0
2899167	요즘 보면 세상에는 솔직한 악이 많은거 같아 [6]	ㅆㅇㅆ(124.216)	10.28	75	1
2899166	Fast API 자체에서도 DI를 권장함	ㅆㅇㅆ(124.216)	10.28	38	0
2899165	이 갤러리는 프갤이란 이름은 약하지않냐? [2]	헬마스터	10.28	43	0
2899164	갑갑하다 ㅆㅇㅆ야 [5]	에이도비	10.28	71	0
2899163	핵은 핵이고 인간관계. 다 혐오병아니겠뇽.	넥도리아(211.201)	10.28	21	0
2899162	나는 요. 정은이 마음 믿는다.	넥도리아(211.201)	10.28	30	0
2899161	오늘도 책한권뗐다 [4]	ㅆㅇㅆ(124.216)	10.28	58	0
2899160	지금까지 만든거	재현	10.28	21	0
2899159	카카오톡 리밴스드 어캐한거임?? [7]	chironpractor	10.28	69	0
2899158	흠.. 담달은 뛰뛰 시간 잘 안나겠넹 [3]	♥벼락부자냥덩♥	10.28	37	0
2899157	개발자 취업할곳없냐	프갤러(39.117)	10.28	31	0
2899156	[플렉스튜디오/영림원소프트랩/멋쟁이사자처럼] 2025 로우코드 개발 공모	프갤러(14.32)	10.28	20	0
2899154	점심	발명도둑잡기(118.235)	10.28	20	0
2899153	실컷 webrtc 공부하고 나니 내게 필요한건 webrtc가 아니었다.	프갤러(218.154)	10.28	28	0
2899152	의외로 게시판 만들려면 알아야하는게 많음 [2]	프갤러(218.154)	10.28	52	0
2899151	컴공 나왔는데 게시판 못만드는 애들 있음? [2]	프갤러(117.111)	10.28	61	0
2899150	재택근무 할 때 마다 일 더하는 거 같다	프갤러(185.255)	10.28	20	0
2899149	수술... 허리 up 아니고 , no name	넥도리아(211.201)	10.28	32	0
2899147	다음 ada 플밍에는 asm 인테페이스 다뤄야겠어 ㅋㅋ	나르시	10.28	15	0
2899146	뉴스 헤드라인 읽어서 관련 종목 추리고	나르시	10.28	15	0
2899145	좋은 주제 찾있다 [2]	프갤러(218.154)	10.28	49	0
2899144	폐기물 괸련 종목들	나르시	10.28	27	0
2899142	저능아가 개발문서 보면 하루아침에 전문가 되는거냐 그럼? [2]	ㅇㅇ(118.235)	10.28	68	3
2899141	"개발 문서 보는것도 전문가지 병신아" [1]	ㅇㅇ(118.235)	10.28	71	4
2899140	ㅆㅇㅆ 저 병신은 지가 그렇게 잘났으면 [2]	ㅇㅇ(118.235)	10.28	71	2
2899139	하~ 이씨발년 [8]	개멍청한유라	10.28	100	0
2899138	openai알트먼 진성홍어임	타이밍뒷.통수한방(1.213)	10.28	22	0
2899137	나 애플디벨로퍼아카데미 4긴데	프갤러(121.151)	10.28	36	0
2899136	최근 일본의 우타이테 프로그램 수준	프로외노자	10.28	22	0
2899135	학생인데 진로 어케 잡아야되나요..? [2]	프갤러(121.133)	10.28	42	0
2899134	자러감..ㅇㅅㅇ	헤르 미온느	10.28	25	0
2899132	미리 알려드릴께요. 아하 운영진께 지식인 서비스 오늘 내일 수술인데	넥도리아(220.74)	10.28	23	0
2899131	군상(群像)의 일부..ㅇㅅㅇ	헤르 미온느	10.28	27	0
2899130	태연 ㅇㅅㅇ 잘못 올렸네.. 다시 올린다.. ㅇㅅㅇ	헤르 미온느	10.28	38	0
2899129	하루 한 번 헤르미온느 찬양	헤르 미온느	10.28	46	0