Trait in PHP: use, più trait e insteadof

Un trait PHP è un blocco riutilizzabile di metodi e proprietà. Lo dichiari con trait Name { ... } e lo includi in qualsiasi classe con use Name; dentro il corpo della classe. PHP copia i membri del trait nella classe, quindi funzionano esattamente come se li avessi scritti lì.

<?php
trait Greets
{
    public function hello(): string
    {
        return 'Hello from ' . static::class;
    }
}

class User
{
    use Greets;
}

class Robot
{
    use Greets;
}

echo (new User())->hello(), "\n";
echo (new Robot())->hello(), "\n";

User e Robot non hanno un padre comune, eppure ora entrambi hanno hello(). I trait esistono per questo caso: le classi PHP possono estendere una sola classe, e un trait condivide codice in orizzontale, tra classi che non sono correlate.

Trait con proprietà

Un trait può portare con sé proprietà insieme ai suoi metodi. I metodi usano $this come qualsiasi metodo della classe, perché una volta copiati sono metodi della classe:

<?php
trait HasTimestamps
{
    protected ?string $createdAt = null;
    protected ?string $updatedAt = null;

    public function touch(string $now): void
    {
        $this->createdAt ??= $now;
        $this->updatedAt = $now;
    }

    public function timestamps(): string
    {
        return "created {$this->createdAt}, updated {$this->updatedAt}";
    }
}

class Post
{
    use HasTimestamps;

    public function __construct(public string $title) {}
}

$post = new Post('Traits in PHP');
$post->touch('2026-03-14 09:30');
$post->touch('2026-03-15 18:05');
echo $post->title, ': ', $post->timestamps(), "\n";

Una classe non può dichiarare una proprietà con lo stesso nome di una proprietà del trait a meno che le due dichiarazioni non siano identiche (stessa visibilità, tipo e valore di default); altrimenti è un errore fatale.

Usare più trait

Elenca più trait in un'unica istruzione use, separati da virgole, oppure scrivi più righe use. La classe riceve i membri di tutti:

<?php
trait Loggable
{
    private array $log = [];

    public function log(string $msg): void
    {
        $this->log[] = $msg;
    }

    public function history(): array
    {
        return $this->log;
    }
}

trait Sluggable
{
    public function slug(string $text): string
    {
        return trim(preg_replace('/[^a-z0-9]+/', '-', strtolower($text)), '-');
    }
}

class Article
{
    use Loggable, Sluggable;

    public function __construct(public string $title)
    {
        $this->log("created '$title'");
    }

    public function url(): string
    {
        $url = '/blog/' . $this->slug($this->title);
        $this->log("url built: $url");
        return $url;
    }
}

$a = new Article('PHP Traits, Explained!');
echo $a->url(), "\n";
print_r($a->history());

Risolvere i conflitti con insteadof e as

Quando due trait definiscono un metodo con lo stesso nome, PHP si rifiuta di indovinare e si ferma con un errore fatale. Dentro un blocco use, insteadof sceglie il vincitore, e as mantiene il metodo perdente con un altro nome:

<?php
trait EnglishGreeting
{
    public function greet(): string { return 'Hello'; }
}

trait FrenchGreeting
{
    public function greet(): string { return 'Bonjour'; }
}

class Host
{
    use EnglishGreeting, FrenchGreeting {
        EnglishGreeting::greet insteadof FrenchGreeting;
        FrenchGreeting::greet as greetFrench;
    }
}

$h = new Host();
echo $h->greet(), "\n";
echo $h->greetFrench(), "\n";

Con un semplice use EnglishGreeting, FrenchGreeting; senza blocco, lo script si ferma prima di stampare qualsiasi cosa:

PHP Fatal error:  Trait method FrenchGreeting::greet has not been applied as Host::greet, because of collision with EnglishGreeting::greet in /home/index.php on line 12

as può anche cambiare la visibilità. use Loggable { log as protected; } rende protected il log() del trait solo in questa classe, e use Loggable { log as private writeLog; } aggiunge un alias privato.

Membri astratti e statici in un trait

Un trait può richiedere qualcosa alla classe che lo usa dichiarando un metodo astratto. Può anche avere metodi e proprietà statici. Ogni classe che usa il trait riceve la propria copia di una proprietà statica:

<?php
trait CountsInstances
{
    private static int $instances = 0;

    public static function created(): int
    {
        return self::$instances;
    }

    // The using class must say what it is called
    abstract public function label(): string;

    public function register(): string
    {
        self::$instances++;
        return $this->label() . ' #' . self::$instances;
    }
}

class Car
{
    use CountsInstances;

    public function label(): string { return 'Car'; }
}

class Bike
{
    use CountsInstances;

    public function label(): string { return 'Bike'; }
}

echo (new Car())->register(), "\n";
echo (new Car())->register(), "\n";
echo (new Bike())->register(), "\n";
echo 'Cars: ', Car::created(), ', Bikes: ', Bike::created(), "\n";

Car e Bike contano separatamente, perché la proprietà statica viene copiata in ogni classe. È diverso da una proprietà statica dichiarata in una classe padre comune, condivisa da tutte le figlie; la pagina su static mostra quel caso.

Quale metodo vince: classe, trait o padre

Se lo stesso nome di metodo esiste nella classe stessa, in un trait che usa e nella sua classe padre, PHP sceglie in questo ordine: il metodo della classe, poi quello del trait, poi quello del padre. Dentro il trait, parent:: raggiunge ancora la versione del padre:

<?php
class Base
{
    public function hello(): string { return 'Base'; }
    public function bye(): string { return 'Base bye'; }
}

trait Friendly
{
    public function hello(): string { return 'Trait, then ' . parent::hello(); }
    public function bye(): string { return 'Trait bye'; }
}

class Child extends Base
{
    use Friendly;

    public function bye(): string { return 'Child bye'; }
}

$c = new Child();
echo $c->hello(), "\n";  // trait overrides parent
echo $c->bye(), "\n";    // class overrides trait

Un trait non è un tipo

instanceof non corrisponde mai a un trait, e un parametro tipizzato con il nome di un trait rifiuta ogni oggetto con un TypeError. Per chiedere "questa classe ha il comportamento", abbina il trait a un'interfaccia, oppure esamina la classe con class_uses():

<?php
interface Exportable
{
    public function export(): array;
}

trait ExportsProperties
{
    public function export(): array
    {
        return get_object_vars($this);
    }
}

class Invoice implements Exportable
{
    use ExportsProperties;

    public function __construct(public int $id = 7, public float $total = 99.5) {}
}

$inv = new Invoice();
print_r($inv->export());

var_dump($inv instanceof Exportable);
print_r(class_uses($inv));

Lo schema qui sopra è quello abituale: l'interfaccia Exportable è ciò che le funzioni usano come type hint e ciò che verifica instanceof, e il trait ExportsProperties è un'implementazione pronta che le classi possono usare o sostituire. Un trait da solo è codice condiviso senza contratto; quando ti accorgi di controllare class_uses() nella logica applicativa, il trait voleva un'interfaccia accanto. Per il codice condiviso da una famiglia di classi correlate, una classe astratta può essere la scelta più semplice.