Was ist const void?

Die Beschreibung von std::is_void besagt, dass:

Stellt das Mitglied Konstanten Wert gleich true, wenn T die Typ void, const void, volatile
void, oder const volatile void.

Dann, was das sein könnte const void oder eine volatile void ?

Diese Antwort besagt, dass const void zurück geben, wäre unwirksam (jedoch kompiliert auf VC++ 2015)

const void foo() { }

Wenn durch standard const void ungültig ist (VC, falsch) - was ist dann const void?

  • Die Antwort, die Sie link nicht, es wäre ungültig, heißt es, es wäre "sinnlos", was ich nehmen würde bedeuten ", bietet keine Vorteile gegenüber void ohne const".
  • die Antwort besagt, dass compiler sollten warnen/Fehler über eine solche Qualifikation. Ich nehme an C++ - standard nicht ermöglichen, Qualifikationen mit void
  • Die Antwort besagt, dass der compiler sollten warnen, dass über eine solche Qualifikation, die es nicht erwähnt, ein Fehler, und ein Fehler wäre falsch. Diese Bemerkung ist nur über die Qualität der Umsetzung, nicht um Konformität, aber ich kann verstehen, dass überhaupt nicht klar aus der Bemerkung selbst.
  • der standard ist nicht angegeben, es sollte eine Warnung sein, wenn Sie verwenden sinnlosen code. Es war eine Entscheidung, die die gcc geben Sie einen zusätzlichen Hinweis, dass dieser code tut nichts. Aber VC ist nicht falsch, in keiner Weise.
  • Die Antwort besagt, dass clang gibt eine Warnung aus, und das, in dem der Autor die Meinung, andere Compiler sollten. Wenn der standard hat es nicht zugelassen, es wäre ein Fehler, keine Warnung.
InformationsquelleAutor Ajay | 2016-06-17
  1. 86

    const void ist eine Art, die Sie bilden können, sind ein Zeiger auf. Es ist ähnlich wie bei einem normalen void-Zeiger, aber Konvertierungen funktionieren anders. Zum Beispiel, ein const int* nicht implizit konvertiert werden können, um eine void*, aber es kann implizit in einen const void*. Ebenso, wenn Sie eine const void* Sie nicht static_cast es zu einer int*, aber Sie können static_cast es zu einer 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
    • Während Ihre Antwort ist gut, es nicht der Grund der const void, die sich aber nur um leere und nicht-leere Zeiger [ mit (nicht-)const-ness ].
    • Ich bin nicht einverstanden. Ein const void* ist der einzige Grund, warum würden Sie jemals sehen const void. Es kann weitergegeben werden, um als template-argument, aber das argument Typ nur immer instanziert werden mit einer * am Ende.
    • Sie können auch sehen const void im Frage von Sprache der Rechtsanwalt
    • Irgendwann diese Frage stellt sich eine Philosophie Frage. Die "Vernunft" der const void ist, dass alle Typen in C++ gemacht werden kann const. Es "existiert" in der gleichen Weise, dass void vorhanden ist. @Benjamin Lindley ' s Antwort erklärt, was es ist, wenn Sie es sehen und wie Sie es verwenden.
    InformationsquelleAutor Benjamin Lindley
  2. 21

    Als void, const void ist ein void-Typ sein. Allerdings, wenn const void ist ein zurück geben, die const sinnlos ist (wenn auch legal!!!), da [expr]/6:

    Wenn ein prvalue zunächst hat der Typ "cv T", wo T ist ein cv-unqualifizierte nicht-Klasse der nicht-array-Typ, die Art der
    der Ausdruck ist angepasst, um T vor jeder weiteren Analyse.

    Jedoch, es ist eine gültige Art sich selbst und tritt in z.B. C-standard-library-Funktionen, wo es verwendet, um die const-correctness von argument-Zeiger: int const* können nicht konvertiert werden um void*, aber void const*.

    • const void als Rückgabe-Typ wirkt sich auf die Funktion geben, so ist es nicht völlig bedeutungslos.
    • Außer es ist in jedem praktischen Sinn, weil weder die Signatur von der Funktion noch die Art von einem Aufruf von ihm betroffen sind.
    • Nun, es kann ändern Sie die Signatur einer Funktion Vorlage. +1 dennoch
    • Fair enough - das ist es immer noch eine Verschwendung von Tastatureingaben, obwohl.
    • Wir normalerweise sehen: const int * nicht gehen, um void *, aber const void *.
    InformationsquelleAutor Columbo
  3. 18

    Arten können die Folge von Vorlagen; Vorlage könnte Staates const T, und instanziiert werden mit T als void.

    Den verlinkten Antwort in die Irre ist, oder eher, nur eingeschränkt in der Sicht, dass es im Hinblick auf den speziellen Fall einer nicht-template-Typ, und selbst dann const void könnte bedeutungslos, aber es ist gültigen code.

    InformationsquelleAutor DevSolar
Schreibe einen Kommentar