La parola chiave final

Fa parte della sezione Programmazione orientata agli oggetti del percorso PHP di Coddy. Lezione 24 di 91.

Sebbene l'ereditarietà e l'override dei metodi offrano flessibilità, a volte è necessario impedire che determinate classi o metodi vengano modificati. La parola chiave final blocca il codice, assicurando che implementazioni specifiche non possano essere modificate dalle classi figlie.

Quando contrassegni un metodo come final, nessuna classe figlia può sovrascriverlo:

<?php
class BankAccount {
    protected $balance;
    
    public function __construct($balance) {
        $this->balance = $balance;
    }
    
    final public function getAccountId() {
        return "ACC-" . spl_object_id($this);
    }
}

class SavingsAccount extends BankAccount {
    public function addInterest() {
        return $this->balance * 0.05;
    }
}

$account = new SavingsAccount(1000);
echo $account->getAccountId();

Output:

ACC-1

Il metodo getAccountId() non può essere sovrascritto in SavingsAccount o in qualsiasi altra classe figlia. Questo protegge una funzionalità critica che deve rimanere coerente per tutti i tipi di conto.

Puoi anche contrassegnare un’intera classe come final per impedire qualsiasi ereditarietà:

<?php
final class SecurityManager {
    public function authenticate($user) {
        return "Authenticating $user";
    }
}

$security = new SecurityManager();
echo $security->authenticate("admin");

Output:

Authenticating admin

Nessuna classe può estendere SecurityManager. Questo è utile per le classi sensibili alla sicurezza o quando la progettazione della classe è completa e non dovrebbe essere modificata.

Punto chiave: Usa final sui metodi per impedire l'override consentendo comunque l'ereditarietà, oppure sulle classi per impedire del tutto l'ereditarietà. È uno strumento per proteggere il codice critico che deve funzionare esattamente come progettato.

Sfida

Facile

Creiamo un sistema di gestione dei documenti che dimostri come la parola chiave final protegge le funzionalità critiche dalle modifiche apportate dalle classi figlie.

Creerai tre file che collaborano per gestire diversi tipi di documento, assicurando al contempo che alcune funzionalità di sicurezza rimangano bloccate:

Document.php: Definisci una classe Document che funge da classe base per tutti i documenti. Dovrebbe avere una proprietà pubblica $title e una proprietà protetta $author. Il costruttore accetta sia il titolo sia l'autore. Includi un metodo final chiamato getSignature() che restituisce "Signed by: [author]". Questa funzionalità di sicurezza non deve mai essere modificata dalle classi figlie. Aggiungi anche un metodo regolare getContent() che restituisce "Document: [title]".
Report.php: Definisci una classe Report che estende Document. Includi il file Document all'inizio. Questa classe aggiunge una proprietà $department. Il costruttore deve accettare titolo, autore e dipartimento: usa parent::__construct() per i primi due, poi imposta il dipartimento. Sovrascrivi il metodo getContent() in modo che restituisca "Report: [title] ([department])". La classe Report eredita il metodo getSignature() finale senza poterlo modificare.
main.php: Includi il file Report. Riceverai tre input: il titolo del documento, il nome dell'autore e il dipartimento. Crea un oggetto Report con questi valori. Stampa il risultato di getContent() sulla prima riga, poi stampa il risultato di getSignature() sulla seconda riga.

Questa sfida mostra come i metodi final proteggano le funzionalità critiche: la generazione della firma rimane coerente in tutti i tipi di documento, mentre altri metodi come getContent() possono essere personalizzati da ciascuna classe figlia. Report può modificare il modo in cui viene visualizzato il contenuto, ma il formato della firma è bloccato nella classe genitore.

Provalo tu

<?php
require_once 'Report.php';

// Leggi l'input
$title = trim(fgets(STDIN));
$author = trim(fgets(STDIN));
$department = trim(fgets(STDIN));

// TODO: Crea un oggetto Report con i valori di input

// TODO: Stampa il risultato di getContent()

// TODO: Stampa il risultato di getSignature()
?>