c++ - 为什么我可以用标量值初始化类/结构？

Question

我今天遇到了这种行为，但我找不到它起作用的原因。

非工作代码

struct MyStruct {
    int x;
    int y;
};

MyStruct foo = 1;

error: conversion from ‘int’ to non-scalar type ‘MyStruct’ requested

工作代码

struct MyStruct {
    int x;
    int y;
    MyStruct(int x) : x(x) {
        //
    }
};


MyStruct foo = 1;

问题

为什么C++知道如何使用这个构造函数？难道它不应该仍然有一个编译器错误，说我无法将 int 分配给结构吗？为什么我不需要 MyStruct foo = MyStruct(1);？

Online GDB link to code

Answer 1

原始类中没有来自 int 的转换构造函数，但由于它是聚合，因此您可以使用大括号初始化:

struct MyStruct {
    int x;
    int y;
};

MyStruct foo{1}; // initializes x with 1

对于问题:

Why does C++ know how to use this constructor? Shouldn't it still be having a compiler error saying that I can't assign an int to a struct?

第二个代码中的转换构造函数是隐式的。让它显式，你会得到一个编译错误。

struct MyStruct {
    int x;
    int y;
    explicit MyStruct(int x) : x(x) {}
};

//MyStruct foo = 1; // now error
MyStruct foo{1};  // OK
MyStruct foo(1);  // OK