C++ 11 внешняя переменная сфера объявлена ​​авто

Question

В C++, где это доступно, это хорошая практика, чтобы использовать auto для многих переменных, в частности, тип которого известен, но раздражает впечатать:

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

Это также хорошо использовать микрообъекты для объектов RAII, если это имеет смысл, например для блокировки:

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

Есть ли способ смешать эти две идиомы, например. когда ваш код чтения общей памяти возвращает странный тип?

Очевидная версия не работает:

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

Это терпит неудачу во время компиляции из-за auto переменного без инициализатора.

Аналогично, вы не можете объявить переменную внутри блока с областью действия, иначе она не будет доступна позже.

Единственные непосредственные параметры, которые я вижу, - это 1. введите явно объявление переменной (bleah) или 2. используйте auto с некоторым другим выражением, которое, как известно, имеет тот же тип (не улучшение). Есть ли другой способ?

Answer 1

В основном, речь идет о сложной переменной инициализации. Типичным решением является использование лямбда:

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

Answer 2

Вы можете рассмотреть

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

, хотя это не обязательно менее многословным.

Answer 3

Вы можете создать вспомогательную функцию для этого:

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

, а затем просто:

auto val = read_shared_int_memory(mut);