各种初始化和构造之间的关系？

Question

我问的是不是

Type t{...};

和

Type t({...});

和

Type t = {...};

是等价的吗？如果一个有效，另一个也应该得到相同的结果？

如果没有 explicit 修饰符，它们是否等效？

Answer 1

不，这三种形式都是不同的，并且在不同的情况下可能是独立的。

Here's an example 第一种形式可以编译，但第二种和第三种没有：

class Type {
public:
    explicit Type(int, int) {}
};

int main()
{
    Type t1{1, 2};     // Ok
    Type t2({1, 2});   // error
    Type t3 = {1, 2};  // error
}

Here's the example 第二种形式编译，但第一种和第三种没有：

class Pair {
public:
    Pair(int, int) {}
};

class Type {
public:
    Type(const Pair&) {}
};

int main()
{
    Type t1{1, 2};     // error
    Type t2({1, 2});   // Ok
    Type t3 = {1, 2};  // error
}

Here's an example，由@T.C. 提供，第三种形式可以编译，但第一种和第二种形式不编译：

struct StrangeConverter {
    explicit operator double() = delete;
    operator float() { return 0.0f; }
};

int main() {
  StrangeConverter sc;
  using Type = double;
  Type t1{sc};     // error
  Type t2({sc});   // error
  Type t3 = {sc};  // Ok
}