Qual è la definizione di puntatore? [duplicare]

Non conosco alcuna definizione generale per "puntatori" o un altro termine correlato, "riferimenti" . È abbastanza sicuro, tuttavia, dire che i puntatori e i linguaggi di programmazione che supportano i puntatori di solito hanno molte delle seguenti caratteristiche:

• Per lo meno, un puntatore è un riferimento ad altri oggetti / valori.

• Un tipo di puntatore può essere o meno digitato , ovvero i puntatori di quel tipo possono fare riferimento solo a un certo tipo di oggetti / valori (ad esempio int* vs. void* in C ). Se questa caratteristica è presente o meno può dipendere principalmente dalla natura del sistema di tipo del linguaggio di programmazione di supporto.

• Un linguaggio di programmazione che supporta i puntatori può avere o meno un puntatore operatore di dereferenze , che risolve un puntatore all'oggetto / valore di riferimento (ad esempio unario * in C).

• Un tale linguaggio di programmazione può avere o meno un operatore che crea un puntatore per un oggetto / valore (ad es. unario & in C).

• Un puntatore può contenere o meno un riferimento null , vale a dire che non punta a nulla. (Questa funzionalità è stata inventata da Tony Hoare, che ora chiama il suo .) Questi puntatori non possono essere dereferenziati e non possono essere il risultato dell'operatore di creazione puntatori.

• Un tipo di puntatore può o non può supportare una forma limitata di aritmetica , ad es. incremento / decremento, aggiunta / sottrazione di un valore integrale a un valore puntatore, sottrazione di due puntatori dello stesso tipo di puntatore, ecc.

• Un puntatore, ovvero un riferimento a un altro oggetto, può essere implementato utilizzando gli indirizzi di memoria (lineare, segmentato o altro).

What is the definition of pointer?

Che dipende completamente, dalla lingua.

Sia C che C ++ (non esiste un linguaggio come "C / C ++"!) hanno una definizione solida e precisa di puntatori. Ad esempio, C99 dice (§6.2.5.20):

A pointer type may be derived from a function type, an object type, or an incomplete type, called the referenced type. A pointer type describes an object whose value provides a reference to an entity of the referenced type. A pointer type derived from the referenced type T is sometimes called ‘‘pointer to T’’. The construction of a pointer type from a referenced type is called ‘‘pointer type derivation’’.

(sottolineatura mia)

in seguito, quando si descrive l'operatore & (address-of) (§6.5.3.2.3):

The unary & operator yields the address of its operand. If the operand has type ‘‘type’’, the result has type ‘‘pointer to type’’.

Questa interpretazione suggerisce nuovamente che un "puntatore" è semplicemente un indirizzo. (Beh, non semplicemente, ma comunque un indirizzo.)

Is the ability to "dereference" the pointer essential to the concept of a pointer?

Di nuovo, dipende. Concettualmente, Java ha dei puntatori, ma non puoi dereferenziarli. Gli oggetti Objective-C sono anche puntatori, ma il compilatore si lamenta se si sta tentando di dereferenziare un tale puntatore. (Sospetto che questi fenomeni abbiano un'origine comune: i puntatori sono usati in entrambi i linguaggi per rappresentare riferimenti agli oggetti, e a livello di implementazione, sono anche usati per cose intelligenti come il polimorfismo.)

So what is the precise definition of pointer i can answer irrespective of specific programming language?

Sfortunatamente, non esiste una cosa del genere. (Autopromozione spudorata: ma puoi fornire un link a questa risposta se ritieni che sia abbastanza buono: P)

Ciò che un puntatore "è" in genere dipende sia dalla lingua, sia dall'implementazione di quella lingua. ad esempio: i puntatori in C / C ++ sono tipicamente int che contengono l'indirizzo di memoria della cosa puntata, tuttavia non devono avere necessariamente. Questo è il modo in cui di solito vengono implementati.

Quindi, pensando alle operazioni che possono essere eseguite su un puntatore, qualsiasi cosa diversa da un "deferenza" è in realtà dipendente dall'implementazione. Essere in grado di eseguire l'aritmetica dei puntatori è spesso utile, ma dipende interamente dall'implementazione sottostante.

I puntatori hanno anche un ruolo secondario in c / c ++ in quanto spesso puntano agli elementi allocati sull'heap piuttosto che sullo stack. Questa differenziazione spesso non viene catturata in altre lingue. Altre lingue tendono ad evitare il termine "puntatore" e usano invece "riferimento" o "alias".

Personalmente, mi piace pensare, in senso generale, a dei puntatori come a uno speciale alias. Ma quando si tratta di C / C ++ tendo a considerare l'intero linguaggio come una questione di memoria, e i puntatori diventano solo un sottoinsieme della gestione della memoria.

A pointer is a kind of variable whose value is a reference to a point in the memory of the machine where the program is running.

Essendo variabili che devono supportare operazioni (altrimenti sarebbero inutili), le operazioni supportate possono variare a seconda del linguaggio di programmazione.

Molti nuovi linguaggi di programmazione (come Java) arrivano persino a nascondere i puntatori agli utenti (che potremmo probabilmente dire che in questi linguaggi i puntatori sono variabili che non supportano operazioni).

Direi che qualsiasi operazione sui puntatori deve essere supportata o meno a seconda della struttura della lingua. In qualche modo, i linguaggi di programmazione utilizzano i puntatori, ma il fatto che non tutte le lingue vi consentano di accedere a tali file è indicativo del fatto che le operazioni potrebbero essere necessarie o meno a seconda della struttura della lingua.

Ecco cosa ho imparato in CS:

1. Una variabile è una posizione con nome di un valore.

2. Un puntatore è una variabile il cui valore è l'indirizzo della posizione di una variabile.

E sì, a mio parere, i riferimenti in generale sono dereferenziabili.