할당 연산자가 빈 inizializer_list에 있음

Question

STL 컨테이너가 빈 이니셜 라이저 목록이있는 대입 연산자를 처리하는 방법을 설명 할 수 있습니까?

나는 같은 것을 할 것입니다 때 다른 한편으로

vector& operator= (vector&& x); 

:

vector<int> v; 
v = { }; 

호출되는 함수입니다 하지 :

vector& operator= (initializer_list<value_type> il); 

하지만를 , 내 자신의 수업과 비슷한 것을 할 때 :

struct A { 
    A& operator= (const A&) { return *this; } 
    A& operator= (A&&) { return *this; } 
    A& operator= (initializer_list<int>) { return *this; } 
}; 

/* ... */ 

A a; 
a = { }; 

코드는 VS2013에서 컴파일하고 말한다하지 않습니다 목록이 비어 있지

error C2593: 'operator =' is ambiguous 

경우, 잘 작동, 그냥 초기화 목록과 함수를 호출합니다. 문제는 목록이 비어있을 때만 나타납니다. 벡터에서 rvalue 할당 연산자를 호출합니다. 클래스에 오류가 발생합니다.

이 상황이 벡터 및 다른 컨테이너에서 어떻게 처리됩니까?

Answer 1

이 버그 그 소리 (see it live) 및 GCC (see it live)을 표준 : initializer_list 과부하가이 정확히 일치 때문에 올바른 보이는이 프로그램을 수용하고 선택 것으로 보인다,이입니다

void f(std::initializer_list<int>); 
f({1,2,3}); // OK: f(initializer_list<int>) identity conversion 
f({’a’,’b’}); // OK: f(initializer_list<int>) integral promotion 
f({1.0}); // error: narrowing 

,691,363 :이 예에서 섹션 C++ draft standard 부 13.3.3.1.5 리스트 초기화 시퀀스 2 항 에 덮여210

신원 전환은 정확히 일치입니다. 우리는 제 가 말한다 이동 기준 과부하

(강조 광산 앞으로 예정) : 매개 변수가 참조 인 경우

그렇지 않으면, 13.3.3.1.4을 참조하십시오. [참고 : 이 섹션의 규칙은 참조에 대한 기본 임시를 초기화하는 데 적용됩니다. -end note]

은 임시로 생성 된 것을 나타내며 그 결과 임시로 규칙을 적용 할 수 있습니다. 이는 사용자 정의 변환이며 일치 검색보다 나쁩니다.

이렇게 모호하지 않아야합니다.

• Compiler confused about whether to use a initializer_list assignment operator
• VC++ 12 RC fails to choose between initializer_list enabled assignment operator and canonical one for std::pair list elements