Wie kann ich erreichen, sizeof Vektor::value_type?

Ich will sizeof des Typs, das ist enthalten in einem Vektor. Hier ist, was ich versucht habe:

#include <iostream>
#include <vector>

int main()
{
    std::vector<uint> vecs;
    std::cout << sizeof(vecs.value_type) << std::endl;
    return 0;
}

Aus meinem Verständnis sollte dies richtig sein. Jedoch beim kompilieren mit GCC 4.8.1 dies ist, was ich bekomme:

test-sizeof.cpp: In function 'int main()': 
test-sizeof.cpp:7:27: Fehler: ungültige Verwendung von 'std::vector<unsigned int>::value_type' 
std::cout << sizeof(vecs.value_type) << std::endl; 
^

Was mache ich falsch? Wie kann ich die Größe der enthaltenen Typ?

  • Verwenden std::vector<uint>::value_type
  • sizeof(std::vector<uint>::value_type) oder sizeof(decltype(vecs)::value_type).
  • Danke, das decltype trick ist, was ich benutzt habe. Wenn Sie die Zeit finden können Sie bitte eine detaillierte Erklärung, was ist hier Los? Ich denke, ich habe eine vage Idee, aber nicht genug, dass ich vielleicht erklären es im detail.
  • Warum nicht einfach sizeof(vecs[0])?
  • Würde das funktionieren, auch wenn der Vektor keine Elemente?
  • Ja, weil der operand wird nicht ausgewertet. (Ja ich bin zu spät. :|)

