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! 

我承担语言规范要求推导非CV合格U的对于std::initializer_list<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>参数的构造函数。例如，没有一个标准库容器可以做，因为无论如何cv限定的值类型都是非法的（除非是std::array，当然，它无论如何都没有用户定义的构造函数）。

如果你写你自己的类型MyContainer支持MyContainer<T const>，那么我建议你使它看起来像下面这样：

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