创建一个rvalue并通过转发将其传递给一个函数

Question

我有似乎的代码，但我不确定我是否只是看到了未定义的行为，或者它是否真的有效。

#include <string>
#include <vector>
#include <sstream>
#include <numeric>
#include <iostream>

auto main() -> int {

    const std::vector<std::string> keywords = {
        "and","and_eq","asm","auto","bitand", "bitor","bool","break","case",
        "catch","char","class","compl","const", "const_cast","continue",
        "default","#define","delete","do","double","dynamic_cast","else","enum",
        "explicit","export","extern", "extern \"C\"","false","float",
        "for","friend","goto","if","inline","int","long","mutable","namespace",
        "new","not","not_eq","operator","or", "or_eq","private","protected",
        "public","register","reinterpret_cast","short","signed","sizeof",
        "static","static_cast","struct","switch","template","this","throw",
        "true","try","typedef","typeid","typename","union","unsigned","using",
        "virtual","void","volatile","void","wchar_t","while","xor","xor_eq",
        "return", "decltype"
    };

    std::ostringstream keywords_pattern =
        std::accumulate(keywords.begin(), keywords.end(), std::forward<std::ostringstream>(
            std::ostringstream("constexpr", std::ostringstream::ate)),
            [](std::ostringstream &accum, const std::string& next) -> std::ostringstream&& {
                accum << '|' << next;
                return std::forward<std::ostringstream>(std::move(accum));
            });

    std::cout << keywords_pattern.str() << std::endl;
}

它的作用：

所有这一切都是将C ++关键字的矢量组合成一个由|分隔的字符串。

输出：

这是我运行时的输出：

 onstexpr|and|and_eq|asm|auto|bitand|bitor|bool|break|case|catch|char|class|compl|const|const_cast|continue|default|#define|delete|do|double|dynamic_cast|else|enum|explicit|export|extern|extern "C"|false|float|for|friend|goto|if|inline|int|long|mutable|namespace|new|not|not_eq|operator|or|or_eq|private|protected|public|register|reinterpret_cast|short|signed|sizeof|static|static_cast|struct|switch|template|this|throw|true|try|typedef|typeid|typename|union|unsigned|using|virtual|void|volatile|void|wchar_t|while|xor|xor_eq|return|decltype

没有这不是一个错误，它确实错过了输出中的第一个字符，即使我没有看到如何，因此我觉得我确实有某些事情的原因越多错。

我的担忧：

我特别担心它可能有一些未定义的行为，因为该函数正在通过引用操作临时（ostringstream）;最后返回... 一个右值参考 ??

我需要帮助，了解如何确保我没有做错事。此外，通过使用转发和移动语义，我可以在那里进行任何改进吗？建议远离。

编译：

在GCC和Clang上编译时没有任何警告或错误。

Answer 1

std::accumulate，std::ostringstream和标准

std::accumulate要求T（返回类型和初始值的类型）为CopyAssignable和CopyConstructible。 std::ostringstream既不是CopyAssignable也不是CopyConstructible，因此就标准而言，它是不允许的。 （事实上​​，MSVC在你的脸上引起了一个大的红色错误！）。

有趣的是，GCC，clang和icc（我测试过的）都没有产生警告（-pedantic），但我不知道这是否是一个错误（没有＆＃39; t警告std::ostringstream不是CopyAssignable或CopyConstructible）或功能（他们是否明确支持std::accumulate的仅限移动类型？）。

无论如何，即使他们支持它，它也不符合标准，所以他们可以在技术上按照自己的意愿行事。

TLDR：根据标准，不允许这样做。

实施

此代码中不需要std::forward。

在第一次使用中，std::ostringstream构造函数已经返回了一个右值引用。

在第二种用法中，您已通过调用accum将std::move明确转为右值引用。

std::forward在模板中很有用，其中要转发的变量类型会被推断出来，因此您不知道是否可以/应该移动或复制它。例如：

template<typename T>
void do_something(T&& thing) {
    call_impl(std::forward<T>(thing));
}

do_something(std::string("text")); // calls call_impl(std::string&&);

std::string example{"text"};
do_something(example); // calls call_impl(std::string&) or call_impl(const std::string&)

此外，请考虑将std::endl替换为'\n'，除非您明确要刷新流。

Answer 2

您的问题（已损坏的第一个字符）可以简化为以下内容：

#include <string>
#include <sstream>
#include <iostream>

int main()
{
    std::ostringstream myStream("constexpr", std::ostringstream::ate);
    myStream = std::move(myStream);
    std::cout << myStream.str() <<std::endl;
    return 0;
}

对我来说，这确实看起来像是GCC中的一个错误。

它在Visual Studio 2013中工作正常，但问题再现为 的mingw-W64 \ x86_64-7.2.0-POSIX的SEH-rt_v5-REV0