在输出参数中使用 auto

Question

有没有办法在这种情况下使用 auto 关键字：

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

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

当然不可能知道是什么类型a。因此，解决方案应该是以某种方式将它们合并到一个句子中。这个有货吗？

Answer 1

bar foo()
{
    return bar{};
}

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

所有现代编译器都会进行复制省略，根本不会有复制。

Answer 2

您似乎想要默认初始化给定函数期望作为参数的类型的对象。

你不能用 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);

当然，一旦你重载函数，这一切都会失败。

在输出参数中使用 auto

Using auto in output parameter

c++

auto

c++11