使用复合字面量数组作为临时字符串缓冲区是否合理？

我一直希望能有一种简单的方式，无需定义本地数组就能用sprintf/snprintf构造字符串，常规写法如下：

char str[256];
snprintf(str, sizeof(str), format, ...);
use_string(str);

我想到可以用复合字面量实现这个需求，具体代码如下：

static inline char* snprintf_assert(char* str, int max_size, const char* format, ...) {
    va_list arg;
    va_start(arg, format);
    int count = vsnprintf(str, max_size, format, arg);
    va_end(arg);
    assert(count >= 0 && count < max_size);
    return str;
}

// 用于分配块内本地缓冲区的辅助sprintf宏
// 利用了(char[N]){}会分配生命周期与所在块绑定的左值这一特性
#define local_sprintf(N, ...) snprintf_assert((char[N]){}, N, __VA_ARGS__)

用法示例：

use_string(local_sprintf(256, format, ...));

我认为这一做法定义明确，因为复合字面量数组的生命周期与封闭块绑定。是否存在需要避免该做法的理由？

• 发布版本无长度校验：实现依赖assert做字符串长度检查，但assert在定义NDEBUG的发布版本中会被完全移除。此时若格式化后的字符串长度超过N，vsnprintf会自动截断，但调用者无法感知，后续使用截断后的字符串可能引发逻辑错误。

• 栈溢出风险：复合字面量在栈上分配缓冲区，若N设置过大（比如几KB甚至更大），在栈空间有限的场景（如嵌入式系统、递归函数调用）中极易触发栈溢出，导致程序崩溃。

• C标准兼容性问题：复合字面量是C99新增特性，若代码需要兼容C89标准的老旧编译器，该写法无法正常编译。

• 调试不便：没有显式定义数组变量，调试时无法直接查看缓冲区内容，只能通过函数返回值间接观察，增加了调试复杂度。

• 宏的潜在陷阱：虽然当前宏实现无问题，但如果后续修改宏逻辑，N作为表达式可能被多次求值；另外，可变参数中若包含带逗号的复杂表达式，需要额外加括号处理，这是宏的通用缺陷。

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