snprintf 的输出是否保证在 Visual Studio 2015 中以空值终止？

Question

我正在使用我的前任使用的 C 代码库：

#ifdef _MSC_VER
  // Map to equivalent function
  #define snprintf sprintf_s
#endif

代码库需要在 Linux (gcc/clang)、OSX (gcc/clang) 和 Windows (VS) 上编译。我第一次尝试在 Visual Studio 2015 中编译代码。以前使用过 Visual Studio 2010。我遇到了here 描述的错误，并且能够使用已接受答案中的线索进行编译：

#ifdef _MSC_VER
  #if _MSC_VER<1900
    #define snprintf sprintf_s
  #endif
#endif

该项目现在可以使用 Visual Studio 2015 编译并在 OSX 上运行。但是，我担心sprintf_s 文档中的一个声明：

与 snprintf 不同，sprintf_s 保证缓冲区将以空值结尾（除非缓冲区大小为零）。

如果 Visual Studio 包含符合 C99 的 snprintf 版本，是否不应该保证缓冲区以空值终止？

我写了一个小程序来评估行为。

#include <stdio.h>
#include <string.h>

int main(int argc, char** argv) {
    char buf[5];
    snprintf(buf, sizeof(buf), "abcdef");
    printf("buffer: %s\n", buf);
    printf("size of buffer: %lu\n", strlen(buf));
    printf("last character a null terminator?: %s\n",
        (strcmp(&buf[4], "\0") == 0) ? "yes" : "no");
    return 0;
}

我在 OSX 和 Windows 上使用 Visual Studio 2015 构建并运行了该程序。

在 OSX 上，输出为：

~$c99 main.c
~$./a.out 
buffer: abcd
size of buffer: 4
last character a null terminator?: yes

在带有 Visual Studio 2015 的 Windows 7 上，输出为

> printf_evaluation.exe
buffer: abcd
size of buffer: 4
last character a null terminator?: yes

这不是表明输出实际上是空终止的，并表明 MSDN 文档不正确吗？我的例子是不是太琐碎了？是否存在 snprintf 的输出可能不会在 Visual Studio 2015 中以 NULL 终止的情况？

Answer 1

snprintf() 总是 nul 终止缓冲区，只要它的第二个参数大于零。所以是的，MSDN 文档是错误的。

From C11 standard, snprintf():

snprintf 函数等价于 fprintf，除了输出 被写入一个数组（由参数 s 指定）而不是 溪流。 如果 n 为零，则不写入任何内容，并且 s 可能为 null 指针。否则，第 n-1 个以外的输出字符是 被丢弃而不是被写入数组，并且 一个空字符 写在实际写入的字符的末尾 如果复制发生在重叠的对象之间，则 行为未定义。

（强调我的）。