С С++ 17 у нас будет возможность возвращать невозмутимые (в том числе непокрываемые) типы, такие как std::mutex
, через то, что можно считать гарантированной оптимизацией возвращаемого значения (RVO): Гарантированное копирование с помощью упрощенных категорий значений:
struct nocopy { nocopy(nocopy&) = delete; nocopy() = default; };
auto getRVO(){
return nocopy();
}
У нас также будет структурированные привязки, позволяющие:
tuple<T1,T2,T3> f();
auto [x,y,z] = f();
или (здесь также используется мое понимание функции вывод аргумента шаблона для конструкторов)
template<typename T1,typename T2,typename T3>
struct many {
T1 a;
T2 b;
T3 c;
};
// (Original questions missed 'many' on the next line. Thanks, T.C.)
auto f(){ return many{string(),5.7, false} };
auto [x,y,z] = f();
Но позволяют ли эти функции включить что-то подобное?
auto get_ensured_rvo_str(){
return std::pair(std::string(),nocopy());
}
auto get_class_and_mutex(){
return many{SomeClass(),std::mutex(),std::string()};
}
int main(){
auto rvoStr = get_ensured_rvo_str().first;
auto [ mtx,sc,str ] = get_class_and_mutex();
}
Мое мышление заключается в том, что для этого для работы потребовалось бы гарантированное RVO аргументов конструктора агрегата при формировании std::tuple
или many
, но не было бы это названо RVO (NRVO), которое специально не включено в Предложение P0144R2?
Боковое примечание: P0144R2 специально упоминает, что поддерживаются типы только для перемещения:
2.6 Типы только для перемещения
Поддерживаются типы только для перемещения. Например:
struct S { int i; unique_ptr<widget> w; }; S f() { return {0, make_unique<widget>()}; } auto [ my_i, my_w ] = f();