Действительно ли это код на C++?

Question

Я просто хотел бы знать, является ли этот следующий блок кода полноценными в C++:

class A 
{ 
public: 
    virtual bool b() = 0; 
}; 

class B 
{ 
public: 
    virtual bool b() = 0; 
}; 

class C: public A, public B 
{ 
public: 
    virtual bool A::b() 
    { 
    return true; 
    } 

    virtual bool B::b() 
    { 
    return false; 
    } 
}; 

Использование VS2008 это компилируется без ошибок, однако, на GCC (MinGW) 3.4.5 это дает мне ошибки, как:

cannot declare member function `A::b' within `C' 

На линиях, где реализованы виртуальные методы. Мне было любопытно, если это обычно считается недействительным и запрещенным кодом стандартов C++ (а в VS оно работает благодаря некоторой нестандартизированной магии MS) или только ошибка или неподдерживаемая языковая функция в GCC.

Answer 1

Нет, это недействительно. Вы не можете переопределить их отдельно, потому что они будут иметь одну и ту же подпись.

Об этом есть guru of the week.

Answer 2

Квалифицированный имя A :: б не допускается в качестве имени члена класса С.

Answer 3

Он не должен компилировать из-за родителей, имеющих такое же имя функции. Кроме того, вы не должны перегружать функцию b более одного раза.

Если обратиться к виртуальной таблице, созданной для этого:

0(beginning of vtable) - A::b() -> B::b() 

Вы видите, так как класс B имеет такое же имя функции, как класс А, то она перекрывает его, таким образом, у вас есть сейчас B :: B (), чтобы переопределить (поскольку он все еще чистый). Это связано с множественным наследованием. Как бы компилятор мог различаться между ними (они имеют одну и ту же подпись)? Как правило, это не сработает, потому что, как я уже сказал, компилятор не должен принимать решения, он должен сказать вам, что есть проблема.

Он компилируется на VS, но вы попытались запустить его (включен в файл, где он фактически создан)? Иногда компилятор ленив и не вызывает ошибок в классах, которые не используются.

Answer 4

Подобно тому, как FYI, VC выдает ошибку только тогда, когда вы пытаетесь использовать b метод:

C:\temp\test.cpp(33) : error C2668: 'C::b' : ambiguous call to overloaded function 
     C:\temp\test.cpp(23): could be 'bool C::b(void)' 
     C:\temp\test.cpp(18): or  'bool C::b(void)' 
     while trying to match the argument list '(void)' 

И для чего это стоит, компилятор Комео ведет себя так же, но с сообщением еще более запутанной ошибки:

"C:\temp\test.cpp", line 33: error: no instance of overloaded function "C::b" 
      matches the argument list 
      object type is: C 
     bool z = c.b();