a도메인다른 사람을 기반으로하는 사용자 정의 데이터 토토 꽁 머니입니다기본 토토 꽁 머니. 선택적으로, 유효한 값을 기본 토토 꽁 머니이 허용하는 것의 하위 집합으로 제한하는 제약 조건이있을 수 있습니다. 그렇지 않으면 기본 토토 꽁 머니과 같이 작동합니다 (예 : 기본 토토 꽁 머니에 적용 할 수있는 모든 연산자 또는 기능은 도메인 유형에서 작동합니다. 기본 토토 꽁 머니은 내장 또는 사용자 정의 기본 토토 꽁 머니, 열거 유형, 배열 유형, 복합 유형, 범위 유형 또는 다른 도메인 일 수 있습니다.
예를 들어, 긍정적 인 정수 만 받아들이는 정수를 통해 도메인을 만들 수 있습니다 :
정수 확인으로 도메인 포인트 생성 (value 0); 테이블 마이테이블 생성 (id posint); mytable 값에 삽입 (1); - 작동합니다 mytable 값 (-1)에 삽입; - 실패
기본 토토 꽁 머니의 연산자 또는 기능이 도메인 값에 적용되면 도메인은 자동으로 기본 토토 꽁 머니으로 다운 캐스트됩니다. 예를 들어, 결과는mytable.id -1
토토 꽁 머니으로 간주됩니다정수
notposint
. 우리는 쓸 수 있습니다(mytable.id -1) :: posint
결과를 다시 캐스트하려면posint
, 도메인의 제약 조건을 다시 확인합니다. 이 경우 표현식이 an에 적용된 경우 오류가 발생합니다.id
1의 값 1. 기본 토토 꽁 머니의 값을 도메인 유형의 필드 또는 변수에 할당하는 것은 명시적인 캐스트를 작성하지 않고 허용되지만 도메인의 제약 조건을 확인합니다.
추가 정보는 참조도메인 생성.
문서에 올바른 것이 없으면 일치하지 않습니다. 특정 기능에 대한 귀하의 경험 또는 추가 설명이 필요합니다. 사용이 양식문서 문제를보고하려면