具有显式默认构造函数的类型的复制初始化上下文中{}的隐式转换序列

Question

struct nullopt_t { explicit nullopt_t() = default; };

被关闭为非缺陷(NAD)，其基本原理如下

2021-06-14反射器轮询：

当前的措辞阻止了来自{}的隐式转换序列。

struct my_nullopt_t {
    explicit constexpr my_nullopt_t() = default;
};

struct S {
    constexpr S() {} // user-provided: S is not an aggregate
    constexpr S(S const&)      = default;
    S& operator=(S const&)     = default; // #1
    S& operator=(my_nullopt_t) = delete;  // #2
};

int main() {
    S s{};
    s = {};  // #3
}

但是考虑到上面反射者的评论，我可能错了。可能是[over.match.list]/1

在复制列表初始化中，如果选择显式构造函数，则初始化格式不正确。[注意：这与其他情况([over.match.ctor],[over.match.copy])不同，在其他情况下，复制初始化只考虑转换构造函数。只有当初始化是重载解析最终结果的一部分时，此限制才适用。-结束注意]

通过[over.ics.list]/7中的条目来管理这个案例？

• 有哪些标准段落支持上述反射器的基本原理，例如应用于上述例子？
  • 这是否支持GCC拒绝上面的程序，因此Clang接受它是错误的？

Answer 1

GCC是对的，Clang和MSVC是错的。这一点在：

• CWG1228:复制列表初始化和显式构造函数

它也作为NAD关闭。

null

struct MyList {
  explicit MyStore(int initialCapacity);
};

struct MyInt {
  MyInt(int i);
};

struct Printer {
  void operator()(MyStore const& s);
  void operator()(MyInt const& i);
};

void f() {
  Printer p;
  p({23});
}