Разрешение перегрузки/Неоднозначность поиск имен (который один)

Question

$ 7.3.3/14 (C++ 03)

struct A { int x(); }; 
struct B : A { }; 
struct C : A { 
    using A::x; 
    int x(int); 
}; 
struct D : B, C { 
    using C::x; 
    int x(double); 
}; 
int f(D* d) { 
    return d->x(); // ambiguous: B::x or C::x 
} 

Комментарий в коде в 'F' указывает на то, что можно ожидать неоднозначность между «B :: x 'или' C :: x '.

Однако при компиляции с g ++ (ideone) или Comeau ошибки несколько отличаются. Эти ошибки вместо индикации неоднозначность в B :: х или C :: х указывают на тот факт, что А является неоднозначным база D

prog.cpp: In function ‘int f(D*)’: prog.cpp:16: error: ‘A’ is an ambiguous base of ‘D’

И

"ComeauTest.c", line 21: error: base class "A" is ambiguous return d->x(); // ambiguous: B::x or C::x

Переход по правилам поиска имен в $ 10.2 , Я чувствую, что комментарий в фрагменте кода не совсем правильный. Ошибка действительно в первую очередь связана с двусмысленностью базового класса «А», а не с чем-либо еще (например, двусмысленность в разрешении перегрузки). Есть предположения?

Answer 1

Это вызвано поворотом на имя-поиске в C++ 03: Проверка для однозначного подобъекта была частью члена класса поиск имени в C++ 03. Поиск в C++ 03 найдет D :: X и C :: x и A :: x, где A :: x совпадает, но связан с двумя отдельными подобъектами типа A.

В C++ 0x , проверка для однозначного подобъекта теперь является частью соответствующих подразделов см DR #39: классом, где x непосредственно членом является неоднозначной базой - так пункт 5 вызовет ошибку компиляции, вместо пункта 10.

Обратите внимание, что в комментарии говорится о подобъектах A. Существует один подобъект A, который проходит по пути B и еще один подобъект A, который проходит по пути C. Вот почему в комментарии говорится: «B::x или C::x». Наличие нескольких подобъектов одного и того же типа класса можно определить, просто попытавшись преобразовать его в тип класса, игнорируя проблемы доступности: если преобразование неоднозначно, подобъект появляется несколько раз.

Answer 2

Clang ++ дает несколько комбинации ошибок, полученной г ++ и Коей

C:\Users\SUPER USER\Desktop>clang++ chubsdad.cpp 
chubsdad.cpp(12) : error: ambiguous conversion from derived class 'D' to base class 
     'A': 
    struct D -> struct B -> struct A 
    struct D -> struct C -> struct A 
    return d->x(); // ambiguous: B::x or C::x 
     ^
1 error generated.