37

同じプロトタイプの一連の関数があります。

int func1(int a, int b) {
  // ...
}
int func2(int a, int b) {
  // ...
}
// ...

今、私はそれらの定義と宣言を単純化したいと思います。もちろん、次のようなマクロを使用することもできます。

#define SP_FUNC(name) int name(int a, int b)

しかし、私はそれをCで保持したいので、これにストレージ指定子を使用しようとしましtypedefた。

typedef int SpFunc(int a, int b);

これは、宣言に対しては正常に機能しているようです。

SpFunc func1; // compiles

しかし、定義のためではありません：

SpFunc func1 {
  // ...
}

これにより、次のエラーが発生します。

error: expected '=', ',', ';', 'asm' or '__attribute__' before '{' token

これを正しく行う方法はありますか、それとも不可能ですか？私のCの理解では、これは機能するはずですが、機能しません。なんで？

注意してください、gccは私がやろうとしていることを理解しています。

SpFunc func1 = { /* ... */ }

それは私に教えてくれます

error: function 'func1' is initialized like a variable

つまり、gccはSpFuncが関数型であることを理解しています。

4

2 に答える 2

47

関数型のtypedefを使用して関数を定義することはできません。明示的に禁止されています-6.9.1/2および関連する脚注を参照してください。

関数定義で宣言された識別子（関数の名前）は、関数定義の宣言部分で指定された関数型を持っている必要があります。

その目的は、関数定義の型カテゴリをtypedefから継承できないようにすることです。

typedef int F(void); // type F is "function with no parameters
                     // returning int"
F f, g; // f and g both have type compatible with F
F f { /* ... */ } // WRONG: syntax/constraint error
F g() { /* ... */ } // WRONG: declares that g returns a function
int f(void) { /* ... */ } // RIGHT: f has type compatible with F
int g() { /* ... */ } // RIGHT: g has type compatible with F
F *e(void) { /* ... */ } // e returns a pointer to a function
F *((e))(void) { /* ... */ } // same: parentheses irrelevant
int (*fp)(void); // fp points to a function that has type F
F *Fp; //Fp points to a function that has type F
于 2011-01-01T17:51:41.857 に答える
0

Aは、ヘッダー（ソースコードテキスト）ではなく、タイプtypedefを定義します。ヘッダーのコードを除外する必要がある場合は、（お勧めしませんが）使用する必要があります。#define

（[編集済み]最初のものが機能する理由は、プロトタイプを定義してtypedefいないためです。これは、で定義されたタイプの変数を定義しているため、必要なものではありません。）

于 2011-01-01T17:48:44.137 に答える