4

Скачал последний qt 5.3.0 c MinGW 4.8.2 и удивился. (тоже самое и с qt 5.2.0 с MinGW 4.8.0)

#include <iostream>

using namespace std;

template <typename T>
class Super{
    class A{
    protected:
        int a;
    };
    class B : public A{
        int b;
        B(){
            b = a;
        }
    };
};

int main()
{
    cout << "Hello World!" << endl;
    return 0;
}

Не работает. Выдаёт:

C:\***\main.cpp:14: ошибка: 'a' was not declared in this scope
             b = a;
                 ^

Хотя, убрать строку template <typename T>, то всё работает.

Причём приведённый выше код без изменений работает, например, в Visual Studio 2008. Это баг MinGW или же это так и надо/допустимо? Кстати, нормально работает с MinGW и если писать this->a.

5
  • А зачем так делать? Почему бы не обращаться из класса B к protected-членам A через операцию ::? Например, int B::showa() const { return A::a; }
    – andrejap
    Commented 4 июн. 2014 в 7:11
  • @andrejap: насколько я понял, суть вопроса в том, а почему обязательно так?
    – VladD
    Commented 4 июн. 2014 в 7:27
  • @G0ohan: не работает даже если поменять protected на public.
    – VladD
    Commented 4 июн. 2014 в 7:31
  • 1
    @VladD: да, такая замена не поменяет ситуации. И вы верно проинтервьюировали вопрос.
    – G0ohan
    Commented 4 июн. 2014 в 7:38
  • проверил код на доступных gcc 4.4 - 4.9 и clang 3.0-3.3. Intel компилятор (icc) справился, но похоже он просто выбросил класс в процессе оптимизации.
    – KoVadim
    Commented 4 июн. 2014 в 8:09

2 ответа 2

6

Кажется, я понял. Вот тут обсуждают похожую проблему.

В вашем случае ситуация такова. b является зависимым именем. Компилятор должен понять значение этого зависимого имени до подстановки T. (Посмотрите детали и обсуждение в этом вопросе). Поскольку он не может, разработчики стандарта решили убрать зависимые имена из области видимости внутри шаблона. Поэтому вам приходится указывать явно, что именно вам нужно.

Таким образом, баг в старом Visual Studio, их реализация не вполне соответствовала стандартам. (В новом Visual Studio уже соответствует.)

Я считаю, что язык C++ неоправданно избыточно сложен. Вы натолкнулись на одно из таких мест.

8
  • Ну тут теперь вопрос: кто же соответствует стандартам? Баг это или фича у VS? Проверил в 2012 студии, там, также как и в 2008, всё работает.
    – G0ohan
    Commented 4 июн. 2014 в 8:01
  • Хм, в 2012 работает? Насколько я понимаю, это обязан быть баг.
    – VladD
    Commented 4 июн. 2014 в 8:10
  • @VladD, нужно придумать пример, в котором VS сломается из-за этого бага. Иначе это не баг =)
    – G0ohan
    Commented 4 июн. 2014 в 8:24
  • А на мой взгляд это ошибка в GNU. Причем наведенная. Реально T вообще никак не используется в этой программе. Однако, вместо полезного (или бесполезного) warning-a компайлер ловит несуществующую ошибку (или следствие другой -- глобальной ошибки (внутренне противоречивый C++ и система стандартов)).
    – avp
    Commented 4 июн. 2014 в 8:42
  • 1
    @avp: Мне кажется, gcc прав, т. к. он следует стандарту. a есть dependent name и не доступно в контексте, в котором оно используется. Почему именно стандарт предписывает так — отдельная история. В другом вопросе есть обсуждение того, почему именно стандарт делает dependent names недоступными.
    – VladD
    Commented 4 июн. 2014 в 12:25
1

При выполнении поиска неквалифицированных имен (unqualified name lookup), в рассмотрение не включаются базовые классы, зависящие от параметров текущего шаблона. В данном случае A - это на самом деле Super<T>::A и зависит от параметра шаблона T. По этой причине имя a из базового класса A не находится компилятором.

Использование квалифицированого имени или явного синтаксиса доступа к члену класса устранит ошибку

int b = A::a;
int b = this->a; 

Это правило связанно с поиском неквалифицированных имен именно в базовых классах, а не с зависимыми именами вообще. Эта деталь почему-то не затронута в принятом ответе.

Ваш ответ

Нажимая «Отправить ответ», вы соглашаетесь с условиями пользования и подтверждаете, что прочитали политику конфиденциальности.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.