C 函数指针数组

Question

我有以下一段我不完全理解的代码：

void (*foo[ABC]) (int *i) {
    [A] = function1,
    [B] = function2,
    [C] = function3
}

其中A、B 和C 是整数常量。

1- 如果之前没有定义过ABC，它是一个有效的声明吗？

2- 这种初始化方式叫什么？ ([A] = function1;)

3- foo[D] 的值是多少？是空指针吗？

Answer 1

1. 不，如果未定义 ABC 或 A、B 或 C，它将不起作用。
2. 初始化器被称为 designated initializers（对于 C90 是 GNU 扩展和自 C99 以来的标准，感谢 AndreyT）
3. 只要D < ABC，foo[D]就会为0（相当于一个NULL-指针），否则就是未定义的。

编辑：因为现在的问题是如果 ABCRandom 和其他索引器是字符串意味着什么，答案很多更短：它没有任何意义，使用字符串作为数组索引是undefined behaviour。

Answer 2

“I don't think it's C”不等同于“it is not C”。

---

感谢the link、@Kninnug -- 这是一个可怕的 C99 功能（以及C90 的GNU 扩展），并且代码有一个错误：它是一个拼写错误 初始化一个由三个函数指针组成的数组。我可以想象这样的固定代码：

#define ABC 3

#define A 0
#define B 1
#define C 2

void function1(int *i)
{
}

void function2(int *i)
{
}

void function3(int *i)
{
}

int main(int argc, char *argv[])
{
    void (*foo[ABC]) (int *i) = {
        [A] = function1,
        [B] = function2,
        [C] = function3
    };

    return 0;
}

This compiles.

还有：

foo[D] 的值是多少？是空指针吗？

那么，D 是什么？如果D >= ABC（假设它们都是非负整数），那么该元素甚至不存在。如果D < ABC，那么它是一个NULL 指针，因为聚合（结构、联合和数组）初始化隐式零初始化初始化列表中没有对应初始化表达式的元素。

（更准确地说，它们被初始化为“好像它们具有static 存储持续时间”，在指针的情况下初始化为NULL。）