我可以声明一个可以将指向自身的指针作为参数的函数吗？ [英] Can I declare a function that can take pointer to itself as an argument?

问题描述

在Stackoverflow中读到一个问题时，我想知道是否可以声明一个接受指向自身的指针的函数。即对foo进行这样的声明，以下内容是正确的：

foo(foo);

最简单的想法是强制转换为另一个函数指针(不能强制转换为void*，因为它可能更小)，因此函数声明如下：

void foo(void (*)());

虽然这在C中是可以的(并且可以在C++中使用强制转换)，但我想知道，是否可以在没有如此困难的"重新解释"强制转换或丢失类型信息的情况下完成这项工作。

换句话说，我需要以下声明：

void foo( void (*)( void (*)( void (*) ( ... ))));

但是，当然，无限声明是不可能的。幼稚的typedef也无济于事。

欢迎使用C++模板，即使它们使调用代码(foo(foo))看起来不那么简洁，但仍然有限。

C风格的答案展示了如何在不强制转换的情况下删除类型信息，或者其他这类技巧，当然很有趣，但不会被接受。

推荐答案

总的来说，我同意达里奥的观点--在类型级别上这样做似乎是不可能的。

但您可以使用类("策略模式")：

class A {
  void evil(A a) {       // a pointer to A is ok too
  }
};

您甚至可以添加运算符()：

  void operator()(A a) { return evil(a); }

一般来说，用FP语言做这样的事情会更好。Haskell版本很简单：

data Evil = Evil (Evil -> Integer)

这使用了与使用类相对应的包装(Evil)。

来自提问者：这个答案缺少的是将几个不同的函数作为其中之一的参数传递的能力。这可以通过将evil()设为虚来解决，也可以通过在对象中显式存储实现它的函数指针来解决(这基本上是相同的)。

有了这个澄清，答案就足够好了，可以接受了。

这篇关于我可以声明一个可以将指向自身的指针作为参数的函数吗？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！