Pattern matching yra pagrindinė programinės įrangos kūrimo funkcija. Nors pattern matching taikomas keliose vietose, jo dabartinis naudojimas yra ribotas: Noriu palyginti modelio suderinamumo galią keliose programavimo kalbose, su kuriomis esu susipažinęs šiame pranešime. switch case Manau, kad kiekvienas skaitytojas yra susipažinęs su Sintaksė paveldėta iš C. Trumpai tariant: switch case 
 
 
 
 
 Perjungimo sąlyga nurodo vertės grąžinimo pareiškimą. Kiekviena atvejo sąlyga nustato kitą pareiškimą; jei reikšmė atitinka pareiškimą, ji atlieka susijusį bloką. Pirmoji sąlyga, kuri atitinka, gauna savo bloką įvykdyta. C atveju atvejo sąlygos yra pertraukos; turite aiškiai nutraukti, kad išvengtumėte jungiklio, kitaip vertinamas kitas atvejis. Java modelio suderinimas Pradėsiu nuo Java, nes tai buvo pirmoji programavimo kalba, kurią naudojau profesionaliame kontekste. "Java" modelio atitikimas išsivystė daug įvairiose versijose. Čia yra "oficiali" versijos 23 pavyzdys, šiek tiek pakeistas. Įgyvendinimas ir a Apskaičiuokite savo perimetrą, tai tikrai. Puikus objektinio programavimo pavyzdys. Shape static not interface Shape { }
record Rectangle(double length, double width) implements Shape { }
record Circle(double radius) implements Shape { }

public class Main {
    static double getPerimeter(Shape s) throws IllegalArgumentException {
        return switch (s) {                                                 //1
            case Rectangle r when r.length() == r.width() -> {              //2
                System.out.println("Square detected");
                    yield 4 * r.length();
            }
            case Rectangle r ->                                             //3
                2 * r.length() + 2 * r.width();
            case Circle c ->                                                //4
                2 * c.radius() * Math.PI;
            default ->                                                      //5
                throw new IllegalArgumentException("Unrecognized shape");
        };
    }
}
 
 
 
 
 
 
 Atsižvelgti į formos parametrą kaip s Įvertinkite, ar s yra stačiakampis ir ar stačiakampis yra kvadratas Įvertinkite, ar s yra stačiakampis Įvertinkite, ar s yra apskritimas Jei nė viena iš ankstesnių sąlygų neatitinka, numatyta išimtis Ši „Java“ versija bus mūsų bazinė. Naujojo modelio ypatybės sintaksė switch Svyruoja Naujoji sintaksė turi tam tikrų privalumų, palyginti su palikimu be strėlės Paveldėta iš C. switch C stiliaus Laikrodis yra užbaigtas, o po to, kai užbaigtas blokas, jis veikia kitą blokuoti. kad to išvengtumėte, turite nustatyti Ne taip gerais senomis dienomis kai kurie kūrėjai pasinaudojo šia funkcija, kad išvengtų kodo dubliavimo. case case case break Tačiau patirtis parodė, kad tai buvo per daug galimų klaidų priežastis: šiuolaikinės kodavimo praktikos linkusios to išvengti. Naudojant naują rodyklės sintaksę, paleidimo laikas tik įvertina atitinkamą Blokuoti break case C stiliaus klauzulės vertina tik paprastas reikšmes. Bendruomenė švenčia Java 7 kaip didžiulę naudą, kai ji leido String reikšmes. Java 21 nuėjo dar toliau: kartu su strėlės sintaksija, ji leido perjungti tipus. tipą . case Shape Be to, jei keičiatės klasėmis Jei klasių hierarchija , kompiliatorius gali automatiškai aptikti trūkstamus atvejus. Galiausiai, 24 versija pridėjo papildomą neprivalomą Iš filtro. ir sealed when Atvirkštinėje pusėje, senoje C sintaksėje, paleidimo laikas tiesiogiai šokinėja į teisingą Naujoji strėlės sintaktika jas vertina nuosekliai, lygiai taip pat, kaip Apie pareiškimus. case if else Tolesniuose skyriuose mes perkelsime kodą į kitas kalbas. „Scala“ modelio derinimas „Scala“ modelio derinimas nuo pat jos įkūrimo nebuvo antras. „Kotlin“ įkvėpė daug. trait Shape
