问“指针数组”中指针的初始值是多少？

EN

你误解了“专家C编程”中的引语。其中的关键词组如下：

This is because both strings and pointers have the *convention* of an explicit 
out-of-bound value (NUL and NULL, respectively).

有一个字符串数组，使最后一个指针被设置为NULL是可能的，甚至是传统的。这样就可以很容易地迭代数组，而无需确切知道数组中有多少元素：

char* dwarves[] = { "Dopey",
                "Grumpy",
                "Sleepy",
                "Happy",
                "Sneezy",
                "Bashful",
                "Doc",
                NULL 
                };

但是您必须显式地设置指向NULL的最后一个指针。这样的结构很有用，因为它们允许优雅的代码。因此，如果要打印或以其他方式操作数组，则不需要担心数组中有多少字符串，因为NULL指针将指示结束：

for (char** pWalk = dwarves; *pWalk; pWalk++)
    printf ("%s\n", *pWalk);

这种特殊类型的粗糙数组结构的美妙之处在于，根据定义，字符串具有内置的NUL终止符，指针数组以NULL结束，因此两个维度的端点都是已知的。但是，作为数组中最后一个指针的NULL并不是内置于该语言中的。它必须被显式设置。如果不这样做，就相当于声明一个char数组，而不是用一个NUL终止它。

char myString[] = { 'H', 'e', 'l', 'l', 'o' }    // No NUL termination

正如您必须知道这个数组中有多少个字符，如果您想以任何有用的方式操作它，如果没有指针数组末尾的NULL，那么操作它就会更加困难。

这就是彼得范德林登在你引用的关于Illiffe数据结构的段落中所说的全部内容。

这是C语言中“实现定义”的东西之一吗？

不，那不是实现-定义-这是简单的“未定义”。对于所有类型的数组也是如此:在它们中看到的值在显式初始化之前是未定义的。

我从上面的文本中了解到的是，如果有一个指针数组，它们就有显式的超出约束的值，比如NULL。

作者想说，有一个值(特别是NULL值)可以用来标记指针数组中的“无值”。作者并不意味着默认情况下这样一个无值标记将被放置到一个指针数组中。

具有自动存储持续时间的数组或任何对象(即在函数体中定义的没有static关键字的任何对象)都没有默认值，除非您指定了默认值。它的初始值是垃圾，在给它赋值之前，您不能访问该值。

具有静态存储持续时间的对象(即在任何函数之外定义的任何对象和/或使用static关键字定义的对象)被初始化为零，其含义为“零”(整数为0，浮点为0.0，指针为null )递归地应用于子对象。

可以使用初始化程序来确保指针对象设置为空指针，或设置为任意值：

int *x[2] = { NULL, NULL };

或者，更简单地说：

int *x[2] = { 0 }; /* sets first element to 0, which is converted to a null
                      pointer; other elements are implicitly set to null
                      pointers as well */