InformationsquelleAutor Chris | 2014-01-22
  1. 15

    3.4.3 Qualifizierte name lookup [basic.lookup.qual]

    1. Der name einer Klasse oder namespace-Mitglied oder ein enumerator sein kann
    bezeichnet nach dem :: scope resolution operator (5.1) angewendet auf eine
    nested-name-specifier, der kennzeichnet seine Klasse, namespace, oder
    die Aufzählung. Wenn a :: scope resolution operator in einem
    nested-name-specifier nicht vorangestellt werden, decltype-Bezeichner lookup
    der name vor dem :: ist der Auffassung, nur die namespaces, Typen, und
    Vorlagen, deren Spezialisierungen sind Arten    . Wenn der name nicht gefunden
    benennen Sie einen namespace oder eine Klasse, eine Aufzählung, oder abhängige Typ, der
    das Programm ist schlecht ausgebildet.

    In diesem Fall greifen Sie auf einen type Mitglied von der Vorlage-Klasse-Spezialisierung std::vector<uint>, und Sie müssen es tun, indem er schreibt:

    std::vector<uint>::value_type

    In Fall, dass Sie eigentlich in Vorlagen-code und wollen, um z.B. den Zugriff auf die gleichen verschachtelten Art, müssen Sie Präfix mit dem Schlüsselwort typename wie diese: 

    typename std::vector<T>::value_type

    In C++11, können Sie sizeof(decltype(vecs)::value_type) oder auch sizeof(decltype(vecs.back())) letzteres ist praktisch, wenn Sie nicht wissen, die genaue Bezeichnung der Art aber wissen, wie der Zugang zu Ihnen durch eine member-Funktion wie back().

    Hinweis: wie bereits von @Casey in die Kommentare, decltype erfordert Strippen Referenzen um, um den Typ selbst, sondern auch für sizeof Zwecke, spielt keine Rolle.

    • Re. der Letzte Absatz, beide . und -> können verwendet werden, um Zugriff static Mitglieder-Daten oder-Funktionen, die Klasse Mitglieder. Es kann einfach nicht sein verwendet, um Zugriff auf einen Typ.
    • tnx, habe ich entfernt, der Abschnitt, da ich nicht wollen, zu gehen in alle Details über ..
    • ...und Enumeratoren! Lassen Sie uns nicht vernachlässigen, die Armen wehrlosen aufgelistet.
    • Nit: decltype(vecs.back()) ist decltype(vecs)::value_type& und erfordert Strippen mit std::remove_reference oder std::decay man die Reine geben.
    • tnx, aber für sizeof() Zwecke, ist das nicht nötig. Aktualisiert wenn.
    • Beachten Sie, dass decltype(vecs)::value_type wird nicht funktionieren, wenn vecs ist ein std::vector<T>&. Es ist notwendig, um die noch komplizierter std::remove_reference_t<decltype(vecs)>::value_type.
    • Da sizeof() übergeben werden können, einen Ausdruck, nicht nur ein geben, es ist nicht notwendig, um decltype() zu drehen, einen Ausdruck in seine Art. E. g., sizeof('x') gültig ist, wie es ist, gibt es keine Notwendigkeit zu schreiben sizeof(decltype('x')). Dies führt zu dem, was ich denke, ist die beste Antwort auf die ursprüngliche Frage. Holen Sie sich die Größe mit sizeof(vecs[0]). Es ist völlig sicher zu verwenden std::vector::operator[] in diesem ungewichtete Kontext. Es ist sehr präzise und es funktioniert für Vektoren und andere Container, und auch C-arrays oder Zeiger. E. g., in einer Vorlage, wo die Art der vecs könnte sich viele Dinge, außer vector.

    InformationsquelleAutor TemplateRex
  2. 9

    Den member-access operator . können nur verwendet werden, um Zugriff auf Datenelemente und member-Funktionen von Klassen, nicht auf andere geschachtelten Namen wie Typ-Namen. Sie müssen den bereichsauflösungsoperator :: Zugang zu Ihnen, und das kann nur angewendet werden, um den Namen der Klasse (oder ein alias), nicht ein Objekt der Klasse Typ:

    std::vector<uint>::value_type

    In C++11 oder später decltype können, geben Sie einen Namen eingeben, wenn Sie ein Objekt haben und keine bequemen Zugang zu den Typ:

    decltype(vecs)::value_type
    • Nitpick-nazi sagt: Geschachtelte Typen member von Klassen §9.2/1 "Mitglieder einer Klasse sind Datenmember, Memberfunktionen (9.3), nested types, und Enumeratoren", aber Sie sind explizit ausgeschlossen von den access-Ausdrücke §5.2.5/4 "Wenn E2 ist ein nested type, der Ausdruck E1.E2 ist schlecht ausgebildet."
    • Danke, ich war nicht sicher, ob die genaue definition von "Mitglied". Die Antwort ist mehr korrekt.
    InformationsquelleAutor Mike Seymour
  3. 3

    Den Kommentaren so ziemlich alles gesagt: wenn Sie wissen, die Art der Vektor, die Sie verwenden können sizeof(std::vector<uint>::value_type). Ansonsten verwenden Sie sizeof(decltype(vecs)::value_type).

    decltype ist ein Magischer C++11-Konstrukt ausgewertet wird, um den Typ des Arguments, also der code

    int i;
float f;

decltype(i) j;
decltype(f) g;

    Ist das gleiche wie 

    int i;
float f;

int j;
float g;

    Verwenden Sie nur die . - operator für Felder und Methoden (technisch, es kann verwendet werden für statische variable als gut, aber es gilt als schlechte Praxis). Für alles andere, wie zum Beispiel statische Variablen, innere Klassen, oder Klassen-scope-template-Parameter oder Typdefinitionen (wie value_type), verwenden Sie den scope-resolution-operator ::.

    InformationsquelleAutor ApproachingDarknessFish
  4. 3

    Ich lieber präziser:

    sizeof(vecs[0])

    Die auf den ersten Blick scheint unsicher denn was passiert, wenn vecs wird eine Länge von null-Vektor?

    Für dieses Beispiel, wo das argument zu sizeof() Bediener wird aufgefordert, den Wert-Typ, der sizeof() - operator ausgeführt wird zur compile-Zeit und so vecs[0] können nie dazu führen, einen segfault oder Absturz.

    p.s. sizeof() ist nur zur Laufzeit ausgewertet, wenn das argument ist ein variable-Länge-array (aus C oder GNU-C++ - Erweiterung)

    InformationsquelleAutor Trevor Boyd Smith
Schreibe einen Kommentar