case class Rectangle(length: Double, width: Double) extends Shape
case class Circle(radius: Double) extends Shape

def getPerimeter(s: Shape) = {
  s match {                                                                 //1
    case Rectangle(length, width) if length == width =>                     //2-3
      println("Square detected")
      4 * length
    case Rectangle(length, width) => 2 * length + 2 * width                 //3-4
    case Circle(radius) => 2 * radius * Math.PI                             //3-5
    case _ => throw new IllegalArgumentException("Unrecognized shape")      //6
  }
}
 
 
 
 
 
 
 
 Naudokite s nuorodą tiesiogiai Įvertinkite, ar s yra stačiakampis ir ar stačiakampis yra kvadratas Scala papildomai atitinka klasės atributus Įvertinkite, ar s yra stačiakampis Įvertinkite, ar s yra apskritimas Jei nė viena iš ankstesnių sąlygų neatitinka, numatyta išimtis Kotlino modelio derinimas Leiskite mums išversti Java kodą į Kotlin. Aktyvuokite jį   Apibūdinimo funkcija aprašyta . privalo Eksperimentinė Xwhen-guards Išsaugoti 371 interface Shape
data class Rectangle(val length: Double, val width: Double): Shape
data class Circle(val radius: Double): Shape

fun getPerimeter(s: Shape) = when (s) {                                     //1
        is Rectangle if s.length == s.width -> {                            //2
            println("Square detected")
            4 * s.length
        }
        is Rectangle -> 2 * s.length + 2 * s.width                          //3
        is Circle -> 2 * s.radius * Math.PI                                 //4
        else -> throw IllegalArgumentException("Unknown shape")             //5
    }
}
 
 
 
 
 
 
 Atsižvelgti į formos parametrą kaip s Įvertinkite, ar s yra stačiakampis ir ar stačiakampio plotis yra lygus jo aukštis Įvertinkite, ar s yra stačiakampis Įvertinkite, ar s yra apskritimas Jei nė viena iš ankstesnių sąlygų neatitinka, numatyta išimtis Kotlino modelio atitikimas labai panašus į Java, su nedideliais sintaksės pokyčiais, , Pakeiskite . e. g if when Palyginamoji Kotlin vs. Java evoliucija atitikimo modeliuose yra gana apšviečianti. „Java“ atsiliko nuo senosios C sintaksės, o „Kotlin“ jau galėtų atitikti betono tipus nuo pat pradžių. 2020 m. „Java 14“ sumažino atotrūkį nuo rodyklės operatoriaus; po metų „Java 16“ visiškai uždarė atotrūkį su galimybe atitikti betono tipus. Išlygų . when Kotlino eksperimentinė prigimtis Tai reiškia, kad „Java“ pranoko „Java“ – bent jau šioje srityje! if Python modelio suderinimas Anksčiau Python nieko panašaus nepasiūlė. Nuo versijos 3.10 ji siūlo tas pačias galimybes elegantišku būdu: switch class Shape:
    pass


class Rectangle(Shape):
    def __init__(self, length: float, width: float):
        self.length = length
        self.width = width


class Circle(Shape):
    def __init__(self, radius: float):
        self.radius = radius


