Странное поведение с помощью декларирования

Question

см следующего кода

struct A { using type = int; }; 
struct B : private A {}; 
struct C : B { using base_type = A; }; 

Всех НКУ 6.1, лязг 3.8 и MSVC 2015 обновления 3 отказывается компилировать это, как A не достижимое имя внутри C так A является частной базой B. Кажется, что gcc думает, что A в using base_type = A ссылается на конструктор по умолчанию A. msvc и clang - нет.

Возможно, ошибка компиляции из-за введения имен, вызванного наследств (поскольку изменение using base_type = A в using base_type = ::A сделать все компиляторы работают нормально), но я хочу знать, если эта странная ошибка, что говорит стандарт.

Более конкретно,

1. Как я понял, не так, как A::type, A это просто имя класса (хотя GCC ошибочно воспринимает его как имя функции), которая вводится в Cне внутриA ни B. Почему это имя считается закрытым для B?
2. Если эта ошибка компиляции считается ошибкой или является краевым случаем спецификаций стандарта?

Answer 1

Согласно правилу unqualified name lookup:

(курсив мой)

Для неквалифицированного имени, то есть имя, которое не отображается справа от оператора разрешения области видимости :: , поиск имени проверяет области действия, как описано ниже, до тех пор, пока не найдет хотя бы одно объявление любого типа, , после чего поиск останавливается и дальнейшие области не рассматриваются.

Таким образом, имя A будет найдено во-первых в области базового класса, имя в глобальном пространстве имен здесь не рассматривается. После этого выполняется проверка прав доступа, а затем сбой компиляции.

И ::A определяет имя в глобальном масштабе и решает проблему, которая делает ее qualified name lookup.

Answer 2

проводки мой комментарий как ответ (кажется, ответ более чем комментарий):

Я предполагаю, что это происходит из-за того, как поиск имен для A внутри C работ. Сначала он проверяет, не объявлено ли что-либо с именем A в области C перед использованием. Поскольку он не находит его, он проверяет его в области B, так как это базовый класс. И в случае он не находит A в области Bs, он будет смотреть в global namespace. Но почему-то частное наследование A на B прекращается при втором поиске i.e внутри области B. Поскольку он работает с использованием имени fully qualified, это заставляет меня думать, что реальная проблема должна быть в том же ключе.