เหตุใดการจับคู่รูปแบบใน Scala จึงไม่ทำงานกับตัวแปร

ใช้ฟังก์ชันต่อไปนี้:

def fMatch(s: String) = {
    s match {
        case "a" => println("It was a")
        case _ => println("It was something else")
    }
}

รูปแบบนี้เข้ากันได้ดี:

scala> fMatch("a")
It was a

scala> fMatch("b")
It was something else

สิ่งที่ฉันอยากจะทำได้มีดังต่อไปนี้:

def mMatch(s: String) = {
    val target: String = "a"
    s match {
        case target => println("It was" + target)
        case _ => println("It was something else")
        }
}

สิ่งนี้ทำให้เกิดข้อผิดพลาดต่อไปนี้:

fMatch: (s: String)Unit
<console>:12: error: unreachable code
               case _ => println("It was something else")

ฉันเดาว่านี่เป็นเพราะมันคิดว่าเป้าหมายนั้นเป็นชื่อที่คุณต้องการกำหนดให้กับสิ่งที่ป้อนเข้า สองคำถาม:

1. ทำไมพฤติกรรมนี้ ไม่สามารถกรณีเพียงแค่มองหาตัวแปรที่มีอยู่ในขอบเขตที่มีประเภทที่เหมาะสมและใช้สิ่งเหล่านั้นก่อนและหากไม่พบให้ถือว่าเป้าหมายเป็นชื่อเพื่อจับคู่รูปแบบ?

2. มีวิธีแก้ปัญหานี้หรือไม่? วิธีใดในการจับคู่รูปแบบกับตัวแปร? ท้ายที่สุดแล้วเราสามารถใช้คำสั่ง big if ได้ แต่ตัวพิมพ์ใหญ่จะดูหรูหรา

สิ่งที่คุณกำลังมองหาเป็นตัวบ่งชี้ที่มีเสถียรภาพ ใน Scala สิ่งเหล่านี้ต้องขึ้นต้นด้วยตัวอักษรตัวพิมพ์ใหญ่หรือล้อมรอบด้วย backticks

ทั้งสองอย่างนี้จะเป็นวิธีแก้ปัญหาของคุณ:

def mMatch(s: String) = {
    val target: String = "a"
    s match {
        case `target` => println("It was" + target)
        case _ => println("It was something else")
    }
}

def mMatch2(s: String) = {
    val Target: String = "a"
    s match {
        case Target => println("It was" + Target)
        case _ => println("It was something else")
    }
}

เพื่อหลีกเลี่ยงการอ้างถึงตัวแปรที่มีอยู่แล้วในขอบเขตการปิดล้อมโดยไม่ได้ตั้งใจฉันคิดว่ามันสมเหตุสมผลแล้วที่พฤติกรรมเริ่มต้นสำหรับรูปแบบตัวพิมพ์เล็กจะเป็นตัวแปรและไม่ใช่ตัวระบุที่คงที่ เฉพาะเมื่อคุณเห็นสิ่งที่ขึ้นต้นด้วยตัวพิมพ์ใหญ่หรือในเครื่องหมายขีดหลังคุณจำเป็นต้องระวังว่าสิ่งนั้นมาจากขอบเขตรอบข้าง