std::initializer_list<int const>不能由std::initializer_list<int>构造

Question

我的问题是在std::initializer_list类型之间缺乏转换，其中包含的类型或多或少是cv限定的，而这些转换似乎很容易完成。

考虑以下无效代码：

std::initializer_list<int> x{1,2,3,4,5,6};
std::initializer_list<int const> y = x; // error! cannot convert!

现在考虑一下std::optional，忽略那些荒谬的类型：

std::optional<std::vector<int>> x{std::in_place, {1,2,3,4,5}}; // OK
std::optional<std::vector<int const>> y{std::in_place, {1,2,3,4,5}}; // error!

我假设语言规范要求在默认情况下为std::initializer_list<U>推导非cv限定的std::initializer_list<U>。

据我所知，std::optional (以及std::any和std::variant)具有std::initializer_list构造函数重载的全部意义在于避免指定初始化程序列表的确切类型。要编译上述代码的第二行，这正是您必须做的。

std::initializer_list已经为它的数据保存了一个const* (不管怎么说，在libc++中)。我没有理由看到上面的代码不起作用吗？这是语言上的一个可以解决的问题，还是我遗漏了什么？

Answer 1

听起来您的问题是，为什么std::initializer_list<T const>不能从std::initializer_list<T>构建，尽管实现这样的转换很容易。

我认为答案是，您不应该首先拥有std::initializer_list<T const>，因为正如您已经指出的，std::initializer_list<T>只允许const访问其元素。

因此，可以说，在C++中有一种“文化规范”，即您不应该有任何需要std::initializer_list<T const>参数的构造函数。例如，没有标准库容器这样做，因为cv限定值类型无论如何都是非法的(当然，std::array的情况除外，它当然没有用户定义的构造函数)。

如果您编写了支持MyContainer的自己类型的MyContainer<T const>，那么我建议您让它看起来如下所示：

template <class T>
class MyContainer {
  public:
    MyContainer(std::initializer_list<std::remove_cv_t<T>> il);
    // ...
};