C言語で型変数を実装する

Question

私はC言語で記述しており、型変数の実装をしたいと考えています。たとえば、Haskellでは、次のような記述が可能です。

data Matrix a = Matrix [a] Int Int 

これは任意の型 'a'のエントリを持つ行列を定義できます。 Cでは、私は種類ごとにいくつかの構造を書いた：

struct zMatrix { 
    int dim_row; 
    int dim_col; 
    int *coords; 
}; 

struct rMatrix { 
    int dim_row; 
    int dim_col; 
    float *coords; 
}; 

... 

は、一般的なマトリックス構造とCOORDSフィールドの種類を指定することになり、マトリックスを作成するためのいくつかの機能を持っているためにいくつかの方法はありますか？何かのように：

struct matrix { 
    int dim_row; 
    int dim_col; 
    (typevar type) *coords; 
}; 

struct matrix matrixCreate(typevar type, int n, int m){...}; 
struct matrix M = matrixCreate(int, 3, 3); 
struct matric M = matrixCreate(float, 3, 3); 
... 

Answer 1

あなたはそれを行うことができます。前述の@EOFと同じように、異なるデータ型で異なる構造体の部分には共用体型を使用できます。おそらく構造体に型を表すものも格納したいと思うでしょう。あなたの例のように関数に型名を渡すことはできませんが、さまざまな型を表すenumを定義できます。その後、switch文を使用して任意のタイプ固有のコードを実装します。 switch文を使用する代わりに、型を記述するデータ構造体を使用することができます（これには、関数ポインタやその他の情報が含まれています）。各データ型のインスタンスを宣言し、型固有のコードは、適切な型のデータ構造の情報を使用して、必要な処理を行います。型データ構造体は、型enum値でインデックスを付ける配列であるか、型データ構造体へのポインタを使用して型を表すことができます。

C++がオプションであれば、これはずっと簡単になります。