Kovarians och kontravarians: Skillnad mellan sidversioner

Från Wiki.linux.se
Hoppa till navigering Hoppa till sök
(Skapade sidan med '== Kovarians och kontravarians == I PHP 7.2.0 introducerades partiell kontravarians genom att ta bort typrestriktioner för parametrar i en barnmetod. Från och med PHP 7.4.0 lades fullt stöd för kovarians och kontravarians till. Kovarians tillåter att en barns metod returnerar en mer specifik typ än returtypen för dess förälders metod. Kontravarians å andra sidan tillåter att en parametertyp är mindre specifik i en barns metod än i dess förälders metod....')
 
 
Rad 7: Rad 7:
En typdeklaration anses vara mer specifik i följande fall:
En typdeklaration anses vara mer specifik i följande fall:


* En typ tas bort från en unionstyp
* En typ tas bort från en [[unionstyp]]
* En typ läggs till i en intersectionstyp
* En typ läggs till i en [[intersectionstyp]]
* En klass-typ ändras till en barnklass-typ
* En klass-typ ändras till en [[barnklass-typ]]
* iterable ändras till array eller Traversable
* iterable ändras till array eller [[Traversable]]


En typklass anses vara mindre specifik om motsatsen är sann.
En typklass anses vara mindre specifik om motsatsen är sann.

Nuvarande version från 19 augusti 2024 kl. 05.46

Kovarians och kontravarians

I PHP 7.2.0 introducerades partiell kontravarians genom att ta bort typrestriktioner för parametrar i en barnmetod. Från och med PHP 7.4.0 lades fullt stöd för kovarians och kontravarians till.

Kovarians tillåter att en barns metod returnerar en mer specifik typ än returtypen för dess förälders metod. Kontravarians å andra sidan tillåter att en parametertyp är mindre specifik i en barns metod än i dess förälders metod.

En typdeklaration anses vara mer specifik i följande fall:

En typklass anses vara mindre specifik om motsatsen är sann.

Kovarians

För att illustrera hur kovarians fungerar skapas en enkel abstrakt föräldraklass, Animal. Animal kommer att utökas av barnklasserna Cat och Dog.

<?php

abstract class Animal
{
    protected string $name;

    public function __construct(string $name)
    {
        $this->name = $name;
    }

    abstract public function speak();
}

class Dog extends Animal
{
    public function speak()
    {
        echo $this->name . " skäller";
    }
}

class Cat extends Animal 
{
    public function speak()
    {
        echo $this->name . " jamar";
    }
}

Observera att det inte finns några metoder som returnerar värden i detta exempel. Några fabriker kommer att läggas till som returnerar ett nytt objekt av klassen Animal, Cat, eller Dog.

<?php

interface AnimalShelter
{
    public function adopt(string $name): Animal;
}

class CatShelter implements AnimalShelter
{
    public function adopt(string $name): Cat // istället för att returnera klass-typen Animal, kan den returnera klass-typen Cat
    {
        return new Cat($name);
    }
}

class DogShelter implements AnimalShelter
{
    public function adopt(string $name): Dog // istället för att returnera klass-typen Animal, kan den returnera klass-typen Dog
    {
        return new Dog($name);
    }
}

$kitty = (new CatShelter)->adopt("Ricky");
$kitty->speak();
echo "\n";

$doggy = (new DogShelter)->adopt("Mavrick");
$doggy->speak();

Ovanstående exempel kommer att ge följande utskrift:

Ricky jamar
Mavrick skäller

Kontravarians

Vi fortsätter med föregående exempel med klasserna Animal, Cat, och Dog. En klass som heter Food och AnimalFood kommer att inkluderas, och en metod `eat(AnimalFood $food)` läggs till i den abstrakta klassen Animal.

<?php

class Food {}

class AnimalFood extends Food {}

abstract class Animal
{
    protected string $name;

    public function __construct(string $name)
    {
        $this->name = $name;
    }

    public function eat(AnimalFood $food)
    {
        echo $this->name . " äter " . get_class($food);
    }
}

För att visa hur kontravarians fungerar, överskrids metoden `eat` i klassen Dog för att tillåta vilken Food-typ som helst. Klassen Cat förblir oförändrad.

<?php

class Dog extends Animal
{
    public function eat(Food $food) {
        echo $this->name . " äter " . get_class($food);
    }
}

Nästa exempel kommer att visa hur kontravarians fungerar.

<?php

$kitty = (new CatShelter)->adopt("Ricky");
$catFood = new AnimalFood();
$kitty->eat($catFood);
echo "\n";

$doggy = (new DogShelter)->adopt("Mavrick");
$banana = new Food();
$doggy->eat($banana);

Ovanstående exempel kommer att ge följande utskrift:

Ricky äter AnimalFood
Mavrick äter Food

Men vad händer om `$kitty` försöker äta `$banana`?

$kitty->eat($banana);

Ovanstående exempel kommer att ge följande utskrift:

Fatal error: Uncaught TypeError: Argument 1 passed to Animal::eat() must be an instance of AnimalFood, instance of Food given

Sidslut

Orginalhemsidan på Engelska : https://www.php.net/manual/en/language.oop5.variance.php
PHP
Språkreferens
Språkreferens#Klasser_och_Objekt


Det här är en maskinöversättning av PHP-manualen till svenska. Om du hittar fel är vi tacksamma om du rapporterar dem via formuläret som finns på https://www.linux.se/kontaka-linux-se/