Gå (sprog)

Egenskaber

Go-sproget blev oprettet til systemprogrammering og er siden blevet udvidet til applikationer, hvilket er det samme mål som C og især C ++. Det er et bydende og konkurrerende sprog . Dens kompileringshastighed (på grund af sin syntaks enkelhed) gør det undertiden brugt som et script-sprog.

Konkurrence

Go integrerer direkte, som Java , samtidig kodebehandling. Nøgleordet gotillader, at et funktionsopkald kører i konkurrence med den aktuelle goroutine . En goroutine , så navngivet ved fjern analogi med coroutines , er en tråd til udførelse, der overvåges af planlæggeren, der er inkluderet i runtime. Programmet drager derefter fordel af computerens topologi til bedst at udføre goroutinerne, ikke nødvendigvis i en ny tråd, men det er også muligt, at en gruppe goroutines multiplexes på en gruppe tråde.

For at kalde en funktion f , skriver vi f () . For at kalde det som en goroutine skriver vi simpelthen go f () , som ligner meget på call f- opgaven; af PL / I , et sprog der også styrer multitasking siden 1970.

Goroutines kommunikerer med hinanden ved at sende meddelelser , sende eller modtage meddelelser over kanaler.

Disse meddelelser synkroniserer goroutinerne med hinanden i overensstemmelse med CSP- modellen , der af forfatterne anses for at være mere intuitiv end den multitrådede model (med synkronisering af semaforer, der omfatter låse, en forestilling også introduceret af Dijkstra ).

Falske venner

I sprogets aktuelle tilstand (2018)

Sproget indeholder aspekter af Pascal og C, men vi udsætter os for en masse fejl, hvis vi øjeblikkeligt glemmer, at vi hverken er i Pascal eller i C. Så a:=balloker en variabel a ved at tildele den værdien og typen b, men hvis variablen er allerede tildelt, skal du bare skrive a=b. Ikke at forveksle med a==b(ligeværdighed). Udtrykket bag a ifhar ikke brug for parenteser, men det udtryk, der skal udføres, hvis testen består, skal være lukket i parentes. I sin nuværende tilstand tolererer ikke compileren, at en erklæret variabel ikke bruges, hvilket bestemt tilskynder til god praksis, men gør trial and error til fejlfinding af programmer meget smertefulde.

Objektsamlinger

Go kender skalartyper (heltal inteller int64, flyder float, strenge string), arrays indekseret af heltal, der starter ved 0, kort, der er samlinger af objekter, der er indekseret med nøgler (kaldet ordbøger , hashes eller associative arrays på andre sprog) og skiver, der er en dynamisk generalisering af arrays.

Det har let adgang til læse- og skrivefiler, hvad enten det er i linje- eller tegntilstand, eller ved at absorbere hele filen gennem os- og io- pakkerne .

Type system

Go har et system af statisk type , stærkt skrevet , strukturelt og sikkert , baseret på typen slutning med muligheden for at bruge en eksplicit typing.

For at give et eksempel er skrivning s := "Camélia", der erklærer, tildeler og initialiserer s, mulig og ikke tvinger skrivning var s string = "Camélia", som dog forbliver accepteret.

Kompatibilitet med sammensat type er baseret på egenskaber snarere end navn. Det vil sige, at to sammensatte typer vil være ækvivalente, hvis deres egenskaber er ækvivalente: samme navn for ejendommen og typeækvivalens. Dette er strukturel typning .

Dette har som konsekvens, at sproget ikke er objekt i klassisk forstand (hverken med klasser eller med prototype ), men designerne af sproget har dog taget et mere originalt valg af et statisk sprog. Det er muligt at definere grænseflader, der bærer metoder, der beskriver et objekts opførsel (det er også let muligt at blande flere grænseflader i en). Go-funktioner kan erklære at acceptere et argument fra denne grænseflade. Et objekt, der erklærer alle metoderne i denne grænseflade, med den samme signatur, kan sendes som et argument for denne metode. Typekontrol udføres statisk af compileren.

Det faktum, at Go ikke er et objekt i klassisk forstand, betyder at Go ikke har nogen arv af typen og ingen underklasse. Dette gør det muligt at omgå de problemer, der er forbundet med disse systemer, såsom flere arv på sprog, der tillader det (f.eks. I C ++ ) eller simpel arv ( f.eks. I Java ). Med egenskabsbaseret typeækvivalens har Go ikke brug for arv af typen. Underklassering efterlignes af "type boarding". Dette gør det let at blande to uafhængigt designede kodebaser uden at skulle dele almindelige typer.

