Динамическое приведение с интерфейсами

Сначала приведите к T *, затем к A:

IB *b_ptr = new T; // it's really more complicated, but serves the example
A *a_ptr = dynamic_cast<T *>(b_ptr);

Если IB в целом следует приводить к A, то, возможно, IB следует унаследовать от A.

Редактировать: Я просто попробовал это, и это работает - обратите внимание, что E неизвестен во время компиляции основного метода.

struct A
{
    virtual ~A() {}
};

struct C
{
    virtual ~C() {}
};

A* GetA();

int main()
{
    C *y = dynamic_cast<C *>(GetA());
    if (y == NULL)
        cout << "Fail!";
    else
        cout << "Ok!";
}

struct E : public A, public C
{
}; 

A* GetA() { return new E(); }

У каждого класса есть хотя бы один виртуальный метод? Если нет, то в этом твоя проблема. Добавление виртуального деструктора к каждому классу должно решить эту проблему.

У меня сработало следующее:

class IC
{
public:
    virtual ~IC() {}
};

class IB
{
public:
    virtual ~IB() {}
};

class A
{
public:
    virtual ~A() {}
    void foo() { /* stick a breakpoint here to confirm that this is called */ }
};

class T : public A, public IB, public IC 
{
public:
    virtual ~T() {}
};


int main(void)
{
    IB *b_ptr = new T;
    A *a_ptr = dynamic_cast<A *>(b_ptr);
    a_ptr->foo();
    return 0;
}

Обновлено:

Помогает ли следующее после всей новой информации и необычного поведения (ваш код должен работать!)? Я представил интерфейс под названием IObject и использовал виртуальное наследование, чтобы гарантировать, что существует только одна копия этого базового класса. Можете ли вы теперь выполнить преобразование в IObject, а затем в A?

class IObject
{
public:
    virtual ~IObject() {}
};

class IC : virtual public IObject
{
public:
    virtual ~IC() {}
};

class IB : virtual public IObject
{
public:
    virtual ~IB() {}
};

class A : virtual public IObject
{
public:
    virtual ~A() {}
    void foo() { /* stick a breakpoint here to confirm that this is called */ }
};

class T : virtual public A, virtual public IB, virtual public IC
{
public:
    virtual ~T() {}
};


int main()
{
    IB *b_ptr = new T;
    A *a_ptr = dynamic_cast<A *>( dynamic_cast<IObject *>(b_ptr) );
    a_ptr->foo();
    return 0;
}

Я не утверждаю, что это правильное решение, но оно может дать некоторую информацию о том, что происходит ...

Is there a proper way to do this? Or should I implement a work around? I've thought about having both IB and IC inherit virtually from A, but IIRC last time I tried that there were some complications that made it undesirable.

Я так понимаю, что определения IB и IC находятся под вашим контролем.

Есть способ работы COM-интерфейсов в Windows; они делают то, что вы хотите, а именно:

• Трансляция с одного интерфейса на другой
• Реализация непрозрачна для вызывающего
• Только реализация знает, какие интерфейсы она реализует.

Сделайте это, вы можете сделать что-то вроде (впереди непроверенный код) ...

interface IQueryInterface
{
  IQueryInterface* queryInterface(const Guid* interfaceId);
};

interface IB : public abstract IQueryInterface
{
  ...
};

interface IC : public abstract IQueryInterface
{
  ...
};

//within your implementation class
IQueryInterface* T::queryInterface(const Guid* interfaceId)
{
  if (matches(interfaceId,GUID_IB))
    return (IB*)this;
  if (matches(interfaceId,GUID_IC))
    return (IC*)this;
  if (matches(interfaceId,GUID_A))
    return (A*)this;
  return 0;
}

Гораздо более простая и жестко запрограммированная версия этого была бы:

class A; //forward reference
interface IB
{
  virtual A* castToA() { return 0; }
};
class T : public A, IB, IC
{
  virtual A* castToA() { return this; }
};

Я наконец понял это, Дэниел Полл был правильным в том, что "боковой dybnamic_cast" должен быть разрешен. Моя проблема заключалась в том, что мой код использует разделяемые библиотеки. Информация о типе из PluginA не была доступна в PluginB. Мое решение заключалось в том, чтобы эффективно добавить RTLD_NOW и RTLD_GLOBAL в мой процесс загрузки.

технически это было

loader.setLoadHints(QLibrary::ResolveAllSymbolsHint | QLibrary::ExportExternalSymbolsHint);

потому что я использую систему плагинов Qt, но с такой же разницей. Эти флаги заставляют все символы из загруженных библиотек немедленно разрешаться и быть видимыми для других библиотек. Таким образом, мы делаем typeinfo доступным для всех, кто в этом нуждается. dynamic_cast работал, как ожидалось, после установки этих флагов.

Меня также недавно беспокоила такая же проблема. Дополнительные сведения см. В разделе часто задаваемых вопросов GCC:

http://gcc.gnu.org/faq.html#dso

Помимо указания dlopen с помощью флагов RTLD_ *, некоторые варианты этой проблемы также могут быть решены компоновщиком, см. Его параметры -E и -Bsymbolic.