Typdeklarationer - Versionshistorik

Admin den 14 augusti 2024 kl. 05.46

2024-08-14T05:46:33Z

@@ Rad 314: / Rad 314: @@
 #1 {main}
    thrown in - on line 8
 [[PHP]]
 [[Språkreferens]]
 [[Kategori:Php]]

Admin: /* Duplicerade och Redundanta Typer */

2024-08-14T05:43:03Z

Duplicerade och Redundanta Typer

← Äldre version		Versionen från 14 augusti 2024 kl. 05.43
Rad 267:		Rad 267:
	<code><?php		<code><?php

	~~<code>~~function foo(): int\|INT {} // Ej tillåtet		function foo(): int\|INT {} // Ej tillåtet

	~~<code>~~function foo(): bool\|false {} // Ej tillåtet		function foo(): bool\|false {} // Ej tillåtet
	function foo(): int&Traversable {} // Ej tillåtet		function foo(): int&Traversable {} // Ej tillåtet

	~~<code>~~function foo(): self&Traversable {} // Ej tillåtet		function foo(): self&Traversable {} // Ej tillåtet

	use A as B;		use A as B;
Rad 281:		Rad 281:
	class_alias('X', 'Y');		class_alias('X', 'Y');
	function foo(): X\|Y {} // Tillåtet (redundans är endast känd vid körning)		function foo(): X\|Y {} // Tillåtet (redundans är endast känd vid körning)
	function foo(): X&Y {} // Tillåtet (redundans är endast känd vid körning)~~</code>~~?></code>'''Exempel #3 Grundläggande klass typdeklaration'''		function foo(): X&Y {} // Tillåtet (redundans är endast känd vid körning)?></code>

			'''Exempel #3 Grundläggande klass typdeklaration'''

	<code><?php		<code><?php

	~~<code>~~class C {}		class C {}
	class D extends C {}// Detta utökar inte C.		class D extends C {}// Detta utökar inte C.
	class E {}		class E {}
Rad 293:		Rad 295:
	}		}

	f(new C);~~</code>~~		f(new C);

	~~f(new D);</code>~~

	~~f(new E);</code>~~

			f(new D);

			f(new E);
	?></code>		?></code>

Admin: /* Duplicerade och Redundanta Typer */

2024-08-14T05:42:01Z

Duplicerade och Redundanta Typer

← Äldre version		Versionen från 14 augusti 2024 kl. 05.42
Rad 281:		Rad 281:
	class_alias('X', 'Y');		class_alias('X', 'Y');
	function foo(): X\|Y {} // Tillåtet (redundans är endast känd vid körning)		function foo(): X\|Y {} // Tillåtet (redundans är endast känd vid körning)
	function foo(): X&Y {} // Tillåtet (redundans är endast känd vid körning)</code>		function foo(): X&Y {} // Tillåtet (redundans är endast känd vid körning)</code>?></code>'''Exempel #3 Grundläggande klass typdeklaration'''

	?></code>

	'''Exempel #3 Grundläggande klass typdeklaration'''

	<code><?php		<code><?php

Admin: /* Duplicerade och Redundanta Typer */

2024-08-14T05:38:43Z

Duplicerade och Redundanta Typer

← Äldre version		Versionen från 14 augusti 2024 kl. 05.38
Rad 318:		Rad 318:
	#1 {main}		#1 {main}
	thrown in - on line 8		thrown in - on line 8

			[[PHP]]
			[[Språkreferens]]
			[[Kategori:Php]]

Admin: /* Duplicerade och Redundanta Typer */

2024-08-14T05:38:20Z

Duplicerade och Redundanta Typer

← Äldre version		Versionen från 14 augusti 2024 kl. 05.38
Rad 245:		Rad 245:

	Varje namnupplöst typ får endast förekomma en gång. Typer som int\|string\|INT eller Countable&Traversable&COUNTABLE resulterar i ett fel.		Varje namnupplöst typ får endast förekomma en gång. Typer som int\|string\|INT eller Countable&Traversable&COUNTABLE resulterar i ett fel.

	Användning av ''mixed'' resulterar i ett fel.		Användning av ''mixed'' resulterar i ett fel.
	För unionstyper:		För unionstyper:
