A 토토 꽁 머니다른 사람을 기반으로하는 사용자 정의 데이터 유형입니다기본 유형. 선택적으로, 유효한 값을 기본 유형이 허용하는 것의 하위 집합으로 제한하는 제약 조건이있을 수 있습니다.

예를 들어, 긍정적 인 정수 만 받아들이는 정수를 통해 토토 꽁 머니을 만들 수 있습니다 :

정수 확인으로 토토 꽁 머니 포인트 생성 (값 0);테이블 마이테이블 생성 (id posint);

기본 유형의 연산자 또는 기능이 토토 꽁 머니 값에 적용되면 토토 꽁 머니은 자동으로 기본 유형으로 다운 캐스트됩니다. 예를 들어, 결과는mytable.id -1유형으로 간주됩니다정수notposint. 우리는 쓸 수 있습니다(mytable.id -1) :: posint결과를 다시 캐스트하려면posint, 토토 꽁 머니의 제약 조건을 다시 확인합니다. 이 경우 표현식이 an에 적용된 경우 오류가 발생합니다.id1의 값 1. 기본 유형의 필드 또는 가변에 값을 토토 꽁 머니 유형의 변수에 할당하는 것은 명시적인 캐스트를 작성하지 않고 허용되지만 토토 꽁 머니의 제약 조건이 확인됩니다.

추가 정보는 참조토토 꽁 머니 생성.