F # - การจับคู่รูปแบบ

การจับคู่รูปแบบช่วยให้คุณสามารถ "เปรียบเทียบข้อมูลกับโครงสร้างเชิงตรรกะหรือโครงสร้างแยกย่อยข้อมูลออกเป็นส่วนที่เป็นส่วนประกอบหรือดึงข้อมูลจากข้อมูลด้วยวิธีต่างๆ"

กล่าวอีกนัยหนึ่งคือให้วิธีการทดสอบข้อมูลที่ยืดหยุ่นและมีประสิทธิภาพมากขึ้นตามเงื่อนไขต่างๆและทำการคำนวณบางอย่างตามเงื่อนไขที่เป็นไป

โดยแนวคิดแล้วมันเป็นเหมือนชุดของ if … then

ไวยากรณ์

ในแง่ระดับสูงการจับคู่รูปแบบจะเป็นไปตามไวยากรณ์นี้ใน F # -

match expr with
| pat1 - result1
| pat2 -> result2
| pat3 when expr2 -> result3
| _ -> defaultResult

ที่ไหน

• แต่ละ | สัญลักษณ์กำหนดเงื่อนไข
• สัญลักษณ์ -> หมายถึง "ถ้าเงื่อนไขเป็นจริงให้คืนค่านี้ ... "
• สัญลักษณ์ _ แสดงรูปแบบเริ่มต้นซึ่งหมายความว่าตรงกับสิ่งอื่น ๆ ทั้งหมดเช่นสัญลักษณ์แทน

ตัวอย่าง 1

ตัวอย่างต่อไปนี้คำนวณตัวเลขฟีโบนักชีโดยใช้ไวยากรณ์การจับคู่รูปแบบ -

let rec fib n =
   match n with
   | 0 -> 0
   | 1 -> 1
   | _ -> fib (n - 1) + fib (n - 2)
for i = 1 to 10 do
   printfn "Fibonacci %d: %d" i (fib i)

เมื่อคุณคอมไพล์และรันโปรแกรมจะให้ผลลัพธ์ดังต่อไปนี้ -

Fibonacci 1: 1
Fibonacci 2: 1
Fibonacci 3: 2
Fibonacci 4: 3
Fibonacci 5: 5
Fibonacci 6: 8
Fibonacci 7: 13
Fibonacci 8: 21
Fibonacci 9: 34
Fibonacci 10: 55

คุณยังสามารถรวมเงื่อนไขหลายเงื่อนไขเข้าด้วยกันซึ่งจะส่งคืนค่าเดียวกัน ตัวอย่างเช่น -

ตัวอย่าง 2

let printSeason month =
   match month with
   | "December" | "January" | "February" -> printfn "Winter"
   | "March" | "April" -> printfn "Spring"
   | "May" | "June" -> printfn "Summer"
   | "July" | "August" -> printfn "Rainy"
   | "September" | "October" | "November" -> printfn "Autumn"
   | _ -> printfn "Season depends on month!"

printSeason "February"
printSeason "April"
printSeason "November"
printSeason "July"

เมื่อคุณคอมไพล์และรันโปรแกรมจะให้ผลลัพธ์ดังต่อไปนี้ -

Winter
Spring
Autumn
Rainy

ฟังก์ชันการจับคู่รูปแบบ

F # ช่วยให้คุณสามารถเขียนฟังก์ชันการจับคู่รูปแบบโดยใช้ function คีย์เวิร์ด -

let getRate = function
   | "potato" -> 10.00
   | "brinjal" -> 20.50
   | "cauliflower" -> 21.00
   | "cabbage" -> 8.75
   | "carrot" -> 15.00
   | _ -> nan (* nan is a special value meaning "not a number" *)

printfn "%g"(getRate "potato")
printfn "%g"(getRate "brinjal")
printfn "%g"(getRate "cauliflower")
printfn "%g"(getRate "cabbage")
printfn "%g"(getRate "carrot")

เมื่อคุณคอมไพล์และรันโปรแกรมจะให้ผลลัพธ์ดังต่อไปนี้ -

10
20.5
21
8.75
15

การเพิ่มฟิลเตอร์หรือยามให้กับรูปแบบ

คุณสามารถเพิ่มตัวกรองหรือตัวป้องกันให้กับรูปแบบโดยใช้ไฟล์ when คำสำคัญ.

ตัวอย่าง 1

let sign = function
   | 0 -> 0
   | x when x < 0 -> -1
   | x when x > 0 -> 1

printfn "%d" (sign -20)
printfn "%d" (sign 20)
printfn "%d" (sign 0)

เมื่อคุณคอมไพล์และรันโปรแกรมจะให้ผลลัพธ์ดังต่อไปนี้ -

-1
1
0

ตัวอย่าง 2

let compareInt x =
   match x with
   | (var1, var2) when var1 > var2 -> printfn "%d is greater than %d" var1 var2
   | (var1, var2) when var1 < var2 -> printfn "%d is less than %d" var1 var2
   | (var1, var2) -> printfn "%d equals %d" var1 var2

compareInt (11,25)
compareInt (72, 10)
compareInt (0, 0)

เมื่อคุณคอมไพล์และรันโปรแกรมจะให้ผลลัพธ์ดังต่อไปนี้ -

11 is less than 25
72 is greater than 10
0 equals 0

รูปแบบการจับคู่กับสิ่งทอ

ตัวอย่างต่อไปนี้แสดงให้เห็นถึงรูปแบบที่ตรงกับสิ่งที่สอง -

let greeting (name, subject) =
   match (name, subject) with
   | ("Zara", _) -> "Hello, Zara"
   | (name, "English") -> "Hello, " + name + " from the department of English"
   | (name, _) when subject.StartsWith("Comp") -> "Hello, " + name + " from the department of Computer Sc."
   | (_, "Accounts and Finance") -> "Welcome to the department of Accounts and Finance!"
   | _ -> "You are not registered into the system"

printfn "%s" (greeting ("Zara", "English"))
printfn "%s" (greeting ("Raman", "Computer Science"))
printfn "%s" (greeting ("Ravi", "Mathematics"))

เมื่อคุณคอมไพล์และรันโปรแกรมจะให้ผลลัพธ์ดังต่อไปนี้ -

Hello, Zara
Hello, Raman from the department of Computer Sc.
You are not registered into the system

รูปแบบการจับคู่กับบันทึก

ตัวอย่างต่อไปนี้แสดงให้เห็นถึงการจับคู่รูปแบบกับระเบียน -

type Point = { x: float; y: float }
let evaluatePoint (point: Point) =
   match point with
   | { x = 0.0; y = 0.0 } -> printfn "Point is at the origin."
   | { x = xVal; y = 0.0 } -> printfn "Point is on the x-axis. Value is %f." xVal
   | { x = 0.0; y = yVal } -> printfn "Point is on the y-axis. Value is %f." yVal
   | { x = xVal; y = yVal } -> printfn "Point is at (%f, %f)." xVal yVal

evaluatePoint { x = 0.0; y = 0.0 }
evaluatePoint { x = 10.0; y = 0.0 }
evaluatePoint { x = 0.0; y = 10.0 }
evaluatePoint { x = 10.0; y = 10.0 }

เมื่อคุณคอมไพล์และรันโปรแกรมจะให้ผลลัพธ์ดังต่อไปนี้ -

Point is at the origin.
Point is on the x-axis. Value is 10.000000.
Point is on the y-axis. Value is 10.000000.
Point is at (10.000000, 10.000000).