聚合初始化原子成员

Question

似乎没有办法使用 C++14 来初始化原子成员。以下不起作用（live on gcc 8.0.1）：

#include <atomic>
#include <iostream>

struct stru {
  std::atomic_int32_t val_0;
  std::atomic_int32_t val_1;
};

int main() {
  auto p = new stru{0, 1};
  std::cout << p->val_0 << ", " << p->val_1 << std::endl; 
}

错误信息：

error: use of deleted function 'std::atomic<int>::atomic(const std::atomic<int>&)'
   auto p = new stru{0, 1};
                     ^

这是因为原子类型既不可复制也不可移动，因此不可复制初始化。但是，以下似乎可行（live on gcc 8.0.1）。

#include <atomic>
#include <iostream>

struct stru {
  std::atomic_int32_t val_0;
  std::atomic_int32_t val_1;
};

int main() {
  auto p = new stru{};
  std::cout << p->val_0 << ", " << p->val_1 << std::endl; 
}

这有效地执行零初始化，因此无法初始化为零以外的值。有没有办法初始化为其他指定的值？

Answer 1

Patrick 的 solution 有效，但他的解释在我看来并不正确。所以我发布了我在这里找到的解释。对于代码auto p = new stru{{0}, {1}}; aggregate initialization 的效果：

如果初始化子句是嵌套的花括号初始化列表（不是 一个表达式），对应的数组元素/类成员/public base (C++17 起) 从该子句列表初始化：聚合 初始化是递归的。

因此，成员不是复制初始化，而是从花括号初始化列表复制列表初始化。

Answer 2

1 和 0 不是 std::atomic_int32_ts。以下作品：

#include <atomic>
#include <iostream>

struct stru {
  std::atomic_int32_t val_0;
  std::atomic_int32_t val_1;
};

int main() {
  auto p = new stru{{0}, {1}};
  std::cout << p->val_0 << ", " << p->val_1 << std::endl; 
}

编辑：为什么会这样？ Copy initialization kicks in 用于初始化列表中的每个元素：

每个直接公共...非静态类成员，按照类定义中数组下标/外观的顺序，从初始化列表的相应子句复制初始化。

在您的示例中，1 和0 被隐式转换为std::atomic_int32_t，而std::atomic_int32_t 不能从std::atomic_int32_t 复制初始化。在额外的{} 版本中，val_0 和val_1 是从std::initializer_list<int>s 复制初始化的，这很好。