ISO C允许提供给主体()的Agv[]指针的混叠吗?

根据我的阅读,对这个名词的回答是“是”,因为它不在任何地方。 明令禁止,标准没有要求 使用restrict限定的argv,但答案可能会打开 “解释”并保留它们在程序之间的最后存储值 启动和程序终止。

我同意标准并没有明确禁止参数向量的元素成为彼此的别名。我不认为可修改性和价值保留条款与这一立场相矛盾,但它们确实向我表明,委员会没有考虑使用别名的可能性。

这个问题的实际意义是如果答案是 确实,“是”,一个希望修改字符串的可移植程序。 argv必须首先对它们执行(相当于)posix strdup(),以便 安全。

事实上,这正是我认为委员会甚至没有考虑这种可能性的原因。如果他们这样做了,那么他们肯定至少会包含一个脚注,以达到同样的效果,或者明确指定参数字符串都是不同的。

我倾向于认为这个细节避免了委员会的注意,因为在实践中,实现确实提供了不同的字符串,而且因为程序修改它们的参数字符串(尽管修改)是很少见的。 argv 它本身比较常见)。如果委员会同意在这一领域发表官方解释,那么我不会感到惊讶,因为他们可能会抵制别名。

但是,除非发布了此类解释,否则严格的一致性不允许您依赖 先验的 在 阿格夫 元素没有被别名。

它在常见的*nix平台(包括linux和mac操作系统,可能还有freebsd)上的工作方式是 argv 是一个指针数组,它包含一个接一个的参数字符串(只由null终止符分隔)。使用 execl() 不会改变这一点--即使调用方多次传递同一指针,也会多次复制源字符串,对于相同(即别名)指针没有特殊行为(这种情况很少见,优化起来没有太大好处)。

但是,c不需要这种实现。真正的偏执狂可能想在修改字符串之前复制每个字符串,如果内存有限且循环过多,则可能跳过复制。 阿格夫 显示没有指针实际别名(至少在程序要修改的指针中)。除非你在开发飞行软件之类的东西,否则这看起来太偏执了。

作为一个数据点,我在几个系统上编译和运行以下程序。(免责声明:这些程序旨在提供一个数据点,但正如我们所看到的,它们是这样做的。 不 最后按说明回答问题。)

p1.c 以下内容:

#include <stdio.h>
#include <unistd.h>

int main()
{
    char test[] = "test";
    execl("./p2", "p2", test, test, NULL);
}

p2.c :

#include <stdio.h>

int main(int argc, char **argv)
{
    int i;
    for(i = 1; i < argc; i++) printf("%s ", argv[i]); printf("\n");
    argv[1][0] = 'b';
    for(i = 1; i < argc; i++) printf("%s ", argv[i]); printf("\n");
}

我尝试过的每一个地方(在macos和多种unix和linux下)都会打印

test test 
best test 

因为第二行从来没有 best best “这证明,在测试的系统中,在运行第二个程序时,字符串不再混叠。

当然,这个测试 不 证明字符串 argv 在任何情况下,在任何系统中都不能使用别名。我想所有证明的是,毫不奇怪,每一个被测试的操作系统在时间之间至少会重复一次参数列表。 p1 电话 execl 那时候 p2 实际上是被调用的。换句话说,由调用程序构造的参数向量是 不 直接在被调用程序中使用,并且在复制过程中,它(又一点也不奇怪)“归一化”,意味着任何混叠的效果都会丢失。

(我说这并不奇怪,因为如果你想想 exec 系统调用族实际上是工作的,进程内存的方式是在UNIX类系统下进行的,调用程序的参数列表是不可能直接使用的; 有 至少要复制一次,进入新的执行进程的地址空间。此外,任何明显的和直接的复制参数列表的方法总是自动地以这种方式“正常化”;内核必须做显著的、额外的、完全不必要的工作,以便检测和保存任何混叠。

为了以防万一,我修改了第一个程序:

#include <stdio.h>
#include <unistd.h>

int main()
{
    char test[] = "test";
    char *argv[] = {"p2", test, test, NULL};
    execv("./p2", argv);
}

结果没有变化。

所有这些都表明,我同意这个问题看起来像是标准中的疏忽或小事。我不知道有任何条款可以保证字符串是由 阿格夫 是不同的,这意味着一个未经授权的书面程序可能不依赖于这样的保证,不管它有多大可能(如这个答案所示),任何合理的实现都有可能做到这一点。