在结构初始化中调用函数

Question

考虑以下 sn-p：

struct my_struct {
     int a;
     int b;
     int c;
};


void my_func(unsigned long x)
{
    struct my_struct m[] = {
         { 0, 1, 2 },
         { 11, 22, htonl(x) },
         { 0x1, 0xa, 0xbb }
    };
    ...
}

在结构初始化块内调用函数是否合法/可移植？

Answer 1

是的，这是合法的，只要您正在初始化具有 自动 存储持续时间的对象（如您的示例中所示）。对于具有静态 storage 持续时间的对象是不合法的，因为此类对象在其初始化程序中只允许 constant 表达式。

还要记住，尽管在 C 中初始化表达式的求值是不确定的顺序。这意味着如果您的初始化程序中有多个函数调用，并且这些函数的结果取决于某些共享状态，则这些初始化程序的行为可能无法预测

int foo()
{
  static int a;
  return ++a;
}

int main()
{
  struct { int x, y; } s = { foo(), foo() };
  /* Can be `{ 1, 2 }` or `{ 2, 1 }`... */
}

关于可移植性，可以注意到 C89/90 不允许这样做（在 C89/90 中，所有 {}-enclosed 初始值设定项都必须是常量表达式，即使对于自动对象也是如此），但最流行的 C89/90编译器无论如何都支持这一点。

Answer 2

在结构初始化块内调用函数是否合法/可移植？

Initialization (§6.7.8/1)

[...]

|     initializer-list:
|             designationopt initializer
|             initializer-list , designationopt initializer

~> 初始化器列表由初始化器组成

Initialization (§6.7.8/4)

具有静态存储持续时间的对象的初始化程序中的所有表达式都应为常量表达式或字符串文字

~> 初始化器由表达式组成。 (constant-expr. 用于具有静态存储持续时间的对象)

Expressions (§6.5/1):

表达式是一系列运算符和操作数，用于指定值的计算，或指定对象或函数，或产生副作用，或执行它们的组合。

~> 函数调用就是一个表达式。