C语言如何判断可变参数是单个字符还是字符串并避免段错误

问题根因 #

C语言标准没有为可变参数提供编译期类型校验、也没有内置运行时类型信息：

• 你的代码里用va_arg(arg_ptr, char *)取参数时，会直接把栈上对应位置的二进制内容强转为char*指针
• 传入单字符'm'时，C会自动将其提升为int类型，栈上存储的是字符对应的ASCII值（'m'对应十进制109）
• 程序会把109当做内存地址去读取字符串，这个地址属于进程的非法访问区域，就会触发段错误，传入数字的触发逻辑完全一致。

解决方案 #

方案1：编译期告警拦截（成本最低） #

给GCC/Clang编译器加上-Wall -Wextra编译选项，此时传入非指针类型到期望字符串的可变参数位时，编译器会直接抛出makes pointer from integer without a cast告警，提前在编译阶段发现问题，避免带问题的程序上线。
如果要更严格的校验，可以给函数加上GCC扩展属性：

void args_printer(unsigned int args_number, ...) __attribute__((nonnull(2)));

方案2：运行时类型标记（最稳妥，跨平台可用） #

因为C本身没有可变参数的运行时类型信息，我们可以手动增加类型标识参数，明确每个可变参数的类型，函数内部根据类型做对应的处理，不会出现强转错误。
修改后的代码示例：

#include <stdio.h>
#include <stdarg.h>
#include <ctype.h>

// 类型标识：s=字符串，c=字符，d=整数
void args_printer(unsigned int args_number, const char* type_list, ...)
{
    unsigned int index;
    va_list arg_ptr;
    
    va_start(arg_ptr, type_list);
    for (index = 0; index < args_number; index++)
    {       
        switch(type_list[index]) {
            case 's': {
                char* arg_string = va_arg(arg_ptr, char*);
                if (arg_string != NULL) {
                    printf("%s ", arg_string);
                } else {
                    printf("[空字符串] ");
                }
                break;
            }
            case 'c': {
                char arg_char = (char)va_arg(arg_ptr, int);
                printf("%c ", arg_char);
                break;
            }
            case 'd': {
                int arg_num = va_arg(arg_ptr, int);
                printf("%d ", arg_num);
                break;
            }
            default:
                printf("[未知类型参数] ");
        }
    }        
    va_end(arg_ptr);
    printf("\n");
}

int main(void) {
    char *message = "Message : ";
    // 正确调用示例：5个参数，类型依次是s s s s s
    args_printer(5, "sssss", message, NULL, "La vie", " appartient", " au courageux!");
    // 传字符的场景也能正常处理：4个参数，类型依次是c s s s
    args_printer(4, "csss", 'm', "La vie", " appartient", " au courageux!");
    return 0;
}

方案3：地址合法性校验（仅调试用，不推荐生产环境） #

如果必须保留原有函数签名，可以在拿到指针后，先判断指针地址是否属于进程合法的可读区域，比如Linux下读取/proc/self/maps做校验，Windows下用IsBadReadPtrAPI做校验，但这类方案跨平台兼容性差、性能低，只能用于临时调试。

内容的提问来源于stack exchange，提问作者sombamanya Mukendi Dieudonne