typedef 如何用于函数指针

Question

我想我可能患有可怕的“意外程序员”病，至少在 typedef 和函数指针方面是这样。因此，我一直在尝试涉及这些的各种组合，以根据我得到的所有输出来分析结果。

但当我不断尝试不同的组合时，我现在没有分析结果，而是迷失在过程中。

我希望你们能帮我解决这个混乱的问题。

第一个代码示例

typedef void (print)(void);
void do_something (void) { printf("Hello World\n"); }

print *pr;
pr = &do_something;
pr(); // Hello World

第二个代码示例

typedef void (print)(void);
void do_something (void) { printf("Hello World\n"); }

print *pr;
pr = do_something;
pr(); // Hello World

上面的两个代码示例是如何工作的，就好像“&”对函数名称没有影响

第三个代码示例

typedef void (print)(void);
void do_something (void) { printf("Hello World\n"); }

print pr;
pr = do_something; // compile error
pr = &do_something; // compile error
pr();

我希望上述作业之一可以在这里工作，但是该死！我真的不明白函数指针（也许还有 typedef）。

Answer 1

函数名的地址和普通函数名的含义相同，因此 & 对函数名没有影响。

类似地，当使用函数指针时，多重解引用不是问题：

#include <stdio.h>
typedef void print(void);
static void dosomething(void) { printf("Hello World\n"); }

int main(void)
{
    print *f1 = dosomething;
    print *f2 = &dosomething;
    f2();
    (f1)();
    (*f1)();
    (**f2)();
    (***f1)();
    (****f2)();
    (*****f1)();
}

这可以在以下条件下干净地编译：

gcc -O3 -g -Wall -Wextra -Werror -Wmissing-prototypes -Wstrict-prototypes \
    -Wold-style-definition -std=c99 xx.c -o xx

我不会声称多星是好的风格；事实并非如此。这是“奇怪的，而且（是的，你可能会这么说）反常”。一颗就足够了（一颗星主要适合像我这样在标准说“可以通过指针调用函数而不使用 (*pointer_to_function)(arg1, arg2) 之前学习 C 语言编程的人 表示法；如果您愿意，您可以直接编写pointer_to_function(arg1, arg2)”）。是的，这很奇怪。不，谢天谢地，没有其他类型（或类型类别）表现出相同的行为。

Answer 2

关于函数指针的事情是，它们是函数指针！:-) 这就是让第三个示例工作的方式：

#include <stdio.h>
typedef void (*print)(void);
//            ^
void do_something (void) { printf("Hello World\n"); }
int main (void) {
    print pr;
    pr = do_something; // &do_something would also work.
    pr();
    return 0;
}

就您是否使用 funcName 或 < code>&funcName，没关系（至少在 C 语言中）。 6.3.2.1 左值、数组和函数指示符 节指出：

函数指示符是具有函数类型的表达式。除非它是 sizeof 运算符或一元 & 的操作数。运算符，类型为“函数返回类型”的函数指示符将转换为类型为“指向函数返回类型的指针”的表达式。

Answer 3

事实证明，在 C/C++ 中，funcname 和 &funcname 都会产生 funcname 的地址，并且可以分配给函数指针变量。这实际上只是该语言的语法设计方式的一个奇怪之处。

Answer 4

与 C 一样，C++ 也有指向函数的指针：例如，void (*)() 是指向不带参数且不返回值的函数的指针。然而，C++ 还引入了对函数 void (&)() 的引用，并且两者之间存在隐式转换（尽管我不记得确切的规则）。

因此：

• funcname 是对函数的引用
• &funcname 是指向函数的指针

请注意，获取重载函数的地址（或引用）需要一个 static_cast 到确切的类型（以解决重载）。