memset_s()：标准对这段文字意味着什么？

Question

在 C11，K.3.7.4.1 memset_s 函数中，我发现了一段相当混乱的文字：

与memset 不同，对memset_s 函数的任何调用都应严格按照（5.1.2.3）中描述的抽象机规则进行评估。也就是说，对memset_s 函数的任何调用都应假定s 和n 指示的内存将来可以访问，因此必须包含c 指示的值。

这意味着memset 不是（必然）“严格按照抽象机器的规则进行评估”。 （引用的章节是5.1.2.3 程序执行。）

我无法理解标准赋予memset 的余地，此处明确排除了memset_s，以及这对任一函数的实现者意味着什么。

Answer 1

假设你已经阅读了一个密码：

{
    char password[128];

    if (fgets(password, sizeof(password), stdin) != 0)
    {
        password[strcspn(password), "\n\r"]) = '\0';
        validate_password(password);
        memset(password, '\0', sizeof(password));
    }
}

您已经小心地破解了密码，以免被意外找到。

不幸的是，允许编译器省略memset() 调用，因为password 不再使用。 memset_s() 的规则表示调用不能省略；无论优化如何，password 变量必须归零。

memset_s(password, sizeof(password), '\0', sizeof(password));

这是Annex K 中为数不多的真正有用的功能之一。 （我们可以讨论必须重复大小的优点。但是，在更一般的情况下，第二个大小可以是一个变量，而不是一个常数，然后第一个大小成为运行时防止变量失控的保护。 )

请注意，此要求放在编译器而不是库上。 memset_s() 函数在被调用时会正常运行，就像memset() 在如果被调用时会正常运行一样。正在讨论的规则表明编译器必须调用memset_s()，即使它可以省略对memset()的调用，因为该变量不再使用。