枚舉型和子界型

1、類型定義 類型定義的語(yǔ)法格式： type =； =； =； 通過(guò)預(yù)定義列出所有值的標(biāo)識(shí)符來(lái)定義 一個(gè)有序集合，這些值的次序和枚舉類 型說(shuō)明中的標(biāo)識(shí)符的次序識(shí)一致的。枚 舉類型的形式：(標(biāo)識(shí)符1，標(biāo)識(shí) 符n) 例如：type daystype=(sunday,monday,tuesday,wednesd ay,thursday,friday,saturday) 枚舉元素是標(biāo)識(shí)符，不要把作為枚舉元素的標(biāo) 識(shí)符視作變量名，它不能被賦值。同一個(gè)枚舉 元素不能出現(xiàn)在兩個(gè)或兩個(gè)以上的枚舉類型定 義中。 枚舉類型屬于順序類型。根據(jù)定義類型時(shí)各枚 舉元素的排列順序確定它們的序列，序列號(hào)從 0開(kāi)始。 但是枚舉類

2、型中的第一個(gè)元素沒(méi)有前趨，最后 一個(gè)元素沒(méi)有后繼。 子界類型是由整型、字符型、枚舉型、 布爾型的兩個(gè)常量指定該類型的值域區(qū) 間。子界類型的形式： 常量常量 (type a=1.3;)兩個(gè)常 量必須是同一種順序類型。 1.類型相容性 類型相容是對(duì)參加同一運(yùn)算的兩個(gè)對(duì)象的 類型要求。設(shè)有兩個(gè)變量，如果滿足下列條件 之一，就說(shuō)這兩個(gè)變量的類型相容。 (1)兩個(gè)變量的類型相同 (2)一個(gè)變量的類型是另一個(gè)變量的子界。 (3)兩個(gè)變量的類型都是同一基類型的子界。 (4)兩個(gè)變量的類型是基類型相容的集合類 型。 (5)兩個(gè)變量的類型是成分相同的串類型。 .賦值相容性 賦值相容是對(duì)賦值操作的兩個(gè)對(duì)象的類型

3、要求。設(shè)賦值語(yǔ)句“：”左邊的變量類型為 t，右邊表達(dá)式的類型為e,若類型t和類型e滿 足下列條件之一，則稱他們是賦值相容的。 (1)t和e是相同的類型，而且類型不是文 件類型，也不是具有文件類成分的構(gòu)造類型。 (2)t是實(shí)型，而e是整型或整型的子界。 (3)t和e是類型相容的順序類型，并且e的 值不超出t所定義的值的范圍 (4)t和e是類型相容的集合類型，并且e的 值不超出t所定義的值的范圍 (5)t和e是類型相容的串類型 按月、日、年順序讀入一日期，輸出該 日期是這一年中的第幾天。 program date; var year:0.2010; month,i:1.12; day:1.31; dayth:integer; begin read(month,day,year); dyath:=0; for i:=1 to month-1 do case i of 1,3,5,7,8,10,12:dayth:=dayth+31; 2:if (year mod 4=0)and(year mod 1000)or(year mod 400 =0) then dayth:=dayth+29 else dayth=:=dayth+28; 4,6,9,11:dayth:=day th+30; end; dayth:=dayth+day; writeln(d