为什么在使用花括号初始化结构时出现错误？

Question

我正在使用以下代码并出现错误。我不明白为什么会出现此错误。

prog.cpp: In function ‘int main()’:
prog.cpp:15:44: error: could not convert ‘{"foo", true}’ from 
                       ‘<brace-enclosed initializer list>’ to ‘option’
                       option x[] = {{"foo", true},{"bar", false}};
                                            ^
prog.cpp:15:44: error: could not convert ‘{"bar", false}’ from 
                       ‘<brace-enclosed initializer list>’ o ‘option’

代码

#include <iostream>
#include <string>
 
struct option
{
    option();
    ~option();
 
    std::string s;
    bool b;
};
 
option::option() = default;
option::~option() = default;

int main()
{
    option x[] = {{"foo", true},{"bar", false}};
}

Answer 1

当您提供^†默认构造函数和析构函数时，您正在使结构成为non-aggregate type, hence aggregate initialization 不可能。

但是，您可以使用标准 std::is_aggregate_v 特征检查类型是否为聚合。 （来自c++17）。

See here for your case。它不是聚合，因为您提供了^†那些构造函数。

您有以下三种方法来完成这项工作：

• 删除构造函数和you are good to go。

  struct option
  {
     std::string s;
     bool b;
  };
  

• Default the constructors inside the struct（即声明^†）。

  struct option 
  {    
     std::string s;
     bool b;
  
     option() = default;
     ~option() = default;
  };
  

• 否则，您需要provide a suitable constructor in your struct。

  struct option 
  {
     std::string mStr;
     bool mBool;
  
     option(std::string str, bool b)
        : mStr{ std::move(str) }
        , mBool{ b }
     {}
  
     // other constructors...
  };
  

---

^† 下面的帖子解释了构造函数什么时候是defaulted，什么时候它被认为是用户声明的和用户提供清楚：（Credits @NathanOliver）

C++ zero initialization - Why is `b` in this program uninitialized, but `a` is initialized?