def get_perimeter(s: Shape) -> float:
    match s:
        case Rectangle(length=l, width=w) if l == w:
            print("Square detected")
            return 4 * l
        case Rectangle(length=l, width=w):
            return 2 * l + 2 * w
        case Circle(radius=r):
            return 2 * pi * r
        case _:
            raise ValueError("Unknown shape")
 Laikrodis įvertina Tai reiškia, kad klaidos iš eilės, kaip ir JVM kalbose. case Rust's Pattern atitikimas "Rust" požiūris į atminties valdymą gerai neveikia su tikrinimo tipais. trumpai tariant, "Rust" siūlo dvi pagrindines koncepcijas: 
 
 
 
 
 Struktūros yra struktūrizuoti duomenų laikikliai; jų atminties dydis žinomas kompiliavimo metu Savybės yra sutartys, panašios į sąsajas Galite pateikti funkcijos įgyvendinimą struktūrai Kadangi nuoroda gali nurodyti skirtingo dydžio struktūras, kompiliatorius negali žinoti jos dydžio kompiliacijos metu ir turi įdėti kintamąjį ant krūvos vietoj krūvos. Aš bandžiau perkelti originalų kodą į "Rust one-to-one" švietimo tikslais. "Java" originalas nesinaudoja polimorfizmu; tai nėra puikus. "Rust" tai dar bjauresnis. Įdomu suprasti, kad nors "Rust" nėra objektų orientuota programavimo kalba, tai veda jus naudoti polimorfizmą. Įspėjimas: aš nerekomenduoju sekančio kodo ir neigsiu bet kokios asociacijos su juo! trait Shape: Any {
    fn as_any(&self) -> &dyn Any;                                     //1
}

struct Circle {
    radius: f64,
}

struct Rectangle {
    width: f64,
    height: f64,
}

impl Shape for Circle {
    fn as_any(&self) -> &dyn Any {                                    //2
        self
    }
}
impl Shape for Rectangle {
    fn as_any(&self) -> &dyn Any {                                    //2
        self
    }
}

fn get_perimeter(s: Box<dyn Shape>) -> f64 {
    match s.as_any() {                                                //3
        any if any.is::<Rectangle>() => {                             //4
            let rectangle = any.downcast_ref::<Rectangle>().unwrap(); //5
            if rectangle.width == rectangle.height {
                println!("Square matched");
                4.0 * rectangle.width
            } else {
                2.0 * (rectangle.width + rectangle.height)
            }
        }
        any if any.is::<Circle>() => {                                //4
            let circle = any.downcast_ref::<Circle>().unwrap();       //5
            2.0 * std::f64::consts::PI * circle.radius
        }
        _ => panic!()
    }
}
 
 
 
 
 
 
 Rust tipo sistema nesuteikia būdų, kaip gauti kintamosios tipą. turime sukurti tam skirtą funkciją. Įdiegti struktūrų funkciją Rungtynės dėl pagrindinės struktūros tipo Patikrinkite tipą Atsisiųsti į pagrindinę struktūrą, kad būtų naudojami jos laukai Šis dirbtinis kodo portas iš viršaus klaidingai atstovauja „Rust“ modelio suderinimo gebėjimus. . Daug vietų Išvada Tarp visų kalbų, aprašytų pranešime, Scala buvo pirmoji, teikianti modelio atitikimą Daugelį metų tai buvo Gralis, kurį kiti bandė pasiekti; Kotlin ir Java pagaliau pasiekė šį etapą. switch Be JVM, Python ir Rust pasižymi galingais modelio atitikimo gebėjimais. Destruktuojant, modelio suderinimas yra didžiulė pagalba kūrėjams, norintiems rašyti įskaitomą ir tvarkomą kodą. Visą šio įrašo kodą galima rasti . „GitHub“ To go further: 
 
 
 
 
 
 Programinė įranga „Java 23“ Pattern matching į Kotlin Šiuolaikinis modelis Scala Rungtynės Python Pattern matching į Rust Iš pradžių paskelbta A Java Geek 20 liepos, 2025 Java Geek žaidimai

Read all my posts!

Read My Stories

Follow @nicolas_frankel on Twitter

Šis garso įrašas sukurtas originalia istorijos kalba!

Skirtingų kalbų modelio atitikimo palyginimas: Java, Scala ir kt.

About Author

KOMENTARAI

PABAIGTI ŽYMES

ŠIS STRAIPSNIS BUVO PRISTATYMAS

Related Stories

Light-Mode

Classic

Newspaper

Dark-Mode

Neon Noir

Minty

HN StartUps