C++ 11 äußere Umfang Variable deklariert Auto

Question

In C++, wo es verfügbar ist, ist es empfehlenswert, auto für viele Variablen zu verwenden, solche, deren Art insbesondere bekannt, aber ärgerlich tippen:

weird_template_type<int,char>::subtype::recursive_subtype some_function() { 
    // ... 
} 
// ... 
auto val = some_function(); 

Es ist auch gut, Mikro-Scopes für RAII-Objekte zu verwenden, wenn das sinnvoll ist, z zum Verriegeln:

Gibt es eine Möglichkeit, diese beiden Idiome zu mischen, z.B. Wenn Ihr Shared-Memory-Reading-Code einen seltsamen Typ zurückgibt?

Die offensichtliche Version nicht funktioniert:

auto val; 
{ 
    lock_guard<mutex> lk(mut); 
    val = read_shared_memory(); 
} 
do_something(val); 

Dies ohne initializer aufgrund einer auto Variable bei der Kompilierung fehlschlägt.

In ähnlicher Weise können Sie die Variable innerhalb des scoped Block nicht erklären, sonst ist es nicht später verfügbar. Die einzigen unmittelbaren Optionen, die ich sehen kann, sind 1. Geben Sie die Variablendeklaration explizit (bleah) aus, oder 2. Verwenden Sie mit einem anderen Ausdruck, von dem Sie wissen, dass er vom selben Typ ist (keine Verbesserung). Gibt es einen anderen Weg?

Answer 1

Im Grunde, was du redest ist komplex Variableninitialisierung. Die typische Lösung ist eine Lambda zu verwenden:

auto val = [&]() { 
    lock_guard<mutex> lk(mut); 
    return read_shared_memory(); 
}(); 

Answer 2

können Sie

decltype(read_shared_memory()) val; 
{ 
    lock_guard<mutex> lk(mut); 
    val = read_shared_memory(); 
} 
do_something(val); 

betrachten, obwohl es nicht unbedingt weniger ausführlich ist.

Answer 3

Sie können eine Hilfsfunktion für das erstellen:

int read_shared_int_memory(std::mutex &mut); 
{ 
    std::lock_guard<std::mutex> lock(mut); 
    return read_shared_memory(); 
} 

und dann einfach wie folgt:

auto val = read_shared_int_memory(mut);