データ型からフォーマット指定子を除外しますか？

Question

データ型に対してプログラムでフォーマット指定子を推論することはできますか？例えば、印刷は、それが自動的にない何かのように長いためである場合：私は理解して

printf("Vlaue of var is <fmt_spec> ", var); 

私もそれが

printf("Name is %s",int_val); //Oops, int_val would be treated as an address 

printf("Name is %s, DOB is",name,dob); // missed %d for dob 

printf("Name is %s DOB is %d", name);//Missed printing DOB 

のようなものので、開発者の一部に多少の誤差を低減するであろうと感じている後者の二つ警告はありますが、ほとんどの場合問題になるのでエラーがスローされた方が良いとは思いませんか？あるいは、私は何かを逃しているのですか、そうするためにすでに構築されていますか？

Answer 1

データ型からの除外フォーマット指定子？

なし。

メルポメネが述べたように：

は、「書式指定子だけのタイプのためではありません例：%oと%x両方がunsigned intを取る;すべてはdoubleを取る%e、%f、%g; %d、%i、%cすべてがintを取ることが理由です。あなたは（一般的に）議論からそれらを推論することはできません。

このような機能が存在する場合、unsiged intを%oまたは%xに推計しますか？等々 。 。 。場合によっては警告または問題を出すべきかどうかについて

---

、あなたは鋳造がcでどのように機能するか、そしてそれが何かを許可するかどうかを意味をなすしたときに考えなければなりません。 GCCでは、あなたはもちろん、エラー（S）と（S）警告扱うことができます：

-Werror 
Make all warnings into errors. 

-Werror= 
Make the specified warning into an error. The specifier for a warning is appended; for example -Werror=switch turns the warnings controlled by -Wswitch into errors. This switch takes a negative form, to be used to negate -Werror for specific warnings; for example -Wno-error=switch makes -Wswitch warnings not be errors, even when -Werror is in effect. 

The warning message for each controllable warning includes the option that controls the warning. That option can then be used with -Werror= and -Wno-error= as described above. (Printing of the option in the warning message can be disabled using the -fno-diagnostics-show-option flag.) 

Note that specifying -Werror=foo automatically implies -Wfoo. However, -Wno-error=foo does not imply anything. 

をあなたはhereを読むことができるよう。

Answer 2

データ型に対してプログラムでフォーマット指定子を推測することはできますか？ _Genericの使用しての種類の選択セットに制限が

printf()ではない簡単にも直接

、まだ...

はい、。

これは種々の方法を行い、大きなdificultyと*printf()とともに使用、まだ私はこの例では、個々のフォーマット指定子を指定せずに、データを印刷するための類似のアプローチを見つけることができる：
Formatted print without the need to specify type matching specifiers using _Generic
注：このコードは、符号化孔を有します私がパッチを当てた後に持っているポインタの数学に関して - 投稿されていないが。ストリングとx：

GPrintf("Name is ", GP(name), " is ", GP(dob), GP_eol); 

キーマクロGP(x) 2つの部分に展開有することによってテキストにタイプを変換するために使用されるコードの選択を操縦する_Generic(parameter)を使用することでした。その後、GPrintf()は引数を解釈します。
これは@Michaël Royのコメントに似ていますが、C++ではなくCにとどまっています。