템플릿이 아닌 컨텍스트에서 배열 참조 매개 변수에 대한 Initializer_list

Question

내 질문은 배열 참조 매개 변수를 수락하는 두 개의 비 템플릿 함수간에 과부하 해결을 시도하는 매우 간단하고 짧은 코드와 관련이 있습니다. 질문은 다른 곳에 게시되었지만 템플릿 추론 컨텍스트에 게시되었습니다.

#include <iostream> 

void foo (const int (&x) [3]) { std::cout << "3\n"; } 
void foo (const int (&x) [2]) { std::cout << "2\n"; } 

int main() 
{ 
    foo({1,2,3}); 
} 

그램 ++ 4.8.3 (내 생각)으로 연타 3.4하면서 , 유일한 생존을 첫 번째 기능을 선택이 코드는 foo에 대한 호출이 모호 말하는, 그것을 컴파일되지 않습니다 컴파일 (다음은 코드는 왜?).

옳은 일을하는 컴파일러는 무엇입니까?

clang은 두 번째 오버로드를 제거하는 코드도 컴파일하지 않습니다. initializer_list가 단순히 배열 참조를 초기화하는 것으로 받아 들여지지 않는 것처럼 보입니다.

이 버그가 있습니까?

Answer 1

나는 GCC의 행동이 더 유용하지만, 그것은의를 위해 올바른 행동을 연타 있다고 생각 C++ 11 :

13.3.3.1.5 목록 초기화 순서 [over.ics.list] 파라미터 타입 std::initializer_list<X> 또는 암시 X으로 변환 할 수 있고, 이니셜리스트의 모든 요소 「X 배열 "이면

2 암시 적 변환 시퀀스 X 상기리스트의 요소를 변환해야 최악의 변환은 .

이 변환 시퀀스는 배열 길이에 아무런주의를 기울이지 않습니다. 두 함수 모두 과부하는 ID 변환 인 암시 적 변환 시퀀스를 제공합니다. 둘 다 int의 배열에 대한 참조를 취하고 함수 인수의 각 요소는 int입니다.

과부하 해상도는 두 개의 정체성 변환을보고, 표준이 동일 순위의 전환을 충돌을 해결하기위한 몇 가지 예외를 가지고 있지만, 배열의 길이에 주목 아무도 없다 :

13.3. 3.2 순위 암시 적 변환 시퀀스 [over.ics.rank]

다음 규칙들 중 하나가 적용되지 않는 동일한 형태의 두 암시 적 변환 서열 3 구별 변환 시퀀스이다 :

다음에는 배열을 전혀 언급하지 않은 목록이옵니다.

Jonathan Wakely는 이후 변경되었다고 지적합니다. 귀하의 질문은 바로 그 변화를 촉발시킨 것이며, 해당 DR은 #1307입니다. C++ 14에서는 코드가 유효하지만 C++ 11에서는 유효하지 않습니다.

Answer 2

DR 1232 이니셜 라이저 목록에서 참조 매개 변수에 대한 매개 변수가있는 호출 함수를 허용하도록 C++ 11이 변경되었습니다. (작업 보고서의 변경 내용은 N3262에 나와 있습니다.) 테스트 된 모든 컴파일러는 해당 규칙을 구현합니다.

DR1307 그런 다음 동일한 문구가 다시 변경되어 발견 된 모호성을 해결합니다.귀하의 코드는 GCC 및 EDG 컴파일러에서 허용되므로 Clang이 해당 DR을 아직 구현하지 않았다고 가정합니다.

DR이 해결 된 후에도 foo({1, 2})은 여전히 ​​모호하며 모든 컴파일러에서 거부됩니다. 그 이유는 {1, 2}는 (분명히)이 const int(&)[2] 매개 변수에 바인딩 할 수 있지만 int는 기본적으로 작도 때문에 그것은 또한 const int(&)[3] 매개 변수에 바인딩 할 수 있다는 것입니다, 그래서 {1, 2, int()} 즉 {1, 2, 0}