为啥我可以在临时 std::ofstream 对象上使用 `operator<<`？

Posted 2023-02-16

【中文标题】为啥我可以在临时 std::ofstream 对象上使用 `operator<<`？

【英文标题】：Why can I use `operator<<` on temporary std::ofstream objects?为什么我可以在临时 std::ofstream 对象上使用 `operator<<`？

【发布时间】：2019-09-10 09:21:50

【问题描述】：

根据 C++ 标准，您不能将临时对象绑定到非常量引用。由于流输出操作符被定义为

template <class CharT, class Traits, class Allocator>

std::basic_ostream<CharT, Traits>&
    operator<<(std::basic_ostream<CharT, Traits>& os,
               const std::basic_string<CharT, Traits, Allocator>& str);

我希望它不能在临时流对象上调用。但是，我尝试了以下并得到了意想不到的结果

#include <fstream>

std::ostream& print(std::ostream &stream) 
    stream << "test\n";
    return stream;


int main() 
    std::fstream("") << "test\n";
    // print(std::fstream("")); // Doesn't compile, as expected

这在 GCC 主干、Clang 主干和 MSVC 19 上编译。我什至在前两个上尝试了-pedantic-errors。虽然技术上可能这三个都错了，但我很可能误解了一些东西。

有人可以在标准中找到关于这是否是合法的 C++ 的明确答案吗？

【参考方案1】：

存在通过右值引用获取流的重载：

template< class CharT, class Traits, class T >
basic_ostream< CharT, Traits >& operator<<( basic_ostream<CharT,Traits>&& os,
                                        const T& value );

temp 以os 传递。来自reference。

【参考方案2】：

C++ 标准要求存在以下函数模板 (C++17 n4659 30.7.5.5 [ostream.rvalue])：

template <class charT, class traits, class T>
basic_ostream<charT, traits>& operator<<(basic_ostream<charT, traits>&& os, const T& x);

效果指定为os << x。

请注意，提取 (>>) 也是如此。

【讨论】：

有趣。 this page 误导我假设没有 r 值参考版本。事实上，我什至验证了我发布的l值版本是在gcc和clang的程序集中调用的。显然是因为内联，但它加深了我的误解。

@patatahooligan 公平地说，确实没有针对std::basic_string 的右值版本，所以页面是正确的。不过，这个通用模板涵盖了所有类型。