Rad 251:		Rad 252:
	Om ''iterable'' används, kan inte ''array'' och Traversable användas ytterligare.		Om ''iterable'' används, kan inte ''array'' och Traversable användas ytterligare.
	För snitttyper:		För snitttyper:

	Användning av en typ som inte är en klass-typ resulterar i ett fel.		Användning av en typ som inte är en klass-typ resulterar i ett fel.
	Användning av antingen ''self'', ''parent'', eller ''static'' resulterar i ett fel.		Användning av antingen ''self'', ''parent'', eller ''static'' resulterar i ett fel.

	För DNF-typer:		För DNF-typer:

	Om en mer generisk typ används, är den mer restriktiva en redundant.		Om en mer generisk typ används, är den mer restriktiva en redundant.
	Användning av två identiska snitttyper.		Användning av två identiska snitttyper.

	'''Notera:''' Detta garanterar inte att typen är ”minimal”, eftersom detta skulle kräva att alla använda klass typer laddas.		'''Notera:''' Detta garanterar inte att typen är ”minimal”, eftersom detta skulle kräva att alla använda klass typer laddas.

	Till exempel, om A och B är klassalias, så förblir A\|B en laglig unionstyp, även om den kunde reduceras till antingen A eller B. På samma sätt, om klass B ärver från A {}, så är A\|B också en laglig unionstyp, även om den kunde reduceras till bara A.		Till exempel, om A och B är klassalias, så förblir A\|B en laglig unionstyp, även om den kunde reduceras till antingen A eller B. På samma sätt, om klass B ärver från A {}, så är A\|B också en laglig unionstyp, även om den kunde reduceras till bara A.

	<code>		<code><?php
	<?php
	function foo(): int\|INT {} // Ej tillåtet		<code>function foo(): int\|INT {} // Ej tillåtet
	function foo(): bool\|false {} // Ej tillåtet
			<code>function foo(): bool\|false {} // Ej tillåtet
	function foo(): int&Traversable {} // Ej tillåtet		function foo(): int&Traversable {} // Ej tillåtet
	function foo(): self&Traversable {} // Ej tillåtet
			<code>function foo(): self&Traversable {} // Ej tillåtet

	use A as B;		use A as B;
	function foo(): A\|B {} // Ej tillåtet ("use" är en del av namnupplösningen)		function foo(): A\|B {} // Ej tillåtet ("use" är en del av namnupplösningen)
	function foo(): A&B {} // Ej tillåtet ("use" är en del av namnupplösningen)		function foo(): A&B {} // Ej tillåtet ("use" är en del av namnupplösningen)


	class_alias('X', 'Y');		class_alias('X', 'Y');
	function foo(): X\|Y {} // Tillåtet (redundans är endast känd vid körning)		function foo(): X\|Y {} // Tillåtet (redundans är endast känd vid körning)
	function foo(): X&Y {} // Tillåtet (redundans är endast känd vid körning)		function foo(): X&Y {} // Tillåtet (redundans är endast känd vid körning)</code>
	?>
	</code>		?></code>

	'''Exempel #3 Grundläggande klass typdeklaration'''		'''Exempel #3 Grundläggande klass typdeklaration'''

	<code>		<code><?php
	<?php
	~~class C {}~~
	~~class D extends C {}~~

	// Detta utökar inte C.		<code>class C {}
			class D extends C {}// Detta utökar inte C.
	class E {}		class E {}

Rad 291:		Rad 297:
	}		}

	f(new C);		f(new C);</code>
	f(new D);
	f(new E);		f(new D);</code>
	?>
	</code>		f(new E);</code>


			?></code>


	Output av ovanstående exempel i PHP 8:		Output av ovanstående exempel i PHP 8:

	C		C

	D		D

Admin: /* Dubbletter och redundanta typer */

2024-08-14T05:35:30Z

Dubbletter och redundanta typer

