printf 从现象到本质

最新推荐文章于 2025-08-29 17:23:07 发布

原创最新推荐文章于 2025-08-29 17:23:07 发布 · 269 阅读

0 ·

CC 4.0 BY-SA版权

文章标签：

#printf #现象 #本质

c/c++ 专栏收录该内容

6 篇文章

订阅专栏

本文探讨了printf函数的%s格式输出特性，特别是在强制类型转换场景下的表现。通过源码分析，揭示了strnlen函数如何处理字符串结束符，以及在没有正确结束符时可能引发的问题。文章鼓励读者通过阅读Linux源码来深入理解基础函数的工作原理。

讲真，要深入理解 printf，只能自己看源码。

更精彩内容，可以关注我的博客：wenfh2020.com

从现象到本质

前些时间，朋友问了一个问题：

printf 的 %s 格式输出，如果参数是其它类型的数据强制转换为 char* 的，结果会怎么样？

我想最好的方法莫过于马上动手测试一下，看看结果。如果再问：printf 是线程安全的吗？… 问题很多，这些都只是问题的表象，要从现象看本质。Linux 是开源的，何不看源码理解程序工作原理呢？

从源码上看 strnlen 是通过查找内存的 ‘\0’ 字符串结束符的。如果强制转换的内存数据，没有 ‘\0’ 结束符，那 strnlen 就会出现问题。

/* https://github.com/torvalds/linux/blob/master/arch/x86/boot/printf.c */

int printf(const char *fmt, ...) {
    char printf_buf[1024];
    va_list args;
    int printed;

    va_start(args, fmt);
    printed = vsprintf(printf_buf, fmt, args);
    va_end(args);

    puts(printf_buf);

    return printed;
}

int vsprintf(char *buf, const char *fmt, va_list args) {
    ...
    switch (*fmt) {
        ...
        case 's':
            s = va_arg(args, char *);
            len = strnlen(s, precision);

            if (!(flags & LEFT))
                while (len < field_width--)
                    *str++ = ' ';
            for (i = 0; i < len; ++i)
                *str++ = *s++;
            while (len < field_width--)
                *str++ = ' ';
            continue;
    }
    ...
}

/* https://github.com/torvalds/linux/blob/master/arch/x86/boot/string.c */

size_t strnlen(const char *s, size_t maxlen) {
    const char *es = s;
    while (*es && maxlen) {
        es++;
        maxlen--;
    }

    return (es - s);
}

总结

不只 printf 的实现，很多基础函数，都能从 linux 源码中查看。可以从 github 下载一份源码，方便查看。下载个 zip 文件包吧，git 文件有点太大了。

/* https://github.com/torvalds/linux/blob/master/lib/string.c */

char *strcpy(char *dest, const char *src) {
    char *tmp = dest;

    while ((*dest++ = *src++) != '\0')
        /* nothing */;
    return tmp;
}