指定初始化器中参数列表的括号数量

number of braces for parameter list in designated initializer

本文关键字:列表 参数 初始化      更新时间:2023-10-16

我当前正在与参数列表中的大括号挣扎,即使我使用C++2a指定的初始化器。

我有一些嵌套结构为:

#include <string>
#include <optional> 
struct Base
{
    std::string name;
};
struct KL: public Base
{
    int p1;
    int p2;
};
struct FFA: public Base
{
    int pp1;
    int pp2;
    int pp3;
};
struct Spur
{
    std::optional< KL >              kl;
    std::optional< FFA >             ffa ;
};
struct Config
{
    std::string s;
    int i1;
    int i2;
    Spur spur;
    Config(
        const std::string& _s,
        int _i1,
        int _i2,
        const Spur& _spur
        ): s{_s},i1{_i1},i2{_i2},spur{_spur}{}
};
class Signal
{
    public:
        Signal( const Config& ) {}
};
struct A { int i; };
struct B { std::string s; };
struct X { A a; B b; };
int main()
    Spur s1{   .kl= {{ "XYZ", 1,2 }}}; // works! gcc+clang but clang warns "suggest braces around initialization of subobject"
    Spur s2{   .kl=  { "XYZ", 1,2 }} ; // fails! could not convert '{"XYZ", 1, 2}' from '<brace-enclosed initializer list>' to 'std::optional<KL>'
    Spur s3{ { .kl=  { "XYZ", 1,2 }}}; // works gcc! clang fails: no matching constructor for initialization of 'std::optional<KL>' 

    Config c1{ "ABC", 1,2 , {{ .kl=std::nullopt }}}; // works gcc, clang fails no matching constructor for initialization of 'Config'
    Config c2{ "ABC", 1,2 , {  .kl=std::nullopt }} ; // works for gcc and clang
    Signal si1{ {"ABC", 1,2 , {{ .kl = std::nullopt     }} }}; // gcc ok, clang fails: no matching constructor for initialization of 'Signal'
    Signal si2{ {"CDE", 3,4 , {{ .kl = KL{ "XYZ", 1,2 } }} }}; // gcc ok, clang fails: no matching constructor for initialization of 'Signal'
    Signal si3{ {"CDE", 3,4 , {{ .kl =   { "XYZ", 1,2 } }} }}; // gcc ok, clang fails: no matching constructor for initialization of 'Signal'
    Signal si4{ {"CDE", 3,4 , {  .kl = KL{ "XYZ", 1,2 }  } }}; // clang & gcc ok
    Signal si5{ {"CDE", 3,4 , {  .kl =   { "XYZ", 1,2 }  } }}; // gcc& clang fail: no matching function for call to 'Signal::Signal(<brace-enclosed initializer list>)'
    X x{ .b={"Hallo"  }}; 
    X x2{ .a={1} };

我的问题是:当我需要在初始化器列表中的参数集周围设置的另一组括号时?

我已经阅读了嵌套的括号和指定的初始化

用过的编译器: clang version 6.0.1g++ (GCC) 8.2.1标志:-std=c++20

有人可以解释一下必须满足哪些规则以摆脱所有错误和警告?(Clang警告总是缺少牙套,但我找不到在哪里设置其他没有破坏GCC来编译的牙套)。很高兴得到一个可以在GCC和Clang上编译的示例。

您可以使用:

Spur s1{ .kl = {{ {"XYZ"}, 1,2 }}};
Config c1{ "ABC", 1,2 , { .kl = std::nullopt }};
Signal si1{ {"ABC", 1,2 , { .kl = std::nullopt} }};

演示

您需要{}围绕"XYZ"初始化基类。
(您甚至可以在const char*构建std::string周围再添加另一个{}

.kl = { { {"XYZ"}, 1,2 } }
      | | |
      | | v
      | | Base
      | v
      | KL
      v
      optional