← Äldre version		Versionen från 14 augusti 2024 kl. 05.35
Rad 241:		Rad 241:
	object(C)#1 (0) {}		object(C)#1 (0) {}
	NULL		NULL
	== ~~Dubbletter~~ och ~~redundanta typer~~ ==		== Duplicerade och Redundanta Typer ==
	För att fånga enkla buggar i sammansatta typdeklarationer, kommer redundanta typer som kan upptäckas utan att utföra klassinläsning att resultera i ett kompileringsfel. Detta inkluderar:		För att fånga enkla buggar i sammansatta typdeklarationer kommer redundanta typer som kan upptäckas utan att utföra klassinläsning att resultera i ett kompileringsfel. Detta inkluderar:

	Varje ~~namnlöst~~ typ får endast förekomma en gång. Typer som int\|string\|INT eller Countable&Traversable&COUNTABLE resulterar i ett fel.		Varje namnupplöst typ får endast förekomma en gång. Typer som int\|string\|INT eller Countable&Traversable&COUNTABLE resulterar i ett fel.
	Användning av mixed resulterar i ett fel.		Användning av ''mixed'' resulterar i ett fel.
	För unionstyper:		För unionstyper:
	Om ''bool'' används, kan ~~inte~~ ''false'' eller ''true'' användas ytterligare.		Om ''bool'' används, kan ''false'' eller ''true'' inte användas ytterligare.
	Om ''object'' används, kan inte klass typer användas ytterligare.		Om ''object'' används, kan inte klass typer användas ytterligare.
	Om ''iterable'' används, kan inte ''array'' och Traversable användas ytterligare.		Om ''iterable'' används, kan inte ''array'' och Traversable användas ytterligare.
	För snitttyper:		För snitttyper:
	Användning av en typ som inte är en klass-typ resulterar i ett fel.		Användning av en typ som inte är en klass-typ resulterar i ett fel.
	Användning av antingen self, parent, eller static resulterar i ett fel.		Användning av antingen ''self'', ''parent'', eller ''static'' resulterar i ett fel.
	För DNF-typer:		För DNF-typer:
	Om en mer generisk typ används, är den mer restriktiva en redundant.		Om en mer generisk typ används, är den mer restriktiva en redundant.
Rad 275:		Rad 275:
	function foo(): X&Y {} // Tillåtet (redundans är endast känd vid körning)		function foo(): X&Y {} // Tillåtet (redundans är endast känd vid körning)
	?>		?>
			</code>

			'''Exempel #3 Grundläggande klass typdeklaration'''

			<code>
			<?php
			class C {}
			class D extends C {}

			// Detta utökar inte C.
			class E {}

			function f(C $c) {
			echo get_class($c)."\n";
			}

			f(new C);
			f(new D);
			f(new E);
			?>
			</code>
			Output av ovanstående exempel i PHP 8:

			C
			D

			Fatal error: Uncaught TypeError: f(): Argument #1 ($c) måste vara av typ C, E given, called in /in/gLonb on line 14 and defined in /in/gLonb:8
			Stack trace:
			#0 -(14): f(Object(E))
			#1 {main}
			thrown in - on line 8

Admin: /* Dubbletter och redundanta typer */

2024-08-14T05:31:11Z

Dubbletter och redundanta typer

@@ Rad 81: / Rad 81: @@
 #1 {main}
    thrown in - on line 2
 == ''void'' ==
 '''Notera:'''
@@ Rad 195: / Rad 275: @@
 function foo(): X&Y {} // Tillåtet (redundans är endast känd vid körning)
 ?>

Admin: /* void */

2024-08-14T05:28:51Z

void

@@ Rad 81: / Rad 81: @@
 #1 {main}
    thrown in - on line 2
-=== void ===
+== ''void'' ==
 '''Notera:'''
 Att returnera med referens från en ''void''-funktion är föråldrat från och med PHP 8.1.0, eftersom en sådan funktion är motsägelsefull. Tidigare genererade den följande ''E_NOTICE'' när den kallades: Endast variabelreferenser bör returneras med referens.
@@ Rad 91: / Rad 90: @@
 ?>
 </code>
 === Sammansatta typer ===
 Sammansatta typdeklarationer är föremål för några begränsningar och kommer att genomföra en redundanskontroll vid kompileringstid för att förhindra enkla buggar.

Admin: Skapade sidan med '= Typdeklarationer = Typdeklarationer kan läggas till funktionsargument, returvärden och, från och med PHP 7.4.0, klassens egenskaper. De säkerställer att värdet är av den specificerade typen vid anropstid, annars kastas ett ''TypeError''. Varje enskild typ som PHP stöder, med undantag av ''resource'', kan användas inom användarlandstypdeklarationer. Denna sida innehåller en ändringslogg för tillgängligheten av de olika typerna och dokumentation om hur man...'

2024-08-14T05:24:57Z

