GCC嵌入式无OS环境下如何区分字符串字面量初始化的字符数组？

现有函数定义 #

void consumer(unsigned char byte);

void dispatcher(unsigned char *bytes, size_t size){
    while(size--) {
        consumer(*(bytes++));
    }
}

void full_wrapper(char *string, size_t len){
    dispatcher((unsigned char *)string, len);
}
void auto_wrapper(char *string){
    full_wrapper(string, strlen(string));
}

现有变量定义 #

char a[] = "abcd";
char b[20] = {'a', 'b', 'c', 'd'};
char *c = "abcd";
char *d = malloc(5 * sizeof(char));

需求说明 #

• 仅对a这类由字符串字面量初始化的字符数组调用full_wrapper(a, (sizeof(a)/sizeof(char))-1)，避免运行时strlen带来的开销
• 对b、c、d这类变量调用auto_wrapper

当前实现的问题 #

之前使用的GCC内置宏无法区分a和b：

#define WRAPPER(x) __builtin_types_compatible_p(typeof(x), char[]) ? full_wrapper(x, (sizeof(x) / sizeof(char)) - 1) : auto_wrapper(x)

该宏会对b也调用full_wrapper，不符合预期——因为b的数组大小是20，远大于实际有效字符长度，调用full_wrapper会处理多余的空字符，违反“不能处理'\0'终止符”的要求。

补充约束 #

• consumer和dispatcher为不可修改的库函数，不能处理'\0'终止符
• 目标是实现通用宏，避免对编译期已知长度的字符串调用strlen
• 运行环境为无OS的嵌入式系统，可使用GCC非便携扩展

核心思路：用字符串字面量初始化的字符数组，其大小必然等于有效字符串长度+1（字面量自动追加'\0'）；而手动指定大小的数组（如b），数组大小远大于有效长度+1。结合GCC内置函数即可精准区分。

改进后的宏实现 #

#define WRAPPER(x) \
    (__builtin_types_compatible_p(typeof(x), char[]) && (sizeof(x) == __builtin_strlen(x) + 1)) \
    ? full_wrapper(x, (sizeof(x) / sizeof(char)) - 1) \
    : auto_wrapper(x)

逻辑拆解 #

1. 过滤指针类型：通过__builtin_types_compatible_p(typeof(x), char[])判断变量是否为字符数组，直接排除c、d这类指针，调用auto_wrapper。
2. 区分数组初始化方式：
   • 对于a：sizeof(a)=5，__builtin_strlen(a)在编译期计算为4，满足5 == 4+1，调用full_wrapper(a,4)，完全符合需求。
   • 对于b：sizeof(b)=20，__builtin_strlen(b)=4，20≠4+1，调用auto_wrapper(b)，由strlen计算有效长度，避免处理多余空字符。

验证结果 #

注意事项 #

• 依赖GCC扩展（__builtin_types_compatible_p、__builtin_strlen），仅适用于GCC及兼容编译器。
• 对于char e[10] = "abcd";这类用字符串字面量初始化但指定了更大数组大小的变量，宏会判定为调用auto_wrapper——这是合理的，因为数组实际包含多余空字符，不能直接用sizeof计算有效长度。

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