c++ - 为什么从管道读取时 libc++ getline 会阻塞，而 libstdc++ getline 不会？

Question

长话短说

使用 libc++ 版本的 getline 函数的程序在从管道读取输入时会阻塞，直到管道的缓冲区已满。

NOT libstdc++ 版本的 getline 函数也是如此:这里函数立即读取并返回一行输入作为一旦可用。

我是否应该预料到 libstdc++ 和 libc++ 之间存在这种行为差异？ [编辑: 我不是在这里征求意见，我只是对管道了解不够，也不知道实现 C++ 标准库的困难。对我来说，这种行为上的差异肯定是令人惊讶的，但也许有人更了解并且可以向我保证这种差异是可以预料的，也许这只是一个实现细节？]

更重要的是，我可以做些什么来使 libc++ 表现得像 libstdc++ 那样？也就是说，getline 函数不应该等到管道缓冲区已满，它应该在输入一行可用时立即返回。

下面的代码示例展示了我如何读取和写入管道。

环境

• macOS 10.13.1(高塞拉利昂)
• Xcode 9.1
• Apple LLVM 版本 9.0.0 (clang-900.0.38)

我怀疑问题不仅限于 macOS，但我还没有可用于测试的带 clang 的 Linux 开发系统。

测试准备

打开三个壳，我们称它们为A、B、C。

在 shell A 中:创建一个新文件 pipe-test.cpp 并从下面添加源代码。使用 libstdc++ 和 libc++ 编译一次源代码:

g++ -stdlib=libstdc++ -o pipe-test-libstdc++ pipe-test.cpp
g++ -stdlib=libc++ -o pipe-test-libc++ pipe-test.cpp

在 shell A 中:创建两个管道:

mkfifo input-pipe output-pipe

测试1，使用程序的libstdc++版本

• 在外壳 A 中，运行此命令:pipe-test-libstdc++ input-pipe output-pipe
• 在 shell B 中，运行此命令:cat output-pipe
• 在 shell C 中，运行此命令:cat >input-pipe
• 在 shell C 中，键入“foo”行并按 ENTER 键
• 切换到 shell B:您将看到字符串“foo”。
• 发生了什么事？在 shell A 中运行的程序使用 getline 函数从输入管道读取了行“foo”，并立即将该行打印到输出管道。
• 在外壳 C 中，键入 CTRL+D。测试到此结束，所有 shell 现在都应该回到命令行。

测试2，使用程序的libc++版本

• 在 shell A 中，运行此命令:pipe-test-libc++ input-pipe output-pipe
• 在 shell B 中，运行此命令:cat output-pipe
• 在 shell C 中，运行此命令:cat >input-pipe
• 在 shell C 中，键入“foo”行并按 ENTER 键
• 切换到 shell B:您将不会看到字符串“foo”。
• 发生了什么事？在 shell A 中运行的程序仍然处于阻塞状态，getline 函数尚未从输入管道接收到行“foo”，因为该管道的缓冲区尚未满。
• 在 shell C 中，键入 CTRL+D。
• 切换到 shell B:现在您将看到字符串“foo”。
• 请注意，除了键入 CTRL+D，您还可以将大量文本粘贴到 shell C 中。一旦管道缓冲区变满，getline 函数将开始逐行读取输入直到它清空管道缓冲区。

源代码

#include <string>
#include <iostream>
#include <fstream>


int main(int argc, char** argv)
{
  if (argc != 3)
  {
    std::cout
      << "Usage: pipe-test /path/to/input-pipe /path/to/output-pipe"
      << std::endl;
    return 1;
  }

  std::string pathToInputPipe = argv[1];
  std::string pathToOutputPipe = argv[2];

  std::cout
    << "Input pipe = " << pathToInputPipe << std::endl
    << "Output pipe = " << pathToOutputPipe << std::endl;

  std::ifstream inputPipeStream;
  inputPipeStream.open(pathToInputPipe.c_str());
  if (! inputPipeStream)
  {
    std::cout
      << "Failed to open input pipe " << pathToInputPipe
      << std::endl;
    return 1;
  }
  else
  {
    std::cout
      << "Input pipe: result of eof() = " << inputPipeStream.eof() << std::endl
      << "Input pipe: result of bad() = " << inputPipeStream.bad() << std::endl
      << "Input pipe: result of good() = " << inputPipeStream.good() << std::endl
      << "Input pipe: result of fail() = " << inputPipeStream.fail() << std::endl;
  }

  std::ofstream outputPipeStream;
  outputPipeStream.open(pathToOutputPipe.c_str());
  if (! outputPipeStream)
  {
    std::cout
      << "Failed to open output pipe " << pathToOutputPipe
      << std::endl;
    return 1;
  }
  else
  {
    std::cout
      << "Output pipe: result of eof() = " << outputPipeStream.eof() << std::endl
      << "Output pipe: result of bad() = " << outputPipeStream.bad() << std::endl
      << "Output pipe: result of good() = " << outputPipeStream.good() << std::endl
      << "Output pipe: result of fail() = " << outputPipeStream.fail() << std::endl;
  }

  int lineNumber = 0;
  while (true)
  {
    lineNumber++;
    std::string line;
    bool getlineFailResult = getline(inputPipeStream, line).fail();
    if (getlineFailResult)
    {
      std::cout << "Failed to read stream, stopping" << std::endl;
      break;
    }
    else
    {
      std::cout << "Received line " << lineNumber << ": " << line << std::endl;
      outputPipeStream << line << std::endl;
      outputPipeStream.flush();
    }
  }

  return 0;
}

Answer 1

您可能已经知道，libc++ 是标准库的非 GPL (MIT) 版本。 libstdc++ 是 GPL 版本。 libc++ 是 LLVM 的一部分。 libstdc++ 是一个 GPL 库，通常随 GCC 一起提供。

它们是两个完全不同的实现。哪个更好，或者你应该使用哪个是一个意见。关于这个有很多话题，例如:Should I use libc++ or libstdc++?

我无法轻易找到有关 getline() 的规范来指定您所关注的行为。

这里是libc++版本getline的源码 https://github.com/llvm-mirror/libcxx/blob/018a3d51a47f7275c59e802709104498b729522b/include/istream#L1037

他们行为不同这一事实并不让我吃惊。如果您需要 getline() 的特定实现/行为，我会编写您自己的，因为它不是一个复杂的操作，并使用标准的 POSIX 系统调用来执行它，这是规范的，并且应该是相同的 - 无论操作系统或编译器。

另外(这里的意见)，我的建议是避免使用标准 C++ 库，尤其是 iostream，除了实现之外，除非它们已经在大型代码库中并且您必须使用它们。它们充满错误，行为各不相同，而且通常速度不快。