17.1 Cos’è un’estensione

Un’estensione (talora chiamata plug-in) è un frammento di codice compilato esternamente che gawk può caricare in fase di esecuzione per ottenere funzionalità ulteriori, che vanno ad aggiungersi a quelle di gawk descritte nel resto di questo Documento.

Le estensioni sono utili perché consentono (ovviamente) di estendere le funzionalità di gawk. Per esempio, possono permettere l’uso di chiamate di sistema (come chdir() per cambiare directory) e di altre routine di libreria C potenzialmente utili. Come per la maggior parte del software, “il cielo è il limite”; se si riesce a immaginare qualcosa che si vuol fare e che è possibile programmare in C o C++, si può scrivere un’estensione che lo faccia!

Le estensioni sono scritte in C o C++, usando l’API (Application Programming Interface) definita per questo scopo dagli sviluppatori di gawk. Il resto di questo capitolo descrive le possibilità offerte dall’API e come usarle, e illustra una piccola estensione di esempio. Inoltre, sono documentati gli esempi di estensione inclusi nella distribuzione di gawk e viene descritto il progetto gawkextlib. Vedi la sezione Note di progetto dell’estensione API, per una disamina degli obiettivi e del progetto del meccanismo delle estensioni.