В ходе дискуссии пришли к такой программе:
#include <iostream>
using namespace std;
class A
{
protected:
int var;
public:
A(int x)
{
var = x; // Это обращение к A::var
}
};
class B: public A
{
protected:
int var;
public:
B():A(2)
{
var = 4; // Обращение к B::var
}
};
class C: public A
{
protected:
int var;
public:
C():A(3)
{
var = 6; // Обращение к C::var
}
};
class D: public B, public C
{
protected:
int var;
public:
void method()
{
var = B::A::var; // Должен выдать 2
cout << var << endl;
var = C::A::var; // Должен выдать 3
cout << var << endl;
var = B::var; // Должен выдать 4
cout << var << endl;
var = C::var; // Должен выдать 6
cout << var << endl;
}
};
int main()
{
D obj;
obj.method();
}
Программа отлично компилируется и выводит то, что и ожидалось - в Visual C++ 2015. Попытка скомпилировать с помощью GCC на ideone.com дает массу ошибок:
prog.cpp: In member function 'void D::method()':
prog.cpp:46:21: error: 'A' is an ambiguous base of 'D'
var = B::A::var; // Должен выдать 2
^
prog.cpp:49:21: error: 'A' is an ambiguous base of 'D'
var = C::A::var; // Должен выдать 3
^
Вопрос к знатокам стандарта - кто тут неправ, а кто прав? Если неправ VC++, то в чем, почему и как надо поступать правильно?
Update 22.10.2016
Пожалуй, наиболее переносимо будет не полагаться на name lookup, а воспользоваться преобразованиями в духе
var = static_cast<A*>(static_cast<B*>(this))->var;
var = ((A*)(C*)this)->var;
Но при этом нужно делать var
в A
public
'ом. (Опять же не понимаю, почему и где на это ссылка в стандарте...) Полный код тут - http://ideone.com/wt9yrz