c11 _一般的な型を追加する

Question

c11 _Generic関数に余分な型を追加するにはどうすればよいですか？

あなたは＃undef/re-＃を定義する必要がありますか？（もしそうなら、次の作業が必要でしょうか）、それとももっと良い方法がありますか？

#define to_str(X) _Generic((X), \ 
    long double: ld_str, \ 
    double: d_str, \ 
    float: f_str, \ 
    )(X) 

#undef to_str 

#define to_str(X) _Generic((X), \ 
    long double: ld_str, \ 
    double: d_str, \ 
    float: f_str, \ 
    int: i_str, \ 
    )(X) 

Answer 1

私はあなたの質問を完全に理解しているかどうかはわかりません。あなたは、いくつかのライブラリによって与えられた型ジェネリックマクロを持っていて、それをあなた自身の新しいタイプで修正したいのですか？

あなたは常に行うことができますが、それを別の名前を付けて提供挙動を得るために、デフォルトのケースを使用することです：

#define to_str2(X) _Generic((X), default: to_str(X), int: i_str(X)) 

編集：

あなたがしたいので、これは完璧に動作しません。関数引数の評価を_Genericの中に入れなければなりません。つまり、Xのタイプは、ネストされたジェネリック式のすべてのブランチと互換性がなければなりません。

(X)、つまりto_strGenを除いて、関数自体を返すだけのマクロが問題のライブラリにあって、Xを評価することは決して簡単ではありません。そして、あなたははい、それはあなたのコードだ場合、あなたはそれを#undefと#defineにそれを再する必要があります

#define to_str2Gen(X) _Generic((X), default: to_strGen(X), int: i_str) 
#define to_str2(X) to_str2Gen(X)(X) 

Answer 2

を行うことができます。タイプジェネリック式（AFAIK）を拡張する方法はありません。

あなたのコードではない場合は、Jensが提案したような拡張子を持つ2番目の式を導入します。