MSVC是否保证未初始化的本地字符数组中有空字符？

Question

我在visual studio 2010工作，我收到了一个项目，在这个项目中，最初的程序员在函数和方法中完成了大约一半的时间。

    TCHAR some_local_variable[size] = {0};

在另一半时间里，他没有初始化数组：

    TCHAR some_local_variable[size];

我很清楚第一个赋值是做什么的，但我想知道MSVC编译器在第二种情况下是否在索引0处保证一个空字符。我对此进行了测试，并将第一个字符设置为0，然后按预期设置为垃圾，但我不确定这是否得到了保证？

其次，即使保证为空字符(或者如果没有，只需将第一个字符设置为0)，是否有充分的理由使用0初始化整个数组，特别是在任何字符串操作之后总是执行以下操作时：

    some_local_variable[size-1] = 0;

我唯一的想法是，如果操作字符串的函数没有空终止，并且复制的字符数小于-1，可能会出现问题。例如，如果它复制了size-5字符并没有null终止，那么我在size-1的终止可能会将大小为4的垃圾暴露到大小-2。但是，我不认为大多数标准库或Win32函数存在问题。

Answer 1

不，它没有。未初始化的内存位置有随机内容。(调试版本可能会进行一些初始化，以帮助检测内存损坏，但在发布版本中不会发生这种情况。)

除非将该内存区域显式初始化为某个已知值，否则不应依赖任何内存内容。

此question包含有关调试生成的内存初始化的详细信息。(我不确定清单是否完整。)