从函数直接返回std::runtime_error用于消息格式化是否为不良实践？

你的这个封装思路非常实用，这种直接返回异常对象的写法完全不属于不良实践，安全性上也没有本质问题——下面我们具体拆解细节：

一、为什么这个写法是合理的？ #

你把字符串格式化和std::runtime_error的创建合并成一个函数，让原本需要先构造错误字符串、再传入异常的两步操作，简化成了一行throw error("Error code %d", x)，大大提升了代码的可读性和简洁性。这种工具函数在实际C++项目里相当常见，很多团队都会自己封装类似的异常生成工具，用来减少冗余代码。

二、安全性方面的验证 #

你的实现里有几个细节做得很到位：

• 缓冲区安全：两次调用std::snprintf是标准的安全格式化方式——第一次获取所需的缓冲区大小，第二次精准填充内容，std::vector<char>的大小是n+1，刚好能容纳格式化后的字符串加上终止符\0，完全不存在缓冲区溢出的风险。
• 异常对象的生命周期：返回std::runtime_error是值返回，C会自动处理对象的拷贝（C11及以后会优先移动），而std::runtime_error内部的字符串是RAII管理的，不会出现内存泄漏或悬空引用的问题。

三、可以优化的小细节 #

虽然现有写法已经足够安全，但有两个小细节可以让它更健壮：

1. 处理snprintf的错误返回：如果格式化过程中出现错误（比如格式字符串和参数不匹配），std::snprintf会返回负数，这时候n为负，创建std::vector<char>会触发未定义行为。可以加个错误检查：

   template<typename ... Ts>
   std::runtime_error error(const char * frmt, Ts ... args) {
       const int n = std::snprintf(nullptr, 0, frmt, args...);
       if (n < 0) {
           return std::runtime_error("Failed to format error message");
       }
       std::vector<char> buff(n + 1);
       std::snprintf(buff.data(), buff.size(), frmt, args...);
       return std::runtime_error(std::string(buff.data()));
   }
   

2. 简化中间缓冲区：可以直接用std::string替代std::vector<char>，减少一层中间转换：

   template<typename ... Ts>
   std::runtime_error error(const char * frmt, Ts ... args) {
       const int n = std::snprintf(nullptr, 0, frmt, args...);
       if (n < 0) {
           return std::runtime_error("Failed to format error message");
       }
       std::string buff(n, '\0');
       std::snprintf(buff.data(), buff.size() + 1, frmt, args...);
       return std::runtime_error(std::move(buff));
   }
   

   这里用std::move可以避免不必要的字符串拷贝，提升一点性能。

总结 #

你的写法不仅没有问题，反而能让异常抛出的代码更整洁。只要补上snprintf的错误处理，就可以放心在项目中使用。

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