Cosa è const void?

Question

La descrizione di std::is_void precisa che:

Fornisce il valore costante elemento che è uguale a true, se T è il tipo vuoto, vuoto const, volatile vuoto, o const vuoto volatili.

Quindi cosa potrebbe essere const void o volatile void?

This answer afferma che const void tipo di ritorno sarebbe valida (invece compila il VC++ 2015)

const void foo() { } 

Se dalla norma, const void non è valida (VC essere sbagliato) - allora qual è const void?

Answer 1

const void è un tipo a cui è possibile creare un puntatore. È simile a un normale puntatore vuoto, ma le conversioni funzionano in modo diverso. Ad esempio, un const int* non può essere convertito implicitamente in un void*, ma può essere convertito implicitamente in un const void*. Allo stesso modo, se si dispone di un const void* non è possibile static_cast a un int*, ma è possibile static_cast a un const int*.

const int i = 10; 
void* vp = &i;       // error 
const void* cvp = &i;     // ok 
auto ip = static_cast<int*>(cvp);  // error 
auto cip = static_cast<const int*>(cvp); // ok 

Answer 2

I tipi possono essere il risultato di modelli; un modello potrebbe essere const T e essere istanziato con T come void.

La risposta è collegato ingannati, o meglio, limitata in vista, in quanto riguarda il caso particolare di un tipo non-template, e anche allora const void potrebbe essere insignificante, ma è codice valido.

Answer 3

Come void, const void è un tipo vuoto. Tuttavia, se è un const voidritorno tipo, il const non ha senso (anche se legale!), Perché [expr]/6:

Se un prvalue ha inizialmente il tipo “cvT”, dove T è un CV- non qualificato, non-array, il tipo di l'espressione è regolata su T prima di qualsiasi ulteriore analisi.

Tuttavia, è un tipo valido stesso e si verifica ad es. C-standard library functions, in cui viene utilizzato per garantire la costante correttezza dei puntatori agli argomenti: int const* non può essere convertito in void*, ma void const*.