C++ 中的任何方式转发声明函数原型？

Question

我经常使用前向类声明和指向此类的指针。

我现在需要通过多个层传递函数指针。我更愿意将声明函数指针原型的标头仅包含到取消引用函数指针的模块中，而不是包含到仅传递该指针值的每个层中。

这可能吗？

=====

从回复来看我怀疑我的问题表达得不够清楚。我寻求类似于前向类声明的方法。我们都同意我可以写：

class foo;

无效栏（foo*）；

无效 waz(foo* p) { 酒吧(p);请

注意，waz 除了类 foo 的名称之外，对它一无所知。也许 bar 将能够访问 foo 的完整描述。也许 bar 只会让 p 继续前进。谁在乎？仅那些取消引用 foo* 的网站。所有其他站点只需要“class foo;”。

同样，我知道我可以写：

typedef void foo(int, double);

无效栏（foo*）；

无效 waz(foo* p) { 酒吧(p); 不同之处在于

，现在标识符 foo 不仅已知表示函数类型，而且还已经携带了完整的签名/原型。这迫使我陷入两种不愉快的情况之一：

1）在多个站点克隆 typedef（恶心！脆弱！） 2) 将 typedef 粘贴在标头中，并在提到 foo* 的任何地方都包含它。

请注意不对称性：对于数据对象，我只需要在想要取消引用 foo* 的那些点处提供类 foo 的完整描述；对于函数，我需要在我想提到 foo* 的任何地方提供完整的签名/原型。

那么有什么办法可以弥补这种不对称性吗？

Answer 1

您可以使用未定义的结构类型来执行此操作，但需要额外取消引用。

将其放入主头文件中：

typedef struct FuncStruct *FuncPtr;

这声明了 struct FuncStruct 但未声明任何字段，然后它声明了一个指向该结构的指针，称为 FuncPtr。您可以传递 FuncPtr，但不能取消引用它们。

那么在一个特定的文件（或更具体的 .h 文件）中，您实际上可以像这样定义一个 struct FuncStruct ：

struct FuncStruct {
  int (*f)(int, char, double);
};

然后通过此定义的代码可以取消引用 FuncPtr 来获取实际的函数指针。

请注意，这是对强制转换的额外取消引用，这意味着您需要对 FuncStruct 进行一些内存管理。

Answer 2

对于传递函数指针，您只需要知道参数类型和返回类型：

void f(void (*func)(int));

这里，f() 是一个函数，它接受一个函数指针，指向一个采用 int 的函数> 并返回void。

typedef 使其更具可读性：

typedef void (*FuncPtr)(int);
void f(FuncPtr func);

通常，您可能想查看函子或使用例如 Boost.Function 和 Boost.Bind。这样您还可以传入绑定成员函数或函数对象：

void f(boost::function<void (int)> fn) {
    fn(42);
}

struct X {
    void f(int) {}
};

// ...
X x;
f(boost::bind(&X::f, &x, _1));

Answer 3

当然，例如

typedef void (*FOOFUNC)(int x, int y, char z);

现在你可以传递它

void foo(FOOFUNC f) {
  f(...);
}

Answer 4

我完全理解OP想要做什么。事实上，我也想做同样的事情。根据OP所说的，我有以下内容（用C，而不是C++）：

/* File A.h */
typedef void (*f_t)(int x);

/* File B.h */
typedef void (*call_f_t)(f_t func2call,int y);

问题是，Bh是否必须包含Ah？ Ah 定义了我不想包含在 Bh' 中的各种其他内容，因此我希望这是一种“前向引用”函数指针的方法，而无需在 Bh' 中的 typedef 中重新定义它/code>Bh`（这可能根本不起作用）？

或者编译器是否需要更多地了解 Bh 中的 f_t，而不是前向引用的 struct？

我也可能需要重新考虑代码的布局，但我同意OP的观点，即在完美的世界中，函数指针和其他可以前向引用的对象之间应该存在某种对称性。

Answer 5

完全有可能。您可以在任何需要的地方复制函数原型，但当我看到这样做很多时，警钟就开始响起。

Answer 6

从你的问题中并不清楚你想做什么。

首先，C++ 中不存在“原型”这样的东西。 “原型”（函数原型）的概念仅是 C 语言特有的。

其次，您在消息正文中提到了一些“函数指针的原型”，而标题则谈到了“函数原型”。这使得事情变得更加混乱。 “函数指针的原型”没有任何意义。即使在 C 中，也不存在指针的“原型”这样的东西，更不用说 C++ 了。

那么，你想做什么？如果你想前向声明一个函数 - 只需声明它即可。

如果您想前向声明一个指针 - 也只需声明它即可。为了获得对象的声明（非定义声明），只需使用 extern 关键字进行声明即可。