无法从std :: initializer_list <int>构造std :: initializer_list <int const>

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限定的U '。

据我所知，具有std::initializer_list构造函数重载的std::optional （和std::any和std::variant ）的重点是避免指定初始化列表的确切类型。 要获得上述代码的第二行进行编译，这正是您必须要做的。

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>参数的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);
    // ...
};