关于论证main(),2011 C标准说(5.1.2.2.1:2):
如果argc的值大于零,则数组成员argv [0]到argv [argc-1]包含指向字符串的指针,在程序启动之前由主机环境给出实现定义的值.
如果此上下文中的"字符串"一词被解释为"0终止字符串",即一个非0字符序列后跟最后的'\ 0',或者/或某些实现可能以不同的方式将参数传递给程序？
在POSIX平台上,是exec*由函数验证的exec*函数族之一的参数作为指向格式良好的字符串的指针(以及如何？),或者setuid程序是否应该假设它已经通过格式良好的0-终止字符串作为参数？