수색…
소개
Ada의 유형 계층 구조에서 기본 유형에는 논리적으로 분할 할 수없는 값 집합이 있습니다. 이러한 유형 중에는 액세스 유형 (포인터 유형)과 스칼라 유형이 있습니다. 스칼라 유형은 열거 , 문자 및 숫자 로 분류 할 수 있습니다. 이 유형은이 주제의 주제를 구성합니다. 값 집합 이외에 형식에는 후속 또는 "+" 와 같은 각 스칼라에 적용 할 수있는 연산 집합이 있습니다.
통사론
- 타입 은 ...
매개 변수
| 생략 | 뭐 |
|---|---|
| … (1) | 형의 이름을 받는다. |
| ... (2) | delta , digits , range 키워드를 사용하여 유형의 특성을 수신합니다. |
비고
열거 형 및 모듈 형 정수를 제외한 모든 스칼라 유형 정의에는 범위 제약 조건이 포함될 수 있습니다.
범위 제약 조건은 유형에 포함 할 값 집합의 하한값과 상한값을 지정합니다. 고정 소수점 유형의 경우 범위 지정이 필수적입니다. 이러한 유형의 값은 2의 작은 부분의 배수 (예 : 1/2 5)로 이해 됩니다. 이러한 분수가 작을수록 사용 가능한 비트를 사용하여 표현할 수있는 범위의 비용으로보다 정확한 표현이됩니다.
원하는 Size 의 비트 및 다른 표현 항목과 같은 유형 정의의 다른 측면이 주어질 수 있습니다. Ada 2012는 Static_Predicate 와 같은 계약 기반 프로그래밍의 측면을 추가합니다.
열거
type Fruit is (Banana, Orange, Pear);
Choice : Fruit := Banana;
문자 유형은 문자 리터럴을 포함하는 열거 형입니다.
type Roman_Numeral is
('I', 'V', 'X', 'L', 'C', 'D', 'M', Unknown);`
노래 된 정수
type Grade is range 0 .. 15;
B : Grade := 11;
C : Grade := 8;
Avg : Grade := (B + C) / 2; -- Avg = 9
모듈러 정수
이들은 "비트 바이올린"유형입니다. 그것들은 xor 와 같은 논리적 연산자도 가지고 있으며, 상한에서 "0"으로 다시 래핑됩니다.
type Bits is mod 2**24;
L : Bits := 2#00001000_01010000_11001100# or 7;
부동 소수점
부동 소수점 형은 요청 된 최소 정밀도를 나타내는 십진수로 특징 지워집니다.
type Distance is digits 8;
Earth : Distance := 40_075.017;
고정 소수점 (일반)
고정 소수점 유형 정의는 델타 와 범위를 지정합니다. 함께 실제 값은 부동 소수점 하드웨어를 사용하지 않고 2의 제곱으로 표현 될 때 얼마나 정확하게 근사화되어야 하는지를 설명합니다.
Shoe_Ounce : constant := 2.54 / 64.0;
type Thickness is delta Shoe_Ounce range 0.00 .. 1.00;
Strop : Thickness := 0.1; -- could actually be 0.09375
고정 소수점 (십진수)
일반적으로 10 진수 고정 소수점 유형이 계정에 사용됩니다. 델타 와 십진수 숫자가 특징입니다. 그들의 산술 연산은 회계 규정을 반영합니다.
type Money is delta 0.001 digits 10;
Oil_Price : Money := 56.402;
Loss : Money := 0.002 / 3; -- is 0.000