![\"PHP](\"https:\/\/kinsta.com\/wp-content\/uploads\/2020\/05\/php-8-released.png\")
\u00c4r du redo? D\u00e5 k\u00f6r vi ig\u00e5ng!<\/p>\n
PHP-JIT (Just in Time-kompilator)<\/h2>\n
Den mest hyllade funktionen som kommer med PHP 8 \u00e4r Just-In-time (JIT)-kompilatorn<\/strong>. Vad handlar JIT om?<\/p>\n RFC-f\u00f6rslaget<\/a> beskriver JIT enligt f\u00f6ljande:<\/p>\n ”PHP JIT implementeras som en n\u00e4stan oberoende del av OPcache. Det kan vara aktiverat\/inaktiverat vid PHPs kompileringstid och vid driftstid. N\u00e4r det \u00e4r aktiverat lagras inbyggd kod f\u00f6r PHP-filer i en ytterligare region i OPcachens delade minne och op_array\u2192opcodes[].handler sparar visare till ing\u00e5ngspunkterna f\u00f6r JIT-koden.\u201d<\/p><\/blockquote>\n S\u00e5, hur kom vi till JIT och vad \u00e4r skillnaden mellan JIT vs OPcache?<\/p>\n F\u00f6r att b\u00e4ttre f\u00f6rst\u00e5 vad JIT betyder f\u00f6r PHP, l\u00e5t oss ta en snabb titt p\u00e5 hur PHP<\/a> exekverar fr\u00e5n k\u00e4llkoden till slutresultatet.<\/p>\n PHP-exekveringen \u00e4r en 4-stegsprocess:<\/p>\n F\u00f6ljande bild visar en visuell representation av den grundl\u00e4ggande PHP-exekveringsprocessen.<\/p>\n S\u00e5, hur g\u00f6r OPcache PHP snabbare? Och vad f\u00f6r\u00e4ndras i exekveringsprocessen med JIT?<\/p>\n PHP \u00e4r ett tolkningsspr\u00e5k. Detta inneb\u00e4r att n\u00e4r ett PHP-skript k\u00f6rs kommer tolken parsa, kompilera, och exekvera koden om och om igen f\u00f6r varje beg\u00e4ran. Detta kan leda till att det sl\u00f6sas CPU-resurser<\/a> och tar extra l\u00e5ng tid.<\/p>\n Det \u00e4r h\u00e4r OPcache-till\u00e4gget<\/a> kommer in i bilden.<\/p>\n ”OPcache f\u00f6rb\u00e4ttrar PHP-prestanda genom att lagra f\u00f6rkompilerade skript-bytekod i ett delat minne, vilket tar bort behovet av att PHP laddar och parsar skript f\u00f6r varje beg\u00e4ran.\u201d<\/p><\/blockquote>\n Med OPcache aktiverat g\u00e5r PHP-tolken igenom 4-stegsprocessen som n\u00e4mns ovan endast f\u00f6rsta g\u00e5ngen skriptet k\u00f6rs. Eftersom PHP-bytekoder lagras i ett delat minne \u00e4r de omedelbart tillg\u00e4ngliga som mellanliggande representation p\u00e5 l\u00e5g niv\u00e5, och kan exekveras p\u00e5 Zend VM direkt.<\/p>\n Fr\u00e5n och med PHP 5.5 \u00e4r Zend OPcache-till\u00e4gget tillg\u00e4ngligt som standard och du kan kontrollera om du har det korrekt konfigurerat genom att helt enkelt anropa F\u00f6reslagen l\u00e4sning: Hur man f\u00f6rb\u00e4ttrar PHP-minnesgr\u00e4nsen i WordPress<\/a>.<\/p>\n OPcache har nyligen f\u00f6rb\u00e4ttrats med implementeringen av f\u00f6rladdning<\/a>, en ny OPcache-funktion som lades till med PHP 7.4<\/a>. F\u00f6rladdning ger ett s\u00e4tt att lagra en angiven upps\u00e4ttning skript i OPcacheminnet ”innan n\u00e5gon applikationskod k\u00f6rs”<\/em>, men det ger inte n\u00e5gon p\u00e5taglig prestandaf\u00f6rb\u00e4ttring f\u00f6r typiska webbaserade applikationer.<\/p>\n Du kan l\u00e4sa mer om f\u00f6rladdning i v\u00e5r introduktion till PHP 7.4<\/a>.<\/p>\n Med JIT tar PHP ett kliv fram\u00e5t.<\/p>\n \u00c4ven om Opkoder \u00e4r mellanliggande representation p\u00e5 l\u00e5g niv\u00e5 m\u00e5ste de fortfarande kompileras till maskinkod. JIT ”introducerar inte n\u00e5gon ytterligare IR-form (Mellanliggande Representation)”, men anv\u00e4nder DynASM<\/a> (Dynamic Assembler f\u00f6r kodgenereringsmotorer) f\u00f6r att generera maskinkod direkt fr\u00e5n PHP-bytekod.<\/p>\n Kort sagt \u00f6vers\u00e4tter JIT de heta delarna av den mellanliggande koden till maskinkod<\/strong>. Genom att kringg\u00e5 kompilering skulle det kunna ge betydande f\u00f6rb\u00e4ttringar i prestanda och minnesanv\u00e4ndning.<\/p>\n Zeev Surasky, medf\u00f6rfattare till PHP JIT-f\u00f6rslaget, visar hur mycket snabbare ber\u00e4kningarna skulle vara med JIT:<\/p>\n Men, skulle JIT effektivt f\u00f6rb\u00e4ttra WordPress-prestanda<\/a>?<\/p>\n Enligt JIT-f\u00f6rslaget b\u00f6r implementeringen av just in time-kompilatorn f\u00f6rb\u00e4ttra PHP-prestanda. Men skulle vi verkligen uppleva s\u00e5dana f\u00f6rb\u00e4ttringar i verkliga applikationer som WordPress?<\/p>\n De tidiga testerna visar att JIT skulle g\u00f6ra CPU-intensiva arbetsbelastningar betydligt snabbare, men RFC varnar<\/a>:<\/p>\n ”…precis som de tidigare f\u00f6rs\u00f6ken \u2013 det verkar f\u00f6r n\u00e4rvarande inte avsev\u00e4rt f\u00f6rb\u00e4ttra verkliga applikationer som WordPress (med opcache.jit=1235 326 f\u00f6rfr\u00e5gningar\/s vs 315 f\u00f6rfr\u00e5gningar\/s).<\/p>\n Det \u00e4r planerat att tillhandah\u00e5lla ytterligare anstr\u00e4ngningar och f\u00f6rb\u00e4ttra JIT f\u00f6r verkliga applikationer, med hj\u00e4lp av profilering och spekulativa optimeringar.\u201d<\/p><\/blockquote>\n Med JIT aktiverat skulle koden inte k\u00f6ras av Zend VM, utan av sj\u00e4lva CPU:n och detta skulle f\u00f6rb\u00e4ttra ber\u00e4kningshastigheten. Webbapplikationer som WordPress<\/a> \u00e4r ocks\u00e5 beroende av andra faktorer som TTFB<\/a>, databasoptimering<\/a>, HTTP-f\u00f6rfr\u00e5gningar<\/a> etc.<\/p>\n S\u00e5 vi b\u00f6r inte f\u00f6rv\u00e4nta oss en betydande \u00f6kning av PHP-k\u00f6rningshastigheten n\u00e4r det g\u00e4ller WordPress och liknande appar.\u00a0\u00c4nd\u00e5 kan JIT ge flera f\u00f6rdelar f\u00f6r utvecklare<\/a>.<\/p>\n Enligt Nikita Popov<\/a>:<\/p>\n ”F\u00f6rdelarna med JIT-kompilatorn \u00e4r ungef\u00e4r (och som redan beskrivits i dess RFC):<\/p>\n S\u00e5 medan JIT knappast kommer att medf\u00f6ra stora f\u00f6rb\u00e4ttringar av WordPress-prestanda kommer det att uppgradera PHP till n\u00e4sta niv\u00e5, vilket g\u00f6r det till ett spr\u00e5k som m\u00e5nga funktioner nu kan skrivas direkt i.<\/p>\n Nackdelen skulle dock vara den st\u00f6rre komplexiteten som kan leda till \u00f6kade kostnader f\u00f6r underh\u00e5ll<\/a>, stabilitet och fels\u00f6kning<\/a>. Enligt Dmitrij Stogov:<\/p>\n ”JIT \u00e4r extremt enkelt, men \u00e4nd\u00e5 \u00f6kar det niv\u00e5n p\u00e5 hela PHP-komplexiteten, risken f\u00f6r nya typer av buggar och kostnader f\u00f6r utveckling och underh\u00e5ll.\u201d<\/p><\/blockquote>\n F\u00f6rslaget att inkludera JIT i PHP 8 godk\u00e4ndes med 50 r\u00f6ster mot 2.<\/p>\n\n F\u00f6rutom JIT kan vi f\u00f6rv\u00e4nta oss m\u00e5nga funktioner och f\u00f6rb\u00e4ttringar med PHP 8. F\u00f6ljande lista \u00e4r v\u00e5rt handplockade urval av kommande till\u00e4gg och f\u00f6r\u00e4ndringar som b\u00f6r g\u00f6ra PHP mer tillf\u00f6rlitligt och effektivt.<\/p>\n Som ett resultat av en p\u00e5g\u00e5ende diskussion om att f\u00f6rb\u00e4ttra objekt-ergonomi i PHP<\/a> f\u00f6resl\u00e5r Constructor Property Promotion RFC <\/a> en ny och mer kortfattad syntax som f\u00f6renklar egenskaps-deklarationen, vilket g\u00f6r den kortare och mindre r\u00f6rig.<\/p>\n Detta f\u00f6rslag g\u00e4ller endast fr\u00e4mjade parametrar,<\/strong> dvs. de metodparametrar som f\u00f6reg\u00e5s av offentliga,<\/strong> skyddade <\/strong>och privata<\/strong> synlighetsnyckelord.<\/p>\n F\u00f6r n\u00e4rvarande m\u00e5ste alla egenskaper upprepas flera g\u00e5nger (minst fyra g\u00e5nger) innan vi kan anv\u00e4nda dem med objekt. Begrunda f\u00f6ljande exempel fr\u00e5n RFC:<\/p>\n Enligt Nikita Popov, RFC-f\u00f6rfattaren, m\u00e5ste vi skriva egenskaps-namnet minst fyra g\u00e5nger p\u00e5 tre olika platser: egenskaps-deklarationen, konstrukt\u00f6rs-parametrarna och egenskaps–tilldelningen. Denna syntax \u00e4r inte s\u00e4rskilt anv\u00e4ndbar, s\u00e4rskilt i klasser med m\u00e5nga egenskaper och mer beskrivande namn.<\/p>\n Denna RFC f\u00f6resl\u00e5r att konstrukt\u00f6rs och parameterdefinitionen sl\u00e5s samman. S\u00e5 fr\u00e5n och med PHP 8 har vi ett mer anv\u00e4ndbart s\u00e4tt att deklarera parametrar. Koden ovan kan \u00e4ndras enligt nedanst\u00e5ende beskrivning:<\/p>\n Och det \u00e4r allt. S\u00e5 vi har ett nytt s\u00e4tt att fr\u00e4mja egenskaper som \u00e4r kortare, mer l\u00e4sbara och mindre ben\u00e4gna att bli fel. Enligt Nikita<\/a>:<\/p>\n Vi g\u00f6r en enkel syntaktisk f\u00f6rvandling. Men det minskar m\u00e4ngden pannpl\u00e5tskod som du m\u00e5ste skriva f\u00f6r v\u00e4rdeobjekt i synnerhet…<\/p><\/blockquote>\n Egenskapsdeklarationen omvandlas eftersom vi uttryckligen har deklarerat dessa egenskaper. Vi kan anv\u00e4nda reflektions-API:et<\/a> f\u00f6r att anv\u00e4nda oss av introspekt p\u00e5 egenskapsdefinitioner f\u00f6re k\u00f6rningen (se Desugaring<\/a>):<\/p>\n Reflektion (och andra introspektionsmekanismer) kommer att observera tillst\u00e5ndet efter desugaring. Detta inneb\u00e4r att marknadsf\u00f6rda egenskaper kommer att framtr\u00e4da p\u00e5 samma s\u00e4tt som uttryckligen deklarerade egenskaper, och marknadsf\u00f6rda konstrukt\u00f6rs-argument visas som vanliga konstrukt\u00f6rs-argument.<\/p><\/blockquote>\n Vi har inga begr\u00e4nsningar n\u00e4r det g\u00e4ller att anv\u00e4nda arv i samband med fr\u00e4mjade parametrar. Det finns hursomhelst inget s\u00e4rskilt samband mellan \u00f6verordnade och underordnade klasskonstrukt\u00f6rer. Enligt Nikita<\/a>:<\/p>\n Vanligtvis s\u00e4ger vi att metoder alltid m\u00e5ste vara kompatibla med f\u00f6r\u00e4ldra-metoden. […] men den h\u00e4r regeln g\u00e4ller inte f\u00f6r konstrukt\u00f6ren. S\u00e5 konstrukt\u00f6ren tillh\u00f6r verkligen en enda klass, och konstrukt\u00f6rer mellan \u00f6verordnad och underordnad klass beh\u00f6ver inte vara kompatibla p\u00e5 n\u00e5got s\u00e4tt.<\/p><\/blockquote>\n H\u00e4r \u00e4r ett exempel:<\/p>\n Fr\u00e4mjade egenskaper \u00e4r till\u00e5tna i icke-abstrakta konstrukt\u00f6rer och egenskaper, men det finns flera begr\u00e4nsningar som \u00e4r v\u00e4rda att n\u00e4mna.<\/p>\n Fr\u00e4mjade egenskaper \u00e4r inte till\u00e5tna i abstrakta klasser och gr\u00e4nssnitt:<\/p>\n En av de mest noterbara begr\u00e4nsningarna \u00e4r relaterad till ogiltighet. Vi anv\u00e4nde tidigare en typ som inte uttryckligen var ogiltig. Men med ett ogiltigt standardv\u00e4rde var typen underf\u00f6rst\u00e5tt ogiltig. N\u00e4r det g\u00e4ller egenskapstyper har vi inte detta implicita beteende eftersom fr\u00e4mjade parametrar kr\u00e4ver en egenskapsdeklaration och den ogiltiga typen m\u00e5ste uttryckligen deklareras. Se f\u00f6ljande exempel fr\u00e5n RFC:<\/p>\n Eftersom anropningsbar inte \u00e4r en typ som st\u00f6ds f\u00f6r egenskaper<\/a> f\u00e5r vi inte anv\u00e4nda den anropande typen i fr\u00e4mjade egenskaper:<\/p>\n Endast ett synlighetsnyckelord kan anv\u00e4ndas med fr\u00e4mjade parametrar, s\u00e5 det \u00e4r inte till\u00e5tet att deklarera konstrukt\u00f6rs-egenskaper med nyckelordet Vi kan kombinera fr\u00e4mjade egenskaper och explicita egenskaper i samma klass, men egenskaper kan inte deklareras tv\u00e5 g\u00e5nger:<\/p>\n Anledningen h\u00e4r \u00e4r att den deklarerade typen skiljer sig fr\u00e5n den variadiska parametern, som faktiskt \u00e4r en matris:<\/p>\n F\u00f6r en n\u00e4rmare titt p\u00e5 fr\u00e4mjande av konstrukt\u00f6rs-egenskaper, lyssna p\u00e5 den h\u00e4r intervjun med Nikita Popov<\/a>. F\u00f6r en djupg\u00e5ende \u00f6versikt \u00f6ver objekt-ergonomi i PHP, se det h\u00e4r inl\u00e4gget<\/a> och f\u00f6ljande intervju med Larry Garfield<\/a>.<\/p>\n Traits<\/a> definieras som ”en mekanism f\u00f6r kod\u00e5teranv\u00e4ndning i arvsbaserade spr\u00e5k som PHP”. Vanligtvis anv\u00e4nds de f\u00f6r att deklarera metoder som kan anv\u00e4ndas i flera klasser.<\/p>\n De kan ocks\u00e5 inneh\u00e5lla abstrakta metoder. Dessa metoder deklarerar helt enkelt metodens signatur, men metodens implementering m\u00e5ste ske inom klassen med hj\u00e4lp av detta trait.<\/p>\n Enligt PHP-manualen<\/a>;<\/p>\n ”Traits st\u00f6der anv\u00e4ndningen av abstrakta metoder f\u00f6r att inf\u00f6ra krav p\u00e5 den uppvisande klassen.\u201d<\/p><\/blockquote>\n Detta inneb\u00e4r ocks\u00e5 att metodernas signaturer m\u00e5ste matcha varandra. Med andra ord m\u00e5ste typen och antalet n\u00f6dv\u00e4ndiga argument vara lika<\/a>.<\/p>\n Hur som helst, enligt Nikita Popov<\/a>, f\u00f6rfattare till denna RFC, \u00e4r signaturvalidering f\u00f6r n\u00e4rvarande endast verkst\u00e4llt ibland.<\/p>\n F\u00f6ljande exempel fr\u00e5n Nikita avser det f\u00f6rsta fallet (ej verkst\u00e4lld signatur:<\/p>\n Med detta sagt f\u00f6resl\u00e5r denna RFC<\/a> att alltid visa ett allvarligt fel om implementeringsmetoden inte \u00e4r kompatibel med abstract trait-metoden, oavsett ursprung:<\/p>\n Denna RFC har enh\u00e4lligt godk\u00e4nts.<\/p>\n I PHP ger \u00e4rvda fel p\u00e5 grund av inkompatibla metodsignaturer antingen ett allvarligt fel eller en varning beroende p\u00e5 vad som orsakar felet.<\/p>\n Om en klass implementerar ett gr\u00e4nssnitt ger inkompatibla metodsignaturer ett allvarligt fel. Enligt dokumentationen f\u00f6r objektgr\u00e4nssnitt<\/a>:<\/p>\n ”Den klass som implementerar gr\u00e4nssnittet m\u00e5ste anv\u00e4nda en metodsignatur som \u00e4r kompatibel med LSP (Liskov Substitutionsprincip). Om du inte g\u00f6r det kommer det att leda till ett allvarligt fel.\u201d<\/p><\/blockquote>\n H\u00e4r \u00e4r ett exempel p\u00e5 ett arvsfel med ett gr\u00e4nssnitt<\/a>:<\/p>\n I PHP 7.4 skulle koden ovan ge f\u00f6ljande fel:<\/p>\n En funktion i en barnklass med en inkompatibel signatur skulle ge en varning. Se f\u00f6ljande kod fr\u00e5n RFC:<\/p>\n I PHP 7.4 skulle koden ovan helt enkelt ge en varning:<\/p>\n Nu f\u00f6resl\u00e5r denna RFC<\/a> att alltid ge ett allvarligt fel f\u00f6r inkompatibla metodsignaturer. Med PHP 8 skulle koden vi s\u00e5g tidigare ovan leda till f\u00f6ljande:<\/p>\n Om en array b\u00f6rjar i PHPH med ett negativt index ( I PHP 7.4 skulle resultatet vara f\u00f6ljande:<\/p>\n Nu f\u00f6resl\u00e5r denna RFC<\/a> att \u00e4ndra p\u00e5 detta s\u00e5 att det andra indexet skulle vara I PHP 8 skulle koden ovan resultera i f\u00f6ljande array:<\/p>\n Med PHP 8 \u00e4ndrar arrayer som b\u00f6rjar med ett negativt index sitt beteende. L\u00e4s mer om bak\u00e5tkompatibiliteter p\u00e5 RFC-sidan<\/a>.<\/u><\/p>\n Unionstyper<\/a> accepterar v\u00e4rden som kan vara av olika slag. F\u00f6r n\u00e4rvarande tillhandah\u00e5ller PHP inte st\u00f6d f\u00f6r unionstyper, med undantag f\u00f6r Innan PHP 8 kunde unionstyper endast anges i phpdoc-anteckningar<\/a>, vilket visas i f\u00f6ljande exempel fr\u00e5n RFC:<\/p>\n Unionstyperna 2.0 RFC<\/a> f\u00f6resl\u00e5r att l\u00e4gga till st\u00f6d f\u00f6r unionstyper i funktionssignaturer, s\u00e5 att vi inte l\u00e4ngre kommer att f\u00f6rlita oss p\u00e5 inline-dokumentation<\/a>, utan skulle definiera unionstyper med en Nikita Popov f\u00f6rklarar i RFC,<\/p>\n ”Att st\u00f6dja unionstyper i spr\u00e5ket g\u00f6r det m\u00f6jligt f\u00f6r oss att flytta mer typinformation fr\u00e5n phpdoc till funktionssignaturer, med de vanliga f\u00f6rdelarna som detta medf\u00f6r:<\/p>\n Unionstyper st\u00f6der alla tillg\u00e4ngliga typer, med vissa begr\u00e4nsningar:<\/p>\n Du kan l\u00e4sa mer om Unionstyper V2<\/a> i dess RFC.<\/p>\n N\u00e4r en parameter av olaglig typ anv\u00e4nds beter sig interna<\/a> och anv\u00e4ndardefinierade<\/a> funktioner annorlunda.<\/p>\n Anv\u00e4ndardefinierade funktioner skapar ett Detta skulle resultera i f\u00f6ljande varning:<\/p>\n Om Denna situation skulle leda till ett antal problem som f\u00f6rklaras v\u00e4l i problemavsnittet p\u00e5 f\u00f6rslagets RFC-sida<\/a>.<\/p>\n F\u00f6r att ta bort dessa inkonsekvenser f\u00f6resl\u00e5r denna RFC<\/a> att f\u00e5 den interna parametern som parsar API:er att alltid generera ett I PHP 8 ger koden ovan f\u00f6ljande fel:<\/p>\n I PHP \u00e4r Denna RFC<\/a> f\u00f6resl\u00e5r att konvertera satsen Se f\u00f6ljande exempel fr\u00e5n RFC:<\/p>\n En svag karta \u00e4r en samling data (objekt) d\u00e4r nycklarna \u00e4r svagt refererade, vilket inneb\u00e4r att de inte hindras fr\u00e5n att samlas in som skr\u00e4p.<\/p>\n PHP 7.4 lade till st\u00f6d f\u00f6r svaga referenser<\/a> som ett s\u00e4tt att beh\u00e5lla en referens till ett objekt som inte hindrar sj\u00e4lva objektet fr\u00e5n att f\u00f6rst\u00f6ras. Nikita Popov p\u00e5pekar:<\/p>\n ”R\u00e5a svaga referenser \u00e4r bara av begr\u00e4nsad anv\u00e4ndbarhet f\u00f6r sig sj\u00e4lva och svaga kartor anv\u00e4nds mycket oftare i praktiken. Det \u00e4r inte m\u00f6jligt att implementera en effektiv svag karta ovanp\u00e5 PHP:s svaga referenser eftersom m\u00f6jligheten att registrera en f\u00f6rst\u00f6relse-callback inte tillhandah\u00e5lls.\u201d<\/p><\/blockquote>\n D\u00e4rf\u00f6r introducerar denna RFC<\/a> en I l\u00e5ngvariga processer skulle detta f\u00f6rhindra minnesl\u00e4ckor och f\u00f6rb\u00e4ttra prestanda.\u00a0Se f\u00f6ljande exempel fr\u00e5n RFC:<\/p>\n Med PHP 8 skulle koden ovan producera f\u00f6ljande resultat (se koden h\u00e4r<\/a>):<\/p>\n Om du avmarkerar objektet tas nyckeln automatiskt bort fr\u00e5n den svaga kartan:<\/p>\n Nu skulle resultatet bli f\u00f6ljande:<\/p>\n\n
![\"Grundl\u00e4ggande](\"https:\/\/kinsta.com\/se\/wp-content\/uploads\/sites\/9\/2020\/05\/php-exekvering.png\")
OPcache-till\u00e4gget<\/h3>\n
![\"PHP-exekveringsprocess](\"https:\/\/kinsta.com\/se\/wp-content\/uploads\/sites\/9\/2020\/05\/php-exekvering-2.png\")
phpinfo()<\/code><\/a> fr\u00e5n ett skript p\u00e5 din server eller kolla din php.ini-fil (se inst\u00e4llningarna f\u00f6r OPcache-konfiguration<\/a>).<\/p>\n![\"Zend](\"https:\/\/kinsta.com\/se\/wp-content\/uploads\/sites\/9\/2020\/05\/zend-opcache.jpg\")
F\u00f6rladdning<\/h3>\n
JIT \u2013 Just in Time-kompilator<\/h3>\n
JIT f\u00f6r webbapplikationer<\/h3>\n
![\"PHP](\"https:\/\/kinsta.com\/wp-content\/uploads\/2020\/05\/php-8-performance-diagram.png\")
\n
PHP 8 f\u00f6rb\u00e4ttringar och nya funktioner<\/h2>\n
Konstrukt\u00f6rsegenskaps-kampanj<\/h3>\n
class Point {\n public int $x;\n public int $y;\n public int $z;\n\n public function __construct(\n int $x = 0,\n int $y = 0,\n int $z = 0,\n ) {\n $this->x = $x;\n $this->y = $y;\n $this->z = $z;\n }\n}<\/code><\/pre>\nclass Point {\n public function __construct(\n public int $x = 0,\n public int $y = 0,\n public int $z = 0,\n ) {}\n}<\/code><\/pre>\n\/\/ before desugaring\nclass Point {\n public function __construct(public int $x = 0) {}\n}\n\n\/\/ after desugaring\nclass Point {\n public int $x;\n\n public function __construct(int $x = 0) {\n $this->x = $x;\n }\n}<\/code><\/pre>\narv<\/h4>\n
class Test {\n public function __construct(\n public int $x = 0\n ) {}\n}\n\nclass Child extends Test {\n public function __construct(\n $x, \n public int $y = 0,\n public int $z = 0,\n ) {\n parent::__construct($x);\n }\n}<\/code><\/pre>\nVad \u00e4r inte till\u00e5tet n\u00e4r det g\u00e4ller fr\u00e4mjade egenskaper<\/h4>\n
Abstrakta konstrukt\u00f6rer<\/h5>\n
abstract class Test {\n \/\/ Error: Abstract constructor.\n abstract public function __construct(private $x);\n}\n \ninterface Test {\n \/\/ Error: Abstract constructor.\n public function __construct(private $x);\n}<\/code><\/pre>\nOgiltighet<\/h5>\n
class Test {\n \/\/ Error: Using null default on non-nullable property\n public function __construct(public Type $prop = null) {}\n\n \/\/ Correct: Make the type explicitly nullable instead\n public function __construct(public ?Type $prop = null) {}\n}<\/code><\/pre>\nAnropande typ<\/h5>\n
class Test {\n \/\/ Error: Callable type not supported for properties.\n public function __construct(public callable $callback) {}\n}<\/code><\/pre>\nVar-nyckelordet \u00e4r inte till\u00e5tet<\/h5>\n
var<\/code> (se f\u00f6ljande exempel fr\u00e5n RFC):<\/p>\nclass Test {\n \/\/ Error: \"var\" keyword is not supported.\n public function __construct(var $prop) {}\n}<\/code><\/pre>\nInga dupliceringar \u00e4r till\u00e5tna<\/h5>\n
class Test {\n public string $prop;\n public int $explicitProp;\n\n \/\/ Correct\n public function __construct(public int $promotedProp, int $arg) {\n $this->explicitProp = $arg;\n }\n\n \/\/ Error: Redeclaration of property.\n public function __construct(public string $prop) {}\n}<\/code><\/pre>\nVariadiska parametrar \u00e4r inte till\u00e5tna<\/h5>\n
class Test {\n \/\/ Error: Variadic parameter.\n public function __construct(public string ...$strings) {}\n}<\/code><\/pre>\nYtterligare l\u00e4sning<\/h4>\n
Validering f\u00f6r Abstrakta Trait-metoder<\/h3>\n
\n
trait T {\n\tabstract public function test(int $x);\n}\n \nclass C {\n\tuse T;\n\n\t\/\/ Allowed, but shouldn't be due to invalid type.\n\tpublic function test(string $x) {}\n}<\/code><\/pre>\nFatal error: Declaration of C::test(string $x) must be compatible with T::test(int $x) in \/path\/to\/your\/test.php on line 10<\/code><\/pre>\nInkompatibla Metodsignaturer<\/h3>\n
interface I {\n\tpublic function method(array $a);\n}\nclass C implements I {\n\tpublic function method(int $a) {}\n}<\/code><\/pre>\nFatal error: Declaration of C::method(int $a) must be compatible with I::method(array $a) in \/path\/to\/your\/test.php on line 7<\/code><\/pre>\nclass C1 {\n\tpublic function method(array $a) {}\n}\nclass C2 extends C1 {\n\tpublic function method(int $a) {}\n}<\/code><\/pre>\nWarning: Declaration of C2::method(int $a) should be compatible with C1::method(array $a) in \/path\/to\/your\/test.php on line 7<\/code><\/pre>\nFatal error: Declaration of C2::method(int $a) must be compatible with C1::method(array $a) in \/path\/to\/your\/test.php on line 7<\/code><\/pre>\nArrayer som b\u00f6rjar med ett negativt Index<\/h3>\n
start_index < 0<\/code>), startar f\u00f6ljande index fr\u00e5n 0 (mer om detta i\u00a0array_fill<\/code>-dokumentationen<\/a>). Titta p\u00e5 f\u00f6ljande exempel:<\/p>\n$a = array_fill(-5, 4, true);\nvar_dump($a);<\/code><\/pre>\narray(4) {\n\t[-5]=>\n\tbool(true)\n\t[0]=>\n\tbool(true)\n\t[1]=>\n\tbool(true)\n\t[2]=>\n\tbool(true)\n}<\/code><\/pre>\nstart_index + 1<\/code>, beroende p\u00e5 v\u00e4rdet av start_index<\/code>.<\/p>\narray(4) {\n\t[-5]=>\n\tbool(true)\n\t[-4]=>\n\tbool(true)\n\t[-3]=>\n\tbool(true)\n\t[-2]=>\n\tbool(true)\n}<\/code><\/pre>\nUnionstyper 2.0<\/h3>\n
?Type<\/code>-syntaxen och den speciella iterable<\/code>-typen.<\/p>\nclass Number {\n\t\/**\n\t * @var int|float $number\n\t *\/\n\tprivate $number;\n\n\t\/**\n\t * @param int|float $number\n\t *\/\n\tpublic function setNumber($number) {\n\t\t$this->number = $number;\n\t}\n\n\t\/**\n\t * @return int|float\n\t *\/\n\tpublic function getNumber() {\n\t\treturn $this->number;\n\t}\n}<\/code><\/pre>\nT1|T2|...<\/code>-syntax ist\u00e4llet:<\/p>\nclass Number {\n\tprivate int|float $number;\n\n\tpublic function setNumber(int|float $number): void {\n\t\t$this->number = $number;\n\t}\n\n\tpublic function getNumber(): int|float {\n\t\treturn $this->number;\n\t}\n}<\/code><\/pre>\n\n
\n
Void<\/code>-typ kan inte vara en del av en union, eftersom void<\/code> inneb\u00e4r att en funktion inte returnerar n\u00e5got v\u00e4rde<\/a>.<\/li>\nNull<\/code>-typen st\u00f6ds endast i unionstyper, men dess anv\u00e4ndning som en frist\u00e5ende typ \u00e4r inte till\u00e5tet.<\/li>\n?T<\/code>) \u00e4r ocks\u00e5 till\u00e5ten, det vill s\u00e4ga T|null<\/code>, men vi f\u00e5r inte inkludera ?T<\/code>-notation i unionstyper (?T1|T2<\/code> \u00e4r inte till\u00e5tet och vi b\u00f6r anv\u00e4nda T1|T2|null<\/code> ist\u00e4llet).<\/li>\nstrpos()<\/code>, strstr()<\/code>, substr()<\/code>, etc.) inkluderat false<\/code> bland de m\u00f6jliga returtyperna, st\u00f6ds ocks\u00e5 pseudo-typen false<\/code> ocks\u00e5.<\/li>\n<\/ul>\nKonsekventa typfel f\u00f6r interna funktioner<\/h3>\n
TypeError<\/code>, men interna funktioner beter sig p\u00e5 olika s\u00e4tt, beroende p\u00e5 flera omst\u00e4ndigheter. Hur som helst, det typiska beteendet \u00e4r att visa en varning och returnera null<\/code>. Se f\u00f6ljande exempel i PHP 7.4:<\/p>\nvar_dump(strlen(new stdClass));<\/code><\/pre>\nWarning: strlen() expects parameter 1 to be string, object given in \/path\/to\/your\/test.php on line 4\nNULL<\/code><\/pre>\nstrict_types<\/code> \u00e4r aktiverat, eller argumentinformationen specificerar typer skulle beteendet vara annorlunda. I s\u00e5dana scenarier uppt\u00e4cks typfelet och resulterar ett TypeError<\/code>.<\/p>\nThrowError<\/code> i h\u00e4ndelse av en felmatchad parametertyp.<\/p>\nFatal error: Uncaught TypeError: strlen(): Argument #1 ($str) must be of type string, object given in \/path\/to\/your\/test.php:4\nStack trace:\n#0 {main}\n thrown in \/path\/to\/your\/test.php on line 4<\/code><\/pre>\nUttrycket throw<\/h3>\n
throw<\/code> en sats<\/a>, s\u00e5 det \u00e4r inte m\u00f6jligt att anv\u00e4nda det p\u00e5 platser d\u00e4r endast ett uttryck<\/a> \u00e4r till\u00e5tet.<\/p>\nthrow<\/code><\/a> till ett uttryck s\u00e5 att den kan anv\u00e4ndas i alla sammanhang d\u00e4r uttryck \u00e4r till\u00e5tna. Till exempel arrow-funktioner<\/a>, null coalesce-operat\u00f6r<\/a>, ternary och elvis-operat\u00f6rer<\/a> etc.<\/p>\n$callable = fn() => throw new Exception();\n\n\/\/ $value is non-nullable.\n$value = $nullableValue ?? throw new InvalidArgumentException();\n \n\/\/ $value is truthy.\n$value = $falsableValue ?: throw new InvalidArgumentException();<\/code><\/pre>\nSvaga kartor<\/h3>\n
WeakMap<\/code>-klass f\u00f6r att skapa objekt som ska anv\u00e4ndas som svaga kartnycklar som kan f\u00f6rst\u00f6ras och tas bort fr\u00e5n den svaga kartan om det inte finns n\u00e5gra ytterligare referenser till nyckelobjektet.<\/p>\n$map = new WeakMap;\n$obj = new stdClass;\n$map[$obj] = 42;\nvar_dump($map);<\/code><\/pre>\nobject(WeakMap)#1 (1) {\n\t[0]=>\n\tarray(2) {\n\t\t[\"key\"]=>\n\t\tobject(stdClass)#2 (0) {\n\t\t}\n\t\t[\"value\"]=>\n\t\tint(42)\n\t}\n}<\/code><\/pre>\nunset($obj);\nvar_dump($map);<\/code><\/pre>\nobject(WeakMap)#1 (0) {\n}<\/code><\/pre>\n