cppformat项目中关于__builtin_strlen的使用问题分析

在cppformat（即fmtlib）项目的开发过程中，最近出现了一个值得开发者注意的问题，涉及到编译器内置函数__builtin_strlen的使用限制。这个问题影响了用户代码中固定长度字符串模板的使用场景。

问题背景

在项目的最新开发版本中，一个提交引入了对__builtin_strlen的使用，目的是优化字符串长度计算。然而，这一改动导致了一些用户代码无法正常编译，特别是那些使用固定长度字符串模板的场景。

技术细节

受影响代码通常采用如下模式：

template <size_t N>
struct fixed_string {
    char data[N] = {}; 
    
    constexpr fixed_string(char const (&m)[N]) {
        for (size_t i = 0; i != N; ++i) {
            data[i] = m[i];
        }
    }   
};

用户期望这样使用：

static constexpr auto f = fixed_string("x={}");
fmt::print(f.data, 42);

但在最新版本中，编译器会报错，指出__builtin_strlen不是一个常量表达式。这是因为GCC等编译器对__builtin_strlen在常量表达式上下文中的使用有严格限制。

解决方案

项目维护者已经确认这是一个合理的用户场景，不应该被破坏。建议的解决方案是：

1. 回退到之前不使用__builtin_strlen的实现方式
2. 添加相应的测试用例，确保未来不会再次出现类似问题

对开发者的启示

这个案例提醒我们几个重要的开发原则：

1. 编译器内置函数的限制：即使是看似简单的内置函数，也可能在特定上下文中存在使用限制
2. 兼容性考虑：库的改动需要考虑各种合理的用户使用场景
3. 测试覆盖：对于核心功能，应该建立全面的测试用例，包括各种边界情况

对于使用cppformat的开发者来说，如果遇到类似问题，可以考虑暂时停留在稳定版本，或者等待修复后的新版本发布。同时，这也展示了开源社区如何通过问题报告和讨论来共同改进项目质量的过程。