Kann std::array verwendet werden, in einer constexpr-Klasse?

Ich bin derzeit am erstellen einer Klasse mit einem constexpr Konstruktor und ich Frage mich, ob ich verwenden kann, ein std::array zum speichern der Daten dieser Klasse. Hat der standard explizit angeben, dass eine std::array hat eine constexpr Konstruktor und dessen Inhalt zugegriffen werden kann zur compile-Zeit ?

  • std::array keinen constexpr Konstruktor, um die nach meinem besten wissen
  • std::array hat keine (Benutzer-definiert) - Konstruktor. Es ist ein Aggregat.
  • Beachten Sie, dass obwohl Sie können die Daten zu speichern, müssen Sie einen schwieriger Zeit, extrahieren Sie es in ein constexpr Weg.
  • Es gibt mehrere library-Fehler aus, fügen constexpr auf verschiedene Funktionen. So können Sie nicht bekommen Sie Ihre Daten in einer constexpr Weise in C++11, aber diese sollten aufgelöst werden in die nächste Sprache-version (und ggf. früher je nach Bibliothek implementor) zu markieren, die meisten von Ihnen (alle?) als constexpr.
InformationsquelleAutor Vincent | 2013-01-10
  1. 27

    Weil std::array<T, N> ist ein Aggregat, es kann initialisiert werden, als constexpr wenn und nur dann, wenn der zugrunde liegende Typ T hat eine constexpr Konstruktor (wenn vorgestellt mit jeder Initialisierung, die Sie zur Verfügung stellen).

    InformationsquelleAutor Ben Voigt
  2. 9

    Basiert auf den Kommentar von @MarkGlisse: diese kompiliert

    #include <array> 
#include <iostream>

template<typename T, std::size_t N> 
struct X 
{ 
   constexpr X(const std::array<T,N>& a):arr(a){} 

   private: 
   std::array<T,N> arr; 
}; 

constexpr std::array<int,2> a {{ 13, 18 }}; 
constexpr X<int,2> x = a;

int main() 
{        
}

    Ich glaube, ich habe gefunden das relevante Zitat aus dem Standard hier:

    12.1 Konstruktoren [Klasse.ctor]

    6 Einen default-Konstruktor, der voreingestellt ist und nicht definiert, wie gelöscht wird
    implizit definiert, wenn es odrused (3.2) erstellen Sie ein Objekt von seiner
    Klasse-Typ (1.8) oder wenn es explizit vorgegeben, nachdem seine erste
    Erklärung. Der implizit definierte Standardkonstruktor führt die
    Reihe von Initialisierungen der Klasse, die würde durchgeführt werden indem eine
    user-written Standard-Konstruktor für die Klasse ohne
    ctor-Initialisierer (12.6.2) und einen leeren compound-Anweisung. Wenn das
    user-written Standard-Konstruktor wäre schlecht ausgebildet, die Programm ist
    schlecht ausgebildet. Wenn das user-written Standard-Konstruktor würde genügen
    Anforderungen an ein constexpr Konstruktor (7.1.5), die implizit definierten
    default-Konstruktor ist constexpr.

    Dieser sieht im wesentlichen wie @BenVoigt Antwort.

    • #include <cstdlib> #include <array> template<typename T, std::size_t N> struct X { constexpr X(std::array<T,N>& a):arr(a){} private: std::array<T,N> arr; }; std::array<int,2> a = { 13, 18 }; X<int,2> x = a; kompiliert für mich...
    • Versuchen Sie constexpr vor a und X, und es wird nicht kompiliert!
    • #include <cstdlib> #include <array> template<typename T, std::size_t N> struct X { constexpr X(const std::array<T,N>& a):arr(a){} private: std::array<T,N> arr; }; constexpr std::array<int,2> a = { 13, 18 }; constexpr X<int,2> x = a; kompiliert einwandfrei.
    • OK, tnx, also keine Ahnung, warum es kompiliert? 😉
    • chris sagte es, std::array ist ein Aggregat. Welchen Teil genau verwirrt dich?
    InformationsquelleAutor TemplateRex
Schreibe einen Kommentar