std :: initializer_list <int const> std :: initializer_list에서 생성 할 수 없습니다 <int>

Question

제 질문은 std::initializer_list 유형 사이의 변환이 부족하다는 것입니다. 제 질문은 이러한 변환이 쉽게 수행 할 수있을 때 포함 된 유형이 어느 정도 자격이 있는지입니다. 이제 std::optional을 고려하고 말도 유형 무시

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

: 언어 스펙이 아닌 이력서는 U 년대 자격을 추론 필요

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>입니다.

는 지금까지 내가 말할 수있는, std::initializer_list 생성자 오버로드를 가진 std::optional (그리고 std::any 및 std::variant)의 전체 포인트는 초기화 목록의 정확한 유형을 지정하지 않도록하는 것입니다. 위 코드의 두 번째 줄을 컴파일하려면, 정확히 수행해야합니다.

std::initializer_list은 이미 데이터 (libc++에 있음)에 이미 const*을 보유하고 있습니다. 위의 코드가 작동하지 않는 것을 볼 수있는 이유는 무엇입니까? 이 문제가 언어에서 해결 가능한 문제입니까, 아니면 뭔가 빠졌습니까?

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의 경우 제외).

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