Synligheden af ​​strukturer, attributter, variabler, konstanter, metoder, typer på øverste niveau og funktioner uden for deres deklarationspakke er defineret ved tilfældet med det første tegn i deres identifikatorer .

Runer

Go fungerer i Unicode både til dets kildekode og til behandling af strenge. Dens litteratur dog opgiver de udtryk kodepunkter for forkortelse af runer . Procedurer gør det muligt at omdanne karakterrepræsentationer til runer (enhver rune, der har en fast størrelse) og transformere ved hjælp af standardprocedurer en række Unicode-tegn til runer i en matrix (en rune pr. Element) såvel som omvendt uden at skulle jonglere repræsentationer med variabel længde eller bekymring for, om maskinen er lille-endian eller big-endian . Portabilitet er derfor sikret.

At tale om runer undgår de uklarheder, der ville være til stede med karakter eller byte . For at udforske en kæde bruger vi enten kædefunktioner direkte, eller så gennemsøger vi den fra rune til rune.

Kapitaliseringen af ​​nationale tegn (for eksempel "è" ⇒ "È") sker simpelthen ved unicode.ToUpper(r rune) rune. Runerne giver dig mulighed for at specificere i enhver Unicode, Thai, kinesisk, græsk karakter, inklusive APL- sprog - og også ethvert humørikon, der findes der.

Forskellige

I Go håndteres hukommelsesstyring af en affaldssamler .

Der er ingen generisk programmering endnu, selvom sprogets designere tænker over det. Der er ingen metodeoverbelastning eller pegearitmetik . Endelig er der ingen påstande eller undtagelser . At erstatte disse to, GB tilbyder nøgleord defer, panicog recoversom tilvejebringer mekanismer svarende til undtagelse sprog håndteringssystemer såsom C ++ og Java (nøgleord try, catch, finallyog throw).

Go kan interface med C / C ++ - biblioteker, tredjepartsudviklere, der allerede har udviklet bindinger til SDL og MySQL .

Go definerer et standard kodeformat (med hensyn til fordybninger og præsentation af kontrolstrukturer) og giver et værktøj til at anvende det (go fmt).

Go tilbyder også et kodebaseret dokumentationssystem og testramme.

Kompileringsenheden for go er den pakke, der er repræsenteret i standardimplementeringen af ​​en mappe og filerne direkte indeholdt i den mappe.

Importen af ​​en pakke udføres ved hjælp af dens importsti og kan enten specificere et standardbibliotek eller også tredjepartspakker installeret i eksterne kildelager (understøttes i øjeblikket: lager under svn , git , mercurial og basar ).

Eksperimentelle udvidelser

Selvom Go oprindeligt er beregnet til at producere robuste systemapplikationer og ikke brugerprogrammer, udvikles links til OpenGL eksperimentelt.

Biblioteker

Ligesom C kræver Go, at du angiver, hvilke biblioteker du vil bruge. I modsætning til C betragter det fejl ved kompilering, hvis dette bibliotek ikke bruges. Go-kompilatoren indeholder faktisk ingen advarselsmeddelelser fra designernes valg: "Det er ikke vigtigt at angive, hvad det ikke ville være nødvendigt at rette".

Hovedbiblioteker:

• fmt giver 19 I / O-formateringsfunktioner inklusive Println , Print og Printf  ;
• io leverer selv input-output-procedurer, herunder ReadFull , Seek , WriteString ...
• matematik giver et sæt matematiske funktioner, såsom Min , Max , Sqrt , Log ...
• os grænseflader systemet, for eksempel for at åbne og lukke filer, herunder OpenFile , ReadAt ...
• strings giver omkring halvtreds funktioner, der beskæftiger sig med karakterstrenge;
• time giver værktøjer til måling af udførelsestider, inklusive time.Now og time.Since () .

Biblioteker er undertiden uafhængige, nogle gange afhængige. Der er også flere måder at gøre lignende ting på. For eksempel kan du læse en fil ved at bruge ioutil.ReadAll , file.Read () eller bufio.NewScanner () .

Vi får listen over biblioteker fra kommandolinjen ved go list all.

Prøveprogram

Go tillader rekursivt opkald af programmer, som nogle gange kan gøre dem mere læsbare uden overdreven tab af hastighed: