转换谓词通过引用返回局部变量

Question

在下面的代码中,我试图将a复制std::vector<char>到一个std::vector<uint8_t>.为了避免编译器警告,我在谓词中进行显式转换,std::transform而不是std::copy像这样使用

std::vector<char> buf(10, 10);
std::vector<uint8_t> u(10);
std::transform(std::begin(buf), std::end(buf), std::begin(u),                                 
     [](uint8_t val)->decltype(*std::begin(u)){                                            
     return static_cast<decltype (*std::begin(u))> (val);                              
     });    

对于这段代码,我得到编译器警告说我试图val通过引用返回一个局部变量.

为什么这样,它如何解决？

Answer 1

编译器是对的.在lambda的返回类型中:

decltype(*std::begin(u))

取消引用返回std::vector<T>::begin()返回的迭代器T&或T const&取决于的const限定条件u.其次,你的lambda展示Undefined Behavior,因为你正在返回一个临时的引用val.

要解决您的问题,您可以使用 std::decay_t

std::decay_t<decltype(*std::begin(u))>

这导致我们:

std::transform(std::begin(buf), std::end(buf), std::begin(u),                                 
     [](auto val)-> std::decay_t<decltype(*std::begin(u))> {
        return val;                              
     });

-------------------------------------------------- ----

如果类型是可隐式转换的,您可以简单地执行:

std::vector<uint8_t> u(std::begin(buf), std::end(buf));

或者,对于已经创建的u:

u.assign(std::begin(buf), std::end(buf));

另一方面,对于其他一些复杂类型,普通循环也不错:

for(const auto& k : buf)
    u.emplace( k.converted() ); //Assuming you must call a conversion function