C++ 17 make_optional constexpr-ness

Question

This page afferma che la funzione make_optional in C++ 17 restituisce un constexpr optional<...>. Penso che (potrei avere torto però) ciò richiederebbe che optional<T> abbia un costruttore di copia o spostamento constexpr. Tuttavia, this page dice anche che non è il caso.

Non so come sia possibile implementare make_optional mentre la bozza C++ 1z si trova attualmente. Vedere this post per chiarimenti. C'è qualche soluzione alternativa, o forse è solo l'errore di bozza/cppreference standard?

Answer 1

Grazie a @Yakk e @ T.C. per le loro spiegazioni. Mi sento un esempio dovrebbe rendere le cose più chiare:

struct wrapper { 
    int value; 

    // non-explicit constexpr constructor 
    constexpr wrapper(int v) noexcept : value(v) {} 

    // non-constexpr copy & move constructors 
    wrapper(const wrapper& that) noexcept : value(that.value) {} 
    wrapper(wrapper&& that) noexcept : value(that.value) {} 
}; 

constexpr wrapper make_wrapper(int v) 
{ 
    return {v}; 
} 

int main() 
{ 
    constexpr auto x = make_wrapper(123); // error! copy/move construction, 
              // but no constexpr copy/move ctor 

    constexpr int y = make_wrapper(123).value; // ok 
    static_assert(y == 123, "");    // passed 
} 

Così make_wrapper fa ritorno con successo un constexpr wrapper; è la costruzione di copia/spostamento (sebbene solitamente elisa dai compilatori) che impedisce la compilazione del codice, poiché non esiste un costruttore di copia/spostamento constexpr.

Possiamo verificare constexpr -ness dell'oggetto restituito (temporaneo) wrapper utilizzando il suo valore membro per inizializzare una variabile constexpr.

Answer 2

È possibile costruire direttamente valori di ritorno in C++ 11 con return {something}; Se ci sono cori non espliciti che sono constexpr, è possibile restituirli da una funzione.