Vorübergehend optional in der range-based for loop Ausdruck

Question

Angenommen, wir haben eine Funktion, die std::optional<A> zurückgibt. Was ist dann eine geeignete Methode, um das Ergebnis in der bereichsbasierten for-Schleife zu verwenden? Der einfachste Weg nicht funktioniert:

for (auto&& e : a().value()) { 
        // ^--- A&& is returned, so A is destructed 
        // before loop starts 

Dieses Problem würde nicht existieren, wenn wir T optional::value() && statt T&& optional::value() && hätten, aber beide STL und Boost es in einer zweiten Art und Weise definieren.

Was ist ein geeigneter Weg, um mit dieser Situation umzugehen? Ich mag es nicht, beide Lösungen, die ich von (sandbox) einfiel:

std::experimental::optional<A> a() { 
    // ... 
} 

void ok1() { 
    // ugly if type of A is huge 
    for (auto&& e : A(a().value())) { 
    // ... 
    } 
} 

void ok2() { 
    // extra variable is not used 
    // if for some reason we are sure that we have a value 
    // and we skip checks 
    auto&& b = a(); 
    for (auto&& e : b.value()) { 
    // ... 
    } 
} 

// it may be that the best choice is to define 
A aForced() { 
    return A(a().value()); 
} 

Answer 1

Dies löst Ihr Problem:

template<class T> 
std::decay_t<T> copy_of(T&& t){ 
    return std::forward<T>(t); 
} 

template<class T, std::size_t N> 
void copy_of(T(&)[N])=delete; 

Dann:

for(auto&& x:copy_of(a().value())) 

Die copy_of Technik im Allgemeinen löst Funktionen Rückgabe von rvalue-Referenzen, die auf for(:) Loops verwendet werden.

---

Eine Alternative ist das Schreiben value_or_run(T&&, F&&f), die eine Lambda nimmt auch nützlich sein kann. In der F können Sie tun, was Sie wollen, wie werfen, und es gibt eine T nicht eine T&&.

Ähnlich, value_or.

Meine persönliche optional verwendete emplace Syntax für value_or - wenn diejenige, die Sie hat verwenden, dass dann .value_or(throw_if_empty{}), wo throw_if_empty ein operator T() hat, die die optionalen leer Fehler auslöst.