提问者:小点点

临时呼叫操作员<<


考虑以下代码(godbolt):

#include <fstream>
#include <string>
#include <filesystem>

namespace fs = std::filesystem;

using namespace std::string_literals;

template<class CharT, class Traits>
void test(std::basic_ostream<CharT, Traits> &s) {
    s << "Other test\n"s;
}

struct my_struct {
    std::string s = "My Struct\n"s;
};

template<class CharT, class Traits>
std::basic_ostream<CharT, Traits> &operator<<(std::basic_ostream<CharT, Traits> &stream,
                                              const my_struct &s) {
    stream << s.s;
    return stream;
}

int main() {
    fs::path file("test.txt");
    const my_struct s;

    // A
    operator<<(std::ofstream(file, std::ios_base::app), "Other test!\n"s);   // Runs fine
    std::ofstream(file, std::ios_base::app) << "Das ist ein Test!\n"s;       // Runs fine

    // B
    operator<<(std::ofstream(file, std::ios_base::app), s);                  // Runs fine
    std::ofstream(file, std::ios_base::app) << s;                            // Runs fine

    // C
    // test(std::ofstream(file, std::ios_base::app));                        // Does not compile
}

代码A和B部分编译得很好,而C部分则不行。 显然,test不能接受rvalue,因为该参数是非const引用。

但是ab不应该是一样的吗? STL的运算符<<<和我自己的运算符都将左侧作为非常量引用。 那么为什么他们有可能用一个临时的物体工作呢?

编译器:

clang version 10.0.0 
Target: x86_64-pc-linux-gnu
Thread model: posix
InstalledDir: /usr/bin
Found candidate GCC installation: /usr/bin/../lib/gcc/x86_64-pc-linux-gnu/10.1.0
Found candidate GCC installation: /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/10.1.0
Found candidate GCC installation: /usr/lib/gcc/x86_64-pc-linux-gnu/10.1.0
Found candidate GCC installation: /usr/lib64/gcc/x86_64-pc-linux-gnu/10.1.0
Selected GCC installation: /usr/bin/../lib64/gcc/x86_64-pc-linux-gnu/10.1.0
Candidate multilib: .;@m64
Candidate multilib: 32;@m32
Selected multilib: .;@m64

编辑:问题的第一个版本有一个bug,使自己的运算符<<<出现了segfault。


共1个答案

匿名用户

那么为什么他们有可能用一个临时的物体工作呢?

因为与运算符<<不同,标准库中的一些函数不是免费的,而是成员函数,它们可以很容易地处理临时对象而没有任何问题,而非成员函数具有显式的重载,获取rvalue(或者更精确地说,forward)引用。