Chiunque di voi abbia dimestichezza con i template saprà realizzare in
poco tempo una semplice coda (di tipi), ma siete in grado di realizzarne
una che inserisca ed estragga gli elementi in tempo (di compilazione)
costante?

Kiuhnm

Kiuhnm wrote:

perdona la mia ignoranza, ma che vuol dire tempo di compilazione?
se e' il tempo che ci mette il compilatore a creare l'eseguibile... who
cares? l'importante e' che l'algoritmo abbia complessità O(1) in
esecuzione...

devo aver perso qualche passaggio...

ZeD wrote:

Forse chi deve aspettare che la compilazione finisca?

Kiuhnm

Kiuhnm wrote:

a meno di casi eccezionali, non penso che nessun programma ci metta a
compilare più di mezza giornata, su piattaforme particolarmente poco
performanti.

piuttosto, anche come sviluppatore, cercherei di focalizzarmi su quanto
veloce (se serve, ovvio... se devo sviluppare un gestionale ho altre
priorità) il programma faccia il suo dovere, una volta compilato.

ZeD wrote:

[piccola aggiunta]

questa domanda, al limite, l'avrei potuta "capire" se il C++ fosse un
linguaggio implementato solo sotto forma di interpreti (o compilatori
just-in-time, se non abbastanza furbi), dove il "carico" del lavoro sarebbe
stato moltiplicato per ogni singola volta che l'applicazione sarebbe stata
usata.

Kiuhnm ha scritto:

io (ovviamente no), ma mi sono chiesto a cosa potrebbe servire
una struttura dati dinamica come la coda (o altre) quando la
situazione è già nota a tempo di compilazione .... perché non
usare un array coi valori precaricati ? Potresti chiarire meglio
il concetto di cosa dovrebbe fare e perché è stata scelta questa
strategia ?
ciao
Soviet

ZeD gmail.com> wrote:

Io credo che la domanda di Kiuhnm sia da intendersi in senso anche
teorico. Ovvero: il sistema di template di C++ è turing completo.

Volendo ha quindi chiedersi quale sia la complessità di un algoritmo
scritto in tale sistema.

Mi viene anche da chiedermi se si riesce ( da un punto di vista teorico
direi di si ) a scrivere un programma la cui compilazione *non* termina.
Kiuhnm?

Mc Osten wrote:

Certo. Per es. ti basta eliminare la specializzazione nell'esempio del
fattoriale. In pratica ci sono dei limiti, però.

Kiuhnm

Soviet_Mario wrote:

Vedi MPL, Loki, ecc...

Kiuhnm

Kiuhnm <"kiuhnm03["@]yahoo.it> wrote:

me idiot. uff, porto la giustificazione, dopodomani ho un esame di
teoria dell'informazione :)

tra l'altro siamo credo una delle poche facoltà dove si fa anche teoria
dell'informazione algoritmica (basata sui lavori di Chaitin e Kolmogorov
etc). E pensa che ho scoperto ieri che è uscito un testo di Chaitin in
Italia di recente (ma chiaramente nella mia città non c'è, e per quando
abbia discrete doti di lettore "tecnico", buttare giù un libro di
matematica in tre giorni non rientra nelle mie facoltà).