使用 -ftrapv 编译时 boost::posix_time::from_time_t 崩溃

Question

我使用函数ptime from_time_t(time_t t); 并将t设置为像 UINT_MAX 这样的大值。 当我使用-ftrapv选项时 - 程序崩溃，因为发生签名溢出，没有选项 - 有时结果不正确（1970 年 1 月 1 日 00:00 附近）。 我不想禁用-ftrapv选项。

问题：是 boost 错误还是from_time_t对参数有一些限制？

代码示例

#include <boost/date_time/posix_time/posix_time.hpp>
#include <climits>
#include <type_traits>

int main() {    
    long int lmax{LONG_MAX};
    unsigned int umax{UINT_MAX};
    
    std::cout<<"Start = "<<lmax<<std::endl;
    std::cout<<"std::is_same_v<time_t, long int> = "
    <<std::is_same<time_t, long int>::value<<std::endl;
    try {    
        std::cout <<boost::posix_time::from_time_t(umax)<<std::endl;    
        std::cout <<boost::posix_time::from_time_t(lmax)<<std::endl;    
    }
    catch(const std::exception& e)
    {
     std::cout<<"exception e = "<<e.what()<<std::endl;   
    }
    std::cout<<"Finish"<<std::endl;   
}

Answer 1

恐怕from_time_t的输入存在未记录的“隐式”限制（先决条件）：

输入导致有符号整数溢出：9223372036854775807 * 1000000 不能在 boost/date_time/time_resolution_traits.hpp:153:47 (boost 1.79) 中的“long int”类型中表示。

简而言之，如果您需要trapv ，您可能应该避免使用无效参数调用from_time_t 。 您可以向库开发人员提出问题，指出缺少文档。 他们可能会回答“但这取决于实施/平台”，但如果你给他们你的用例，他们可能会被迫为time_t记录一个“便携式安全”输入域。