Windows 10下C++ system()执行Coq编译器如何捕获错误信息？

这个问题我太熟悉了！你当前的命令只重定向了标准输出(stdout)，但Coq的错误信息是输出到**标准错误(stderr)**流的，所以这些错误内容不会被写入text.txt，只会直接显示在控制台里。下面给你几个Windows下完全可行的解决方案：

这是最简单的方法，不用改太多C++代码，只需要在命令里加上2>&1，把标准错误重定向到标准输出，这样所有内容都会被写入文件：

string dospath = "coqc afile.v >> text.txt 2>&1";
int errorno = system(dospath.c_str());

• 解释一下：>> text.txt是追加模式写入标准输出；2>&1表示把文件描述符2（标准错误）的内容重定向到文件描述符1（标准输出），这样不管是正常编译信息还是错误提示，都会被统一写入text.txt。
• 如果想覆盖文件而不是追加内容，把>>换成>即可。

如果你需要把正常输出和错误信息分别存到不同文件，可以这样写命令：

string dospath = "coqc afile.v > stdout.txt 2> stderr.txt";
int errorno = system(dospath.c_str());

这样编译成功的信息会进stdout.txt，错误提示会进stderr.txt，方便后续分别处理。

如果不想先写入文件，而是要在C++程序里直接把Coq的输出（包括错误）读到字符串里，推荐用Windows的CreateProcess和管道实现，完全不需要依赖pstream.h这种跨平台库，原生支持Windows环境：

#include <windows.h>
#include <string>
#include <fstream>
#include <iostream>

// 捕获命令执行的所有输出（stdout+stderr）
std::string CaptureCommandOutput(const std::string& cmd) {
    SECURITY_ATTRIBUTES saAttr{};
    saAttr.nLength = sizeof(SECURITY_ATTRIBUTES);
    saAttr.bInheritHandle = TRUE;
    saAttr.lpSecurityDescriptor = nullptr;

    HANDLE hReadPipe, hWritePipe;
    if (!CreatePipe(&hReadPipe, &hWritePipe, &saAttr, 0)) {
        return "[Error] Failed to create pipe";
    }

    STARTUPINFO si{};
    PROCESS_INFORMATION pi{};
    si.cb = sizeof(STARTUPINFO);
    si.hStdOutput = hWritePipe;
    si.hStdError = hWritePipe; // 把stderr也定向到同一个管道
    si.dwFlags |= STARTF_USESTDHANDLES;

    // 转换命令为宽字符（Windows API需要）
    std::wstring wideCmd(cmd.begin(), cmd.end());
    if (!CreateProcess(nullptr, const_cast<wchar_t*>(wideCmd.c_str()), 
                       nullptr, nullptr, TRUE, 0, nullptr, nullptr, &si, &pi)) {
        CloseHandle(hReadPipe);
        CloseHandle(hWritePipe);
        return "[Error] Failed to start Coq process";
    }

    // 关闭写管道，这样读取到EOF时会自动停止
    CloseHandle(hWritePipe);

    std::string output;
    char buffer[4096];
    DWORD bytesRead;
    while (ReadFile(hReadPipe, buffer, sizeof(buffer)-1, &bytesRead, nullptr) && bytesRead > 0) {
        buffer[bytesRead] = '\0';
        output += buffer;
    }

    // 等待进程结束并清理资源
    WaitForSingleObject(pi.hProcess, INFINITE);
    CloseHandle(pi.hProcess);
    CloseHandle(pi.hThread);
    CloseHandle(hReadPipe);

    return output;
}

// 使用示例
int main() {
    std::string coqOutput = CaptureCommandOutput("coqc afile.v");
    
    // 直接打印输出
    std::cout << "Coq Execution Output:\n" << coqOutput << std::endl;
    
    // 或者写入文件
    std::ofstream outFile("text.txt");
    if (outFile.is_open()) {
        outFile << coqOutput;
        outFile.close();
    }

    return 0;
}

这个方法的优势是完全原生，不需要额外依赖，而且可以直接把输出拿到字符串里做进一步处理，比system()更灵活。

内容的提问来源于stack exchange，提问作者Khan