Использование авто в выходном параметре

Question

Есть ли способ использовать автоматическое ключевое слово в этом сценарии:

void foo(bar& output){ 
    output = bar(); 
} 

int main(){ 
    //Imaginary code 
    auto a; 
    foo(a); 
} 

Конечно, невозможно знать, какой тип a. Таким образом, решение должно заключаться в том, чтобы объединить их в одном предложении так или иначе. Это доступно?

Answer 1

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

Вы не можете сделать это с помощью auto, но вы могли бы написать черту, чтобы извлечь тип функция ожидает, а затем использовать, чтобы объявить переменную:

namespace detail { 
    //expects the argument number and a function type 
    template <std::size_t N, typename Func> 
    struct arg_n; 

    //does all the work 
    template <std::size_t N, typename Ret, typename... Args> 
    struct arg_n <N, Ret (Args...)> { 
     using type = std::remove_reference_t< 
         std::tuple_element_t<N, std::tuple<Args...>> 
        >; 
    }; 
} 

//helper to make usage neater 
template <std::size_t N, typename Func> 
using arg_n = typename detail::arg_n<N, Func>::type; 

Тогда вы используете его так:

//type of the first argument expected by foo 
arg_n<0,decltype(foo)> a{}; 
foo(a); 

Конечно, как только вы перегружаете функцию, все это терпит неудачу.

Answer 2

bar foo() 
{ 
    return bar{}; 
} 

int main() 
{ 
    auto a = foo(); 
} 

Все современные компиляторы сделают копирование, копии не будут вообще.