用常量数组初始化指向结构的指针

Question

假设我有两个结构

struct A
{ int x;
  int y;
};

struct B
{ int count;
  const A* list;
};

现在我要初始化一个编译时间常数Bs。

static const B Barray[] =
{ { 2,
    { { 7,8 }, {9,10} } // error
  },
  { 1,
    { { 30,40 } } // error
  },
};

后者（当然）不起作用，因为list 未声明为数组。但这是（旧）API 经常声明的方式。

我可以使用一个基本上只是演员表的辅助函数：

template<typename T>
constexpr static const T* make_pointer(const T (&array)[])
{
    return array;
}

static const B Barray[] =
{ { 2,
    make_pointer<A>({ { 7,8 }, {9,10} })
  },
  { 1,
    make_pointer<A>({ { 30,40 } })
  }
};

但这不是那么漂亮。 是否可以在没有辅助函数的情况下直接初始化数据结构？ （当然，每个 A[] 都没有命名静态常量。）

Answer 1

但这不是那么漂亮。

这不仅不漂亮，而且几乎没用，因为临时数组的生命周期在静态数组初始化后立即结束，指针悬空。

这可行，但远非漂亮：

static const B Barray[] =
{ { 2,
    []{static A a[] { { 7,8 }, {9,10} }; return a; }(),
  },
  { 1,
    []{static A a[] { { 30,40 } }; return a; }(),
  },
};

命名静态数组可能是目前最好的选择

---

不管怎样，C99 及更高版本中有一个语言特性：复合文字。流行的编译器也将其作为 C++ 中的语言扩展来实现，但它们的实现存在一些变化，而且至关重要的是，例如 GCC 复合文字在 C++ 中是临时的而不是静态的，因此不适用于此用例。

有一个proposal 需要标准化，因此它可能是未来 C++ 标准中的一个选项。编辑：我认为正如提议的那样，C++ 中的复合文字不会有静态存储，如果这种解释是正确的，那么它将不适用于这个用例。