如何为C++11中不可修改的函数调用设置时间限制？

核心思路 #

由于C++11标准未提供内置的主线程定时中断机制，我们需要结合信号处理或监控线程+信号的方式，在不修改目标函数的前提下实现超时终止逻辑，同时保证函数始终在主线程运行。

方案一：POSIX信号+定时器（最简实现） #

利用POSIX的alarm()定时器和setjmp/longjmp跳转，实现主线程内的超时触发。

代码示例 #

#include <iostream>
#include <csetjmp>
#include <csignal>
#include <unistd.h>
#include <chrono>
#include <thread>

std::jmp_buf timeout_jmp_buf;

// 信号处理函数：触发超时跳转
void timeout_handler(int sig) {
    std::longjmp(timeout_jmp_buf, 1);
}

// 不可修改的目标函数
void problematic_function(bool run_long) {
    if (run_long) {
        std::this_thread::sleep_for(std::chrono::seconds(10));
        std::cout << "Function finished after long execution\n";
    } else {
        std::cout << "Function finished quickly\n";
    }
}

int main() {
    // 注册SIGALRM信号处理器
    struct sigaction sa;
    sa.sa_handler = timeout_handler;
    sigemptyset(&sa.sa_mask);
    sa.sa_flags = 0;
    sigaction(SIGALRM, &sa, nullptr);

    const int timeout_sec = 5;

    // 设置跳转点：0表示正常进入，1表示超时跳转
    if (setjmp(timeout_jmp_buf) == 0) {
        alarm(timeout_sec); // 启动超时定时器
        problematic_function(true); // 替换为实际调用
        alarm(0); // 函数正常结束，立即取消定时器
        std::cout << "No timeout occurred\n";
    } else {
        // 超时处理逻辑
        std::cout << "Function timed out after " << timeout_sec << "s\n";
        // 可选：抛自定义异常或直接终止
        // throw std::runtime_error("Execution timeout");
        std::terminate();
    }

    return 0;
}

关键说明 #

• setjmp/longjmp是C标准库函数，完全兼容C++11，且属于异步安全操作
• 函数快速完成时，alarm(0)会立即取消定时器，避免误触发信号
• 信号处理函数中直接抛出C++异常属于未定义行为，因此用跳转实现逻辑切换

方案二：监控线程+信号（更灵活的计时） #

如果需要毫秒级精度的超时控制，可使用C++11线程做定时监控，超时后向主线程发送信号，函数仍在主线程运行。

代码示例 #

#include <iostream>
#include <thread>
#include <csignal>
#include <pthread.h>
#include <chrono>
#include <atomic>

std::atomic<bool> func_completed(false);
std::jmp_buf timeout_jmp_buf;

void timeout_handler(int sig) {
    std::longjmp(timeout_jmp_buf, 1);
}

// 不可修改的目标函数
void problematic_function(bool run_long) {
    if (run_long) {
        std::this_thread::sleep_for(std::chrono::seconds(10));
        std::cout << "Function finished after long execution\n";
    } else {
        std::cout << "Function finished quickly\n";
    }
}

int main() {
    // 注册信号处理器
    struct sigaction sa;
    sa.sa_handler = timeout_handler;
    sigemptyset(&sa.sa_mask);
    sa.sa_flags = 0;
    sigaction(SIGALRM, &sa, nullptr);

    const std::chrono::milliseconds timeout_ms(5000);
    const pthread_t main_tid = pthread_self();

    // 启动监控线程
    std::thread monitor([&]() {
        std::this_thread::sleep_for(timeout_ms);
        if (!func_completed) {
            pthread_kill(main_tid, SIGALRM); // 向主线程发送超时信号
        }
    });
    monitor.detach(); // 分离线程，避免主线程阻塞等待

    if (setjmp(timeout_jmp_buf) == 0) {
        problematic_function(true);
        func_completed = true;
        std::cout << "No timeout occurred\n";
    } else {
        func_completed = true;
        std::cout << "Function timed out after " << timeout_ms.count() << "ms\n";
        std::terminate();
    }

    return 0;
}

关键说明 #

• 监控线程使用C++11标准线程API，计时精度可达毫秒级
• 原子变量func_completed确保函数正常结束时，监控线程不会误发信号
• 分离后的监控线程会在任务完成后自动退出，无资源泄漏风险

跨平台与注意事项 #

• 上述方案依赖POSIX API，Windows平台需替换为SetTimer或CreateWaitableTimer+QueueUserAPC实现信号/中断逻辑
• 使用longjmp可能跳过局部对象的析构，建议将资源封装在RAII容器（如智能指针）中，避免泄漏
• 若允许函数在子线程运行，可使用std::future+std::async配合wait_for，但不符合本次“主线程运行”的要求

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