Возможный баг в компиляторе MSVC 2013

[Racheengel]

Всем привет...
Наткнулся на странную вещь, которую иначе как багом компилятора, объяснить трудно.

Есть 2 интерфейса, IName и ITaskName. Оба имеют одинаковый метод GetName:

class IName{
public:
virtual QString GetName() const = 0;
}

class ITaskName{
public:
virtual QString GetName() const = 0;
}

Для IName существует имплементация CName:

Код:

class CName: virtual public IName{
public:
virtual QString GetName() const { return m_name; }
}

И есть имплементация для ITaskName, которая отнаследована также от CName:

Код:

class CTask: virtual public CName, virtual public ITaskName
{
public:
using CName::GetName;
}

Вроде бы все ок - проблема неоднозначности родителя решается через виртуальное наследование + конкретное указание наследованного метода через using . Однако компилятор упорно сообщает, что не может создать абстракный класс CTask.

Решается эта проблема следующим костылем:

Код:

class CTask
...
virtual const QString GetName() const { return CName::GetName(); }
...

но в таком случае возникает вопрос - а что не так с using CName::GetName; 

[__Heaven__]

Решается эта проблема следующим костылем:

Код:

class CTask
...
virtual const QString GetName() const { return CName::GetName(); }
...

Мне кажется, что таким образом перегружается метод ITaskName::GetName, который в интерфейсе объявлен чистым виртуальным. Без объявления экземпляров класса CTask, вроде, должно всё скомпилироваться, а сам CTask будет являться абстрактным классом.

[Авварон]

В гцц та же проблема. АФАИК, это не имеет ничего общего с виртуальным наследованием - оно призвано решать проблему ромбовидного наследования (а точнее, когда один и тот же базовый класс встречается в двух ветвях иерархии). Здесь же ситуация другая - есть разные классы (но с одноименными методами).

[__Heaven__]

В gcc нет такой проблемы. пруф

[Авварон]

В 4.8.4 есть:

/usr/bin/g++ --version
g++ (Ubuntu 4.8.4-2ubuntu1~14.04.3) 4.8.4

/usr/bin/g++ -g -O0 -Wall -Wextra -m64 -pipe -fexceptions -fvisibility=default -fPIC -DQT_DEPRECATED_WARNINGS -DQT_CORE_LIB -I/home/abbapoh/Qt/5.9/gcc_64/include -I/home/abbapoh/Qt/5.9/gcc_64/include/QtCore -I/home/abbapoh/Qt/5.9/gcc_64/mkspecs/linux-g++ -I/home/abbapoh/programming/build-cpptest-Desktop_Qt_5_9_0_GCC_64bit-Debug/qtc_Desktop__baa544a4-debug/cpptest.qtc-Desktop--baa544a4.063e55c3/qt.headers -std=c++0x -o /home/abbapoh/programming/build-cpptest-Desktop_Qt_5_9_0_GCC_64bit-Debug/qtc_Desktop__baa544a4-debug/cpptest.qtc-Desktop--baa544a4.063e55c3/.obj/3a52ce780950d4d9/main.cpp.o -c /home/abbapoh/programming/cpptest/main.cpp
/home/abbapoh/programming/cpptest/main.cpp: In function ‘void g()’:
/home/abbapoh/programming/cpptest/main.cpp:43:8: warning: unused variable ‘dr’ [-Wunused-variable]
     D& dr = dynamic_cast<D&>(*bp); // fails
        ^
/home/abbapoh/programming/cpptest/main.cpp: In function ‘int main(int, char**)’:
/home/abbapoh/programming/cpptest/main.cpp:75:11: error: cannot declare variable ‘t’ to be of abstract type ‘CTask’
     CTask t;
           ^
/home/abbapoh/programming/cpptest/main.cpp:65:7: note:   because the following virtual functions are pure within ‘CTask’:
 class CTask: virtual public CName, virtual public ITaskName
       ^
/home/abbapoh/programming/cpptest/main.cpp:57:17: note:    virtual QString ITaskName::GetName() const
 virtual QString GetName() const = 0;
                 ^

[Авварон]

В gcc нет такой проблемы. пруф

Лол, ну вы бы хоть инстанс класса бы создали

Проверил - gcc, clang и icc не хавают. Ни одна из версий.

[__Heaven__]

Эта диагностика показывает о попытке создать экземпляр/разыменовать указатель на абстрактный класс

[__Heaven__]

Более простым для восприятия кодом

Код

C++ (Qt)
#include <iostream>
 
class IPrint {
	public:
	virtual void print() = 0;
};
 
class Print: public IPrint {
};
 
 
int main() {
	IPrint t;
	return 0;
}

prog.cpp: In function ‘int main()’:
prog.cpp:13:9: error: cannot declare variable ‘t’ to be of abstract type ‘IPrint’
  IPrint t;
         ^
prog.cpp:3:7: note:   because the following virtual functions are pure within ‘IPrint’:
 class IPrint {
       ^~~~~~
prog.cpp:5:15: note:    virtual void IPrint::print()
  virtual void print() = 0;
               ^~~~~

[Авварон]

Ииии? У топикстартера именно эта проблема и есть:

Однако компилятор упорно сообщает, что не может создать абстракный класс CTask.

[__Heaven__]

В gcc нет такой проблемы. пруф

Класс создан (объявлен). Создать экземпляр абстрактного класса невозможно в соответствии со стандартом c++.

[Авварон]

Рукалицо.

[__Heaven__]

Что не так?

[Igors]

Не понял

Код:

class CTask: virtual public CName, virtual public ITaskName
{
public:
using CName::GetName;
}

ITaskName базовый, имеет чистый виртуал, т.е. этот слот в VMT должен быть заполнен. С какой стати туда должно подставляться что-то автоматом?  Ну и вообще, как-то "нездорово"

[Racheengel]

ITaskName это интерфейс, "чисто абстрактный" класс.
Поэтому автоматом ничего и не создается - он служит только для предоставления доступа к перегруженным методам имплементаций.

А CTask - это конкретная имплементация, которая наследована от базового CName, имеющего тот же метод, что и ITaskName, на уровне объявления интерфейса.

Я так понимаю, что проблема в том, что базовые классы ITaskName и IName не имеют общего предка, объявляющего метод GetName. Но разве это не должно разруливаться на этапе линковки, т.к. оба метода на уровне интерфейсов - абстрактны? Тем более CName уже помещает в виртуальную таблицу свой CName::GetName, не понятно, почему линкер не может связать ITaskName::GetName с CName::GetName по одинаковым сигнатурам.

[__Heaven__]

Racheengel, дело в том, что CTask содержит не одну виртуальную таблицу, а две, в каждой из которой имеется адрес на метод GetName и адреса напротив них записываются разные.