printf()的%s传入calloc全0数组会触发未定义行为吗

你对printf("%s")未定义行为的触发条件存在关键概念混淆：
触发该场景下未定义行为的唯一前提是传入的指针本身是空指针（即指针值为NULL，不指向任何合法可访问的内存地址），和指针指向的内存中存储的内容没有任何关系。
你给出的代码中，calloc()成功返回的是指向合法堆内存的有效指针，只是这块内存的内容全为0，完全不属于“传入空指针”的场景，自然不会触发你担心的未定义行为。

只要calloc()分配成功（即返回值不等于NULL），这段代码的行为是C标准明确规定的，结果完全可预测：

• 按照标准要求，calloc()成功分配的内存会将所有字节初始化为0值，对于char类型而言，值为0的字节就是C语言规定的字符串终止符'\0'。
• printf()处理%s格式符的逻辑是：从传入指针指向的起始地址开始逐字节读取字符，直到遇到第一个'\0'时停止读取输出。
• 你的代码中指针指向的第一个字节就是'\0'，因此printf()不会输出任何可见字符，仅会输出格式串末尾的换行符\n，实际运行时视觉效果就是“没有任何输出”（实际是换了一行），这个结果是固定的。

如果运行时calloc()分配失败（比如系统内存不足），它会返回NULL，此时你把NULL作为参数传给printf("%s")才会触发未定义行为，这种情况下程序崩溃、输出乱码、无输出等任何结果都有可能，没有确定性可言。

概念澄清：ASCII码值为0的'\0'是字符类型的空终止符，属于内存中存储的内容值；NULL是指针类型的空值，代表指针本身不指向有效地址，二者是完全不同层级的概念，不能混淆。

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