有没有真正安全的 C 格式库？

Question

牢记有关更安全 C 格式库，我想知道是否有安全 C 格式库？

我的意思是：

• 不可能与参数中的格式字符串不匹配
• 不可能因传递错误的类型而崩溃
• 没有平台相关的方面

请不要回答有关 Microsoft 安全字符串库，或不太不安全但仍不完全安全的库，据我所知，它们不满足总体安全的要求。

提前致谢

Answer 1

你正在用 C 编写。C 不是类型安全的。 如果传递 int* 而不是 char*，则无法避免未定义的行为。 如果您的变量没有进行静态类型检查/标记以进行运行时检查，那么就不存在“不可能”这样的事情。

如果您有一些会产生警告的东西，那已经很好了...

如果您确实需要或想要安全，您可能需要看看cyclone（C 方言），或一些完全不同的语言。

Answer 2

参数中的格式字符串不可能不匹配

如果您想要一个格式字符串，如果没有特殊的编译器支持，您基本上无法做到这一点。 也就是说，如果您放弃格式字符串，您可以在 C 中拥有一个安全的格式化库。 我不知道有什么，但如果它们存在我也不会感到惊讶。

人们可以拥有这样的界面：

typedef ... FORMATTER;

FORMATTER create_formatter();
int fmt_add_string_default(FORMATTER f, const char *s);
int fmt_add_string(FORMATTER f, const char *s, int maxlength, const char fill, enum fmt_alignment align);
...
int fmt_add_decimal_default(FORMATTER f, int d);
... // you get the idea
int fmt_write_result(FORMATTER f, char *out, int out_length);
void destroy_formatter(FORMATTER f);

如果有点冗长，这样的东西将是完全安全的。

Answer 3

不，因为无论你引入什么“安全”，都可能被语言所收买。 这就像在沙子上建造城堡一样，无论城堡有多好，如果你把下面的沙子挖出来，它仍然会倒塌。

C 中没有也不应该有强制执行特定参数类型的机制。

在我看来，如果人们没有按照他们的预期使用你的工具，那是他们自己的问题。 你不应该向三岁的孩子提供软件——他们应该有一点智力。