Come si inizializza il valore di un puntatore di tipo * usando la sintassi di Tipo()?

Question

variabili dei tipi di can be value-initialized like this incorporati:

int var = int(); 

questo modo ottengo il valore predefinito di int senza hardcoding lo zero nel mio codice.

Tuttavia, se provo a fare roba simile per un puntatore:

int* ptr = int*(); 

il compilatore (Visual C++ 10) si rifiuta di compilare che (dice type int unexpected).

Come si inizializza il valore di un puntatore in modo simile?

Answer 1

Come faccio a valore-inizializzare un tipo * puntatore utilizzando il tipo() - come la sintassi?

Non è possibile. La sintassi T() è definita in 5.2.3/1.2 (C++ 03, una dicitura leggermente diversa in FDIS C++ 11). In particolare, il secondo paragrafo afferma:

L'espressione T(), dove T è uno specificatore di tipo semplice (7.1.5.2) per un tipo di oggetto completo senza matrice o il vuoto (eventualmente qualificato per cv) digita, crea un valore rval del tipo specificato, che è inizializzato a valore (8.5);

Ciò significa che int(), creerà un rvalue di tipo int e valore inizializzare esso. Ora il problema è che int* non è un identificatore di tipo semplice, ma piuttosto un identificatore di tipo elaborato. La definizione di semplice tipo-specificatore nella grammatica è:

simple-type-specifier: 
    ::opt nested-name-specifieropt type-name 
    ::opt nested-name-specifier template template-id 
    char 
    wchar_t 
    bool 
    short 
    int 
    long 
    signed 
    unsigned 
    float 
    double 
    void 

Con nome-tipo essendo definita come:

type-name: 
    class-name 
    enum-name 
    typedef-name 

Questo è ciò che rende il lavoro proposto soluzioni. La creazione del typedef (direttamente o tramite il modello) crea un nome tipo (terzo tipo) che può essere utilizzato come identificatore del tipo semplice (primo tipo).

Answer 2

Basta fare

int* x = int(); 

Assegna ancora 0 al puntatore rendendo puntare all'indirizzo NULL visto che sei inadempiente con il valore di default di int che è 0 in ogni caso.

In realtà, tutto funziona bene per tutti i tipi:

double* y = int(); 

L'indirizzo è ancora un 32 bit (o 64 bit a seconda della piattaforma) integer quindi penso che dovrebbe funzionare bene per tutti i tipi se si do = int().

Answer 3

Ecco un modo:

template <typename T> 
T make_default() 
{ 
    return T(); 
} 

int main() 
{ 
    int *p = make_default<int*>(); 
} 

Answer 4

Utilizzare un typedef per fare un nome per il tipo di puntatore:

typedef int *ip; 

ip ptr = ip(); 

La stessa idea dovrebbe funzionare per altri tipi che richiedono più di un elemento lessicale (parola) per definire il nome del tipo (ad esempio, unsigned long, long long, unsigned long long *, ecc.).

Answer 5

Questo è il modo in cui lo fai int * ptr = new int;

Heap pointers

Answer 6

La ragione che non funziona è perché i puntatori non hanno costruttori.

La sintassi

int()

chiamate (in teoria)

int::int()

che inizializza la variabile. (Più probabilmente, il compilatore azzera appena la variabile, ma è perché "sa" di ints).

in C++ 11, è possibile utilizzare nullptr

int *ptr = nullptr;

In caso contrario, è praticamente necessario utilizzare NULL:

int *ptr = NULL;

Answer 7

Non richiede l'uso di typedef (ma esclusivo di C++ 11), che può essere utile quando si tratta di diversi tipi di puntatore:

template<typename T> 
using alias = T; 

poi alias<int*> è int*, in modo da poter fare int* p = alias<int*>().

Una soluzione analoga a disposizione C++ 03, utilizzando un metafunction identità:

template<typename T> 
struct identity { 
    typedef T type; 
}; 

int* p = identity<int*>::type();