Ｃ式ってもともとコードのためのもので、データ構造とは関係ない。
だから、無理やり汎用データ構造にしても使いづらいと思う。
んで、Ｃ風の構文で強力なマクロが使いたかったら、そういうような言語を作ればいいだけだし、この二つの話をくっつけること自体がとてつもなく無意味なような。
コードの動的生成をするにしても、VMやCのコードを生成するのが普通だとおも