C有真正安全的格式化库吗？

Question

考虑到关于C 的更安全的格式化库的问题的答案,我想知道是否有一个安全的 C格式化库？

我的意思是:

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

请不要回答有关Microsoft安全字符串库或不太安全但仍然不完全安全的库,因为我知道这些,并且它们不满足总安全性的要求.

提前致谢

Answer 1

你是用C写的.C不是类型安全的.如果传递int*而不是a,则无法避免未定义的行为char*.如果你的变量没有为运行时检查进行静态类型检查/标记,那就没有"没有可能"的事情.

如果你有产生警告的东西,那已经很好......

如果您确实需要或想要安全,您可能需要查看旋风(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);

如果有点冗长,这样的东西将是非常安全的.