3

C++20 引入了指定初始化器。我正在尝试使用新语法初始化结构内的字符数组。

非常简单的问题，我认为代码可以最好地解释它：

struct Test
{
    unsigned v;
    char b[12];
};

int main()
{
    char str[12] = "hello"; // Works.
    char strb[12]{"hello"}; // Works.
    //
    Test testa
    {
        .v = 100u,
        .b = "hello" //Doesn't work...
    };
    Test testb
    {
        .v = 100u,
        .b = { "hello" } //Doesn't work...
    };
    Test testc
    {
        .v{ 100u },
        .b{ "hello" } //Doesn't work...
    };
    Test testd
    {
        .v{ 100u },
        .b{ "hello" } //Doesn't work...
    };
    Test teste
    {
        .v = 100u,
        .b = {} //This works.
    };
    Test testf
    {
        .v = 100u,
        .b = {'h', 'e', 'l', 'l', 'o', '\0'} //This works.
    };
    return 0;
}

我发现这种行为集市，这char str[12] = "hello";条线工作得很好。但是相同的初始化形式在指定的初始化列表中不起作用。

问题：为什么我不能用字符串文字初始化 char 数组？

编辑

我以前使用的是 GCC。 这适用于铿锵声。GCC 是否有解决方法，clang 或 GCC 是否正确？

4

2 回答 2

2

指定初始化器是聚合初始化的一个小变种。指示符名称的唯一用途是决定从给定的大括号或等号初始化程序中初始化哪个聚合成员。指定初始化的使用不会改变初始化的具体形式，因此也不会改变它是否有效。

给定您的Test对象，Test{100u, "hello"}并且Test{.v = 100u, .b = "hello"}都有效或无效。在这两种情况下，Test::b都按照[dcl.init.aggr]4.2进行初始化：

否则，该元素从相应的初始化子句复制初始化，或者使用相应的指定初始化子句的大括号或相等初始化子初始化。

复制初始化与您简单地初始化数组变量的过程完全相同。这是完全有效的。

所以你的可能应该工作。这是一个编译器错误。

GCC“解决方法”是等待错误被修复。或者回到标准聚合初始化，直到他们的编译器被修复。

于 2020-04-28T01:41:10.547 回答
0

我会说你不能以这种方式初始化它，因为它们类型不兼容。好吧，如果从严格的角度来看......或“迂腐”的水平;）

char 数组不等于 std::string 即使它们密切相关。为了类型安全，编译器不允许这样的赋值。正如 Geeks for Geeks 解释的那样，
即使char 数组和 char* 也不相同。

我在这里看不到任何荒谬的东西......可能有什么我忽略了？

您发布的规范在底部的“注释”部分中说明：

在 C 中，大小比字符串字面量小一的字符数组可以从字符串字面量初始化；结果数组不是以空值结尾的。这在 C++ 中是不允许的。

我认为这可以解释它。但我同意，它有点“隐藏”。

于 2020-04-27T23:52:18.420 回答