Skapade sidan med '= Typdeklarationer = Typdeklarationer kan läggas till funktionsargument, returvärden och, från och med PHP 7.4.0, klassens egenskaper. De säkerställer att värdet är av den specificerade typen vid anropstid, annars kastas ett ''TypeError''. Varje enskild typ som PHP stöder, med undantag av ''resource'', kan användas inom användarlandstypdeklarationer. Denna sida innehåller en ändringslogg för tillgängligheten av de olika typerna och dokumentation om hur man...'

Ny sida

= Typdeklarationer =
Typdeklarationer kan läggas till funktionsargument, returvärden och, från och med PHP 7.4.0, klassens egenskaper. De säkerställer att värdet är av den specificerade typen vid anropstid, annars kastas ett ''TypeError''.

Varje enskild typ som PHP stöder, med undantag av ''resource'', kan användas inom användarlandstypdeklarationer. Denna sida innehåller en ändringslogg för tillgängligheten av de olika typerna och dokumentation om hur man använder dem i typdeklarationer.

'''Notera:'''

När en klass implementerar en interfacemetod eller återimplementerar en metod som redan definierats av en föräldraklass, måste den vara kompatibel med den tidigare definitionen. En metod är kompatibel om den följer variansreglerna.

== Ändringslogg ==
{| class="wikitable"
!Version
!Beskrivning
|-
|8.3.0
|Stöd för klass, interface, trait, och enum konstant typning har lagts till.
|-
|8.2.0
|Stöd för DNF-typer har lagts till.
|-
|8.2.0
|Stöd för den litterala typen ''true'' har lagts till.
|-
|8.2.0
|Typerna ''null'' och ''false'' kan nu användas enskilt.
|-
|8.1.0
|Stöd för snitttyper har lagts till.
|-
|8.1.0
|Att returnera med referens från en ''void''-funktion är nu föråldrat.
|-
|8.1.0
|Stöd för returtypen ''never'' har lagts till.
|-
|8.0.0
|Stöd för ''mixed'' har lagts till.
|-
|8.0.0
|Stöd för returtypen ''static'' har lagts till.
|-
|8.0.0
|Stöd för unionstyper har lagts till.
|-
|7.4.0
|Stöd för typning av klassens egenskaper har lagts till.
|-
|7.2.0
|Stöd för ''object'' har lagts till.
|-
|7.1.0
|Stöd för ''iterable'' har lagts till.
|-
|7.1.0
|Stöd för ''void'' har lagts till.
|-
|7.1.0
|Stöd för nullable typer har lagts till.
|}

== Användning av atomtyper ==
Atomtyper har ett rakt fram beteende med några mindre varningar som beskrivs i detta avsnitt.

=== Skalära typer ===
'''Varning'''
Namnalias för skalära typer (bool, int, float, string) stöds inte. Istället behandlas de som klass- eller gränssnittsnamn. Till exempel, att använda ''boolean'' som en typdeklaration kommer att kräva att värdet är en instans av klassen eller gränssnittet ''boolean'', snarare än av typen ''bool'':

<code>
<?php
function test(boolean $param) {}
test(true);
?>
</code>
Output av ovanstående exempel i PHP 8:

Varning: "boolean" kommer att tolkas som ett klassnamn. Menade du "bool"? Skriv "\boolean" för att undertrycka denna varning på rad 2

Fatal error: Uncaught TypeError: test(): Argument #1 ($param) måste vara av typen boolean, ''bool'' given, called in - on line 3 and defined in -:2
Stack trace:
#0 -(3): test(true)
#1 {main}
thrown in - on line 2
=== void ===
'''Notera:'''

Att returnera med referens från en ''void''-funktion är föråldrat från och med PHP 8.1.0, eftersom en sådan funktion är motsägelsefull. Tidigare genererade den följande ''E_NOTICE'' när den kallades: Endast variabelreferenser bör returneras med referens.

<code>
<?php
function &test(): void {}
?>
</code>
=== Sammansatta typer ===
Sammansatta typdeklarationer är föremål för några begränsningar och kommer att genomföra en redundanskontroll vid kompileringstid för att förhindra enkla buggar.

'''Försiktighet'''
Före PHP 8.2.0, och införandet av DNF-typer, var det inte möjligt att kombinera snitttyper med unionstyper.