F#学习之路(4) 基本类型

     F#基本类型包括整型、浮点型、布尔型(bool)、字符型(char)、字符串型(string)，还有元组类型(tuple)、列表类型(list)、数组类型(array)，序列类型(seq)。另外，还允许我们定义记录类型(record type)、联合类型(union type)、活动模式等。当然，F#作为一种多范式的编程语言，支持所有的OO编程语法，允许我们定义类、接口、委托、结构等，本篇文章只介绍基本类型，其它类型在后续的文章中一一介绍。

      

 

    上面这张图，比较的详细的介绍了F#的基本类型。左边一列是字量值，中间一列是对应的F#类型，最后一列是对应的.net的类型。尽管上面没有列出整型和浮点型对应的.net类型，但实质上F#中的这些类型都是.net类型的别名。

 

type  uint8 = System. byte  

type  uint16=System.UInt16 

type  uint32=System.UInt32 

type  uint64=System.UInt64 

type   sbyte =System.SByte 

type  int16=System.Int16 

type  int32=System.Int32 

type  int64=System.Int64 

type   float =System.Double 

type   double =System.Double 

type  single=System.Single 

type  float32=System.Single 

 

     一、unit类型

     unit，是Microsoft.FSharp.Core命名空间下Unit类型的别名,它只有一个实例，字量值为()，表示null值。

 

     二、string类型，有几种字面值写法。 

     

# light 

# nowarn  " 62 "  
 

let  str1= " Test 

\tString "  
 

let  str2= " Test\ 

\tString "  



let  str3 =  @" Test 

\tString "  

 

let  str4=  @" Test\ 

\tString "  

 

[str1;str2;str3;str4]  | > List.iter ( fun  str  ->  printfn str) 

do  read_line () | >ignore 

 

     打印的结果：

 

         

     (1)str3与str4没有什么好说的，这个与c#的语法相似，表示双引号中字符不发生转义。

     (2)str1与str2的区别是续行符。F#中在一行的结尾使用 \ 来表示连接下一行，而不要加入\r\n换行符。

     (3)需要注意@与=之间要有空格。否则F#会认为这是一个重载的操作符。因为没有定义这个操作符，所以会出错。

 

     三、默认作用在这些类型的操作符是不检查数据溢出的。

 

 

# light 

# nowarn  " 62 "   

let  max_int=Int32.max_int  

do  printfn  " %d "  max_int 

do  printfn  " %d "  (max_int+ 1 ) 
 

open  Microsoft.FSharp.Core.Operators.Checked  

do  printfn  " %d "  (max_int+ 1 )  

do  read_line () | >ignore 

 

 

     在c#中有直接的关键字支持,使用checked来检查数据是否溢出。

     在F#中先使用open打开Microsoft.FSharp.Core.Operators.Checked，之后的操作符就会检查数据是否溢出，你运行上面的代码，会发现第二次打印时抛出了溢出异常。

 

     四、类型转换。

     F#是强类型的数据，它使用自动类型推断，不使用隐式类型转换。F#提供了一组函数来支持类型转换，这些函数名称与你要转换的目标类型名一致，另外还提供了一组函数来明显进行类型转换，这些函数使用函数名的规则是：源类型_to_目标类型，目标类型_of_源类型。

 

 

 

# light 

# nowarn  " 62 "  

do  printfn  " %A "  ( sbyte (- 20 )) 

do  printfn  " %A "  ( int ( 20L )) 

do  printfn  " %s "  (int_to_string( 40 )) 

do  printfn  " %s "  (string_of_int( 40 )) 

do  read_line () | >ignore 

 

     五、F#的基本类型大多数是.NET的类型的别名

     因为只不过是别名，那么你可以使用c#原有的知识来操作这些类型。大多数情况下你都符合你的期望。

     需要说明的有两个：

     （1）逻辑操作符

     

# light
# nowarn  " 62 "


let  _ =
     let  v= 15
     let  b =v> 9
    printfn  " %b "  (b && (v< 12   ||  not(v<> 15 )))

do  read_line () | >ignore

     

     在F#中&&逻辑与，||逻辑或与c#是一致的，都是短路的。逻辑非使用not。相等运算符使用=，而不是双等于==，不相等运算符使用<>。      

 

第二、字符串的操作符 

 

# light 

# nowarn  " 62 "  
 

let  str= " Test String "  

do  printfn  " str.[0]=%c\r\nstr[1..5]=%s "  str.[ 0 ] str.[ 5 ..str.Length- 1 ] 

do  printfn  " %s "  (str +  "  Concat " ) 
 

do  read_line () | >ignore 

 

F#的索引语法是.[]，并且索引支持范围或区间(range)，区间使用..

字符串连接同样使用+，不过还有一种兼容Ocaml语法 ^

 

 

总结：F#的大多数类型只是.Net类型的别名，我们原有.net知识基本上可以利用，这无疑加快了学习的步伐。

 

下一篇:F#学习之路(5) 元组类型