C++20 中自动生成构造函数的新类型

Question

下面的代码不能在 GCC 11 上编译-std=c++17，但可以-std=c++20：

#include <iostream>
#include <string>

struct Foo {
    std::string s;
    int i;
};

int main()
{
    Foo foo("hello", 42);
    std::cout << foo.s << ' ' << foo.i << '\n';
}

C++20 中的哪些功能可以实现此目的？编译器生成什么样的构造函数？

Answer 1

这里使用的 C++20 功能是从括号初始化聚合 (P0960R3)：

本文建议允许从带括号的值列表初始化聚合；也就是说，Aggr(val1, val2)与 的含义相同Aggr{val1, val2}，只是允许缩小转换。

这是上面链接中的示例：

struct A {
  int a;
  int&& r;
};

int f();
int n = 10;

A a1{1, f()};               // OK, lifetime is extended
A a2(1, f());               // well-formed, but dangling reference
A a3{1.0, 1};               // error: narrowing conversion
A a4(1.0, 1);               // well-formed, but dangling reference
A a5(1.0, std::move(n));    // OK

因此，为了让您的代码能够使用 C++17，只需将括号替换为大括号即可。

#include <iostream>
#include <string>

struct Foo {
    std::string s;
    int i;
};

int main()
{
    Foo foo{"hello", 42};
    std::cout << foo.s << ' ' << foo.i << '\n';
}