Programmazione generica
In informatica, la programmazione generica è un paradigma di programmazione in cui gli algoritmi accettano come parametri le tipologie di dati da trattare, oltre ai dati veri e propri. Questo approccio, introdotto nel linguaggio ML nel 1973,[1][2] permette di scrivere codice generico, del quale possono essere auto-generate multiple versioni specializzate che differiscono solo per i tipi di dati trattati, riducendo così la necessità di scrivere codici essenzialmente duplicati.
Storia
[modifica | modifica wikitesto]La programmazione generica venne introdotta al pubblico generale con la sua implementazione in Ada nel 1977. Con l'introduzione dei template in C++, le tecniche di programmazione generica sono diventate parte del repertorio professionale dei progettisti di librerie. Queste tecniche vennero ulteriormente sviluppate e i "tipi parametrizzati" vennero introdotti nell'influente libro Design Patterns del 1994.[3]
Nuove tecniche vennero introdotte da Andrei Alexandrescu nel suo libro Modern C++ Design: Generic Programming and Design Patterns Applied del 2001. Successivamente il linguaggio D implementò le stesse idee.
Le funzionalità di programmazione generica sono conosciute come generics in Ada, C#, Delphi, Eiffel, Java, Nim, Python, Go, Rust, Swift, TypeScript, e Visual Basic .NET. Sono conosciute come "polimorfismo parametrico" in ML, Scala, Julia e Haskell.
Il termine "programmazione generica" fu coniato originariamente da David Musser e Alexander Stepanov[4] in un senso più specifico di quello descritto sopra, per descrivere un paradigma di programmazione in cui i requisiti fondamentali sui tipi sono astratti dagli esempi concreti di algoritmi e strutture dati, e formalizzati come "concetti", con funzioni generiche implementate in termini di questi concetti, tipicamente utilizzando i meccanismi di generalizzazione dei linguaggi come descritti sopra.
Supporto nei linguaggi di programmazione
[modifica | modifica wikitesto]Le funzionalità di programmazione generica sono presenti nei linguaggi di programmazione ad alto livello almeno dagli anni '70, in linguaggi come ML, CLU e Ada, e sono stati successivamente adottate da molti linguaggi orientati agli oggetti, come BETA, C++, D, Eiffel, Java e Trellis/Owl.
La genericità è implementata e supportata differentemente nei vari linguaggi di programmazione; il termine "generico" è anche stato usato in modo diverso in vari contesti di programmazione. Per esempio, in Forth il compilatore può eseguire codice durante la compilazione e il programmatore può definire nuove keyword e implementazioni per queste sul momento. Esso ha poche "parole" che espongono il comportamento del compilatore e quindi offre naturalmente capacità di "generalizzazione" che, altrimenti, non sono presentate come tali in molti testi di riferimento. Similmente, i linguaggi a tipizzazione dinamica, e specialmente quelli interpretati, solitamente lavorano in logica generica per default: in questi infatti sia le operazioni di passaggio dei valori alle funzioni che le assegnazioni sono indifferenti al tipo dei dati. Questo comportamento è spesso sfruttato per costruire astrazioni e scrivere codice conciso, ma non è tipicamente inteso come meccanismo di programmazione generica poiché è una diretta conseguenza della natura del sistema dei tipi utilizzata dal linguaggio.[senza fonte] Il termine è stato usato nella programmazione funzionale, specificatamente in linguaggi tipo Haskell, che usano un sistema dei tipi strutturale dove i tipi sono sempre parametrici e il codice che li utilizza è generico.
I vettori e le strutture possono essere visti come tipi generici predefiniti. Ogni utilizzo di un tipo vettore o struttura istanzia un nuovo tipo concreto, oppure riutilizza un tipo precedentemente istanziato. I tipi elemento-vettore o elemento-struttura sono tipi parametrizzati, che sono usati per istanziare i corrispondenti tipi generici. Tutto ciò è generalmente integrato nel compilatore e la sintassi differisce da altri costrutti generici. Alcuni linguaggi di programmazione estensibili provano ad unificare i tipi generici integrati e quelli definiti dal programmatore.
Di seguito verranno presentate le funzionalità di programmazione generica di diversi linguaggi di programmazione. Per uno studio specifico che compari l'adeguatezza di vari meccanismi di programmazione generica consulta il testo in nota.[5]
Nei linguaggi orientati agli oggetti
[modifica | modifica wikitesto]Nel creare classi container nei linguaggi a tipizzazione statica risulta inconveniente scrivere un'implementazione per ogni tipo di dato che si vuole trattare, specialmente se il codice per ogni tipo è virtualmente identico. Per esempio in C++ questa duplicazione di codice può essere evitata definendo una classe template:
template <typename T>
class List
{
// Class contents.
};
List<Animal> list_of_animals;
List<Car> list_of_cars;
Nell'esempio sopra il simbolo T
è un placeholder[6] per il tipo che viene specificato specificato all'atto di creazione della lista (righe 6-7).
Questi "contenitori di tipo T
", comunemente chiamati template, permettono di riutilizzare il codice di una classe variandone i tipi di dato utilizzati all'interno, posto che determinati "contratti" come i sotto-tipi e le segnature siano mantenuti.
Questo meccanismo di programmazione generica non deve essere confuso con il polimorfismo, che è l'utilizzo algoritmico di sotto-classi equivalenti: per esempio, una lista di oggetti di tipo MovingObject
[7] contenente oggetti di tipo Animal
e Car
. I template possono essere usati anche per realizzare funzioni indipendenti dai tipi come nell'esempio di seguito:
// "T&" denota un riferimento ad un oggetto di tipo T
template <typename T>
void swap(T& a, T& b)
{
T temp = b;
b = a;
a = temp;
}
std::string world = "World!";
std::string hello = "Hello, ";
swap(world, hello);
std::cout << world << hello << ‘\n’;
Il costrutto template
del C++ utilizzato sopra è largamente citato come il costrutto di programmazione generica che ha popolarizzato la nozione tra programmatori e progettisti di linguaggi, e supporta molti idiomi di programmazione generica. Il linguaggio D offre template basati su quelli del C++ ma con una sintassi semplificata.[8]
Java offre funzionalità di programmazione generica, sintatticamente basate su quelle del C++, a partire da J2SE 5.0.[9]
C# 2.0, Oxygene 1.5 e Visual Basic .NET 2005 hanno costrutti che sfruttano il supporto per i generic presenti nel .NET Framework dalla versione 2.0.[10]
Template (C++)
[modifica | modifica wikitesto]C++ usa i template per abilitare le tecniche di programmazione generica.[11] La libreria standard del C++ include la Standard Template Library (STL) che offre un framework di template per strutture dati e algoritmi comuni.[12]
I template in C++ possono anche essere usati per la metaprogrammazione, costruendo delle espressioni che vengono valutate durante la compilazione, piuttosto che in fase di esecuzione; Si parla in questo caso di template metaprogramming. Attraverso l'uso della "specializzazione dei template" i template del C++ costituiscono un sistema turing complete.[13]
A partire da C++11 il linguaggio supporta i template variadici, ovvero template che accettano un numero variabile di parametri.[14] Questa funzionalità permette di gestire in maniera type-safe tutte quelle situazioni che classicamente avrebbero richiesto una "semplice" funzione variadica, con tutte le restrizioni e i compromessi del caso.[15]
Note
[modifica | modifica wikitesto]- ^ (EN) Kent D. Lee, Programming Languages: An Active Learning Approach, Springer Science & Business Media, 15 dicembre 2008, pp. 9–10, ISBN 978-0-387-79422-8.
- ^ (EN) R. Milner, L. Morris e M. Newey, A Logic for Computable Functions with Reflexive and Polymorphic Types, Proceedings of the Conference on Proving and Improving Programs, 1975.
- ^ GoF 1994.
- ^ Musser & Stepanov 1989.
- ^ Garcia 2007.
- ^ lett. "segnaposto" in italiano
- ^ lett. "Oggetto in movimento" in italiano
- ^ (EN) Templates Revisited, su dlang.org. URL consultato il 30 marzo 2024.
- ^ (EN) Java Generics, su docs.oracle.com. URL consultato il 30 marzo 2024.
- ^ Generics in .NET, su learn.microsoft.com, 27 gennaio 2024. URL consultato il 30 marzo 2024.
- ^ (EN) C++ templates, su en.cppreference.com. URL consultato il 30 marzo 2024.
- ^ (EN) C++ Standard Template Library index, su en.cppreference.com. URL consultato il 30 marzo 2024.
- ^ (EN) Template metaprogramming, su en.cppreference.com. URL consultato il 30 marzo 2024.
- ^ (EN) Douglas Gregor e Jaakko Järvi, Variadic Templates for C++0x, su jot.fm.
- ^ Bjarne Stroustrup, 28.6 Template Variadici, in C++ Linguaggio, libreria standard, principi di programmazione, 4ª ed., Pearson Italia, 2015, ISBN 9788865184486.
Bibliografia
[modifica | modifica wikitesto]- Libri
- (EN) Joseph Albahari, C# 10 in a Nutshell, 1ª ed., O'Reilly, 2022, ISBN 978-1-098-12195-2.
- (EN) Joshua Bloch, Effective Java: Programming Language Guide, 3ª ed., Addison-Wesley, 2018, ISBN 978-0134685991.
- (EN) David Musser e Alexander Stepanov, Generic programming, in Symbolic and Algebraic Computation: International symposium ISSAC 1988, Lecture Notes in Computer Science, vol. 358, 1989, pp. 13–25, DOI:10.1007/3-540-51084-2_2, ISBN 978-3-540-51084-0.
- (EN) Erich Gamma, Richard Helm, Ralph Johnson e John Vlissides, Design Patterns, Addison-Wesley, 1994, ISBN 0-201-63361-2.
- Conferenze
- (EN) Bjarne Stroustrup, Association for Computing Machinery, Evolving a language in and for the real world: C++ 1991-2006 (PDF), ACM HOPL 2007, 2007.
- Pubblicazioni
- (EN) R. Garcia, J. Ja ̈rvi, A. Lumsdaine, J. Siek e J. Willcock, An extended comparative study of language support for generic programming, in Journal of Functional Programming, vol. 17, n. 2, Cambridge University Press, marzo 2007, DOI:10.1017/S0956796806006198.
Voci correlate
[modifica | modifica wikitesto]Collegamenti esterni
[modifica | modifica wikitesto]- (EN) Opere riguardanti Generic programming (Computer science), su Open Library, Internet Archive.
- (EN) Denis Howe, generic programming, in Free On-line Dictionary of Computing. Disponibile con licenza GFDL
- (EN) Generic programming, su generic-programming.org, The Trustees of Indiana University.
- (EN) Raccolta delle pubblicazioni di Alexander A. Stepanov, su stepanovpapers.com (archiviato dall'url originale il 9 marzo 2024).