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

나르시

2025.10.26 04:35:29

조회 99 추천 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/11/17	-	-
AD	겨울가전 SALE! 쿨한 겨울 HOT세일	운영자	25/11/12	-	-
2899578	엔비디아 회장이 왜 깐부치킨갔는지 생각해봤는데	ㅆㅇㅆ(124.216)	10.30	123	0
2899576	ㄹㅇㅆㅇㅆ 이새끼 반박할때는 쿨한척 운좋은척 다하다가 [1]	ㅇㅇ(118.235)	10.30	124	5
2899574	요즘들어 실패의 관점이 바뀜	프갤러(114.205)	10.30	95	0
2899572	초 고수 [3]	배구공(119.202)	10.30	99	0
2899570	ㅆㅇㅆ 얘는 무슨 자신감으로 이렇게 사냐 [1]	ㅇㅇ(106.101)	10.30	130	4
2899569	ㅆㅇㅆ야 니 인생 계획은 뭐냐?	ㅇㅇ(51.159)	10.30	93	3
2899567	이제 ㅆㅇㅆ 욕하는것도 노잼이네 [1]	ㅇㅇ(106.101)	10.30	131	3
2899566	내가 프갤서 느끼는건 자칭 보수 우파라는 애들은 선동과 날조가 패시브임	ㅆㅇㅆ(124.216)	10.30	101	1
2899564	내가 프론트엔드 공부하는데 [2]	호호(121.130)	10.30	127	0
2899562	자바스크립트 어렵다 [1]	호호(121.130)	10.30	104	0
2899561	같이 취미코딩 하실분	Mosaic	10.30	86	0
2899555	'19'갤꼬라지봐라시발.gif [1]	박민준	10.30	106	0
2899544	엔비디아에서 깐부치킨 광고하길래 시킬려는데 [1]	헬마스터	10.30	112	0
2899542	안녕 30 고졸 노베이스 비전공자 컴공 취준생이다 [6]	30고졸노베(125.191)	10.30	204	0
2899539	AI 바이브 코딩 인생 40 년 갈아 넣었습니다. [1]	프갤러(59.16)	10.30	139	0
2899537	리액트 루프에서 index를 키로 쓰지말라는 질문 근데 진짜 날카롭네 [2]	ㅆㅇㅆ(124.216)	10.30	126	0
2899536	중국쪽 머기업 프론트 엔드 개발자 면접 질문들 정리한거 봤는 [2]	ㅆㅇㅆ(124.216)	10.30	155	0
2899535	요즘 책 종종 읽는데 [2]	루도그담당(58.239)	10.30	139	0
2899534	프로그램 최고 장점이 프로그램은 인터넷에 읽을게 많아 [2]	ㅆㅇㅆ(124.216)	10.30	115	0
2899533	몸이 아프질 말아야.. 모든게 의미가 있는거지 [9]	나르시	10.30	130	0
2899531	나 현역때는 기억에 의존하는 개발하기 싫어했는데 [8]	chironpractor	10.30	138	0
2899529	너네 근데 깃 명령어 같은거 다 외우냐 [4]	ㅆㅇㅆ(124.216)	10.30	139	0
2899526	코드 짜는건 클리셰쓰듯이 해야하는거 아닐까 싶다 항상 [2]	ㅆㅇㅆ(124.216)	10.30	97	0
2899525	11시에 일어나서 밍기적대니 지금이네	ㅆㅇㅆ(124.216)	10.30	99	0
2899524	나 칫과 가는데 응원 좀 해주라 ㅠㅠ [8]	나르시	10.30	132	1
2899522	쌀 소고기 방어했다니까 진짠줄 알더라	chironpractor	10.30	117	1
2899521	무릎 아파... 그냥 지나가 ..	넥도리아(223.38)	10.30	91	0
2899520	나는 c cpp도 잘모름 [2]	배구공(119.202)	10.30	156	0
2899518	[대한민국] 김용현 장관 재판 내용 일부	프갤러(121.172)	10.30	90	0
2899517	요즘 써보는 AI 챗봇 중에 쓸만한 거 발견한 후기(무료 팁 포함)	프갤러(1.212)	10.30	105	0
2899516	ㅆㅇㅆ가 만든 타로 사이트 고졸이 하루아침에 만드는 정도인데	ㅇㅇ(121.140)	10.30	162	6
2899515	내가 병렬 프로그래밍 때문에 피시방 가야겠다 ㅠ [3]	프갤러(222.97)	10.30	153	0
2899514	대학원 자퇴하고 싸피나 오토에버 임베디드 가는거 어케 생각? [8]	프갤러(117.111)	10.30	262	0
2899513	[두산로보틱스] 로키부트캠프 AI·로봇 엔지니어 양성과정 7기 모집 (~	프갤러(14.32)	10.30	139	0
2899512	와 ㅋㅋ [5]	에이도비	10.30	167	0
2899511	간혹 희안한 사상을 가진 애들이 있네 [9]	루도그담당(211.184)	10.30	210	0
2899509	자라 ㅇㅅㅇ [1]	헤르 미온느	10.30	101	0
2899508	근데 이재용도 이재명 빨다가 [1]	프갤러(175.212)	10.30	220	0
2899507	이제 우라나라도 핵잠 보유하는거냐? [2]	루도그담당(118.235)	10.30	122	0
2899506	아버지 수술하셔서 스트레스 받는데 아하 까지 날 건드려서 짜증남.	넥도리아2025(14.35)	10.30	97	0
2899505	침대 뭐삼 병원에서 쓰는 침대 에이스는 너무 비싸고,	넥도리아2025(14.35)	10.30	91	0
2899504	또 하나의 원종이가 각성했다기 보다	프갤러(175.208)	10.30	130	0
2899503	공원 ㅇㅅㅇ [1]	헤르 미온느	10.30	117	0
2899501	ㅈ됐다 또 하나의 원종이가 각성했다	프갤러(39.7)	10.30	118	0
2899500	태연 ㅇㅅㅇ	헤르 미온느	10.30	92	0
2899499	하루 한 번 헤르미온느 찬양	헤르 미온느	10.30	108	0
2899497	이런 회사도 있네	ㅇㅇ(106.101)	10.30	107	0
2899496	사실 ㅆㅇㅆ가 지금 행복한 이유도 [1]	프갤러(175.212)	10.30	161	5
2899495	ㅇ하 하지 마라 가비지컬렉터다. 사람 어이가 없어서, 아픈것도 애기 못해	넥도리아2025(14.35)	10.30	98	0
2899493	아베 총격범 오늘 첫 공판…방청객 700명 넘게 줄서	넥도리아2025(14.35)	10.30	92	0