Поделиться через


Предупреждение компилятора (уровень 1 и уровень 4, выключен) C4437

dynamic_cast Переход от виртуальной базовой "base_class" к "derived_class" может не сработать в некоторых случаях

Замечания

Это предупреждение отключено по умолчанию. Дополнительные сведения см. в разделе Compiler Warnings That Are Off by Default.

Операция dynamic_cast используется в следующих случаях:

  • Приведение выполняется из указателя базового класса на указатель производного класса.
  • Производный класс практически наследует базовый класс.
  • Производный vtordisp класс не имеет поля для виртуальной базы.
  • Приведение найдено в конструкторе или деструкторе производного класса или в классе, который наследуется от производного класса. В противном случае предупреждение компилятора C4436 выдается вместо предупреждения C4435.

Это предупреждение указывает, что dynamic_cast может не выполняться правильно при применении к частично созданному объекту. Эта ситуация возникает, когда обрамляющая функция вызывается из конструктора или деструктора класса, который наследуется от derived_class. Вы можете игнорировать ошибку, если derived_class никогда не используется в дальнейшем наследовании, или если инкапсулирующая функция не вызывается во время создания или уничтожения объектов.

Пример

В следующем примере создается C4437 и демонстрируется проблема создания кода, возникающая из отсутствующих vtordisp полей:

// C4437.cpp
// To see the warning and runtime assert, compile with: /W4
// To eliminate the warning and assert, compile with: /W4 /vd2
//       or compile with: /W4 /DFIX
#pragma warning(default : 4437)
#include <cassert>

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

#if defined(FIX)
#pragma vtordisp(push, 2)
#endif
struct B : virtual A
{
    B()
    {
        func();
    }

    void func()
    {
        A* a = static_cast<A*>(this);
        B* b = dynamic_cast<B*>(a);     // C4437
        assert(this == b);              // assert unless compiled with /vd2
    }
};
#if defined(FIX)
#pragma vtordisp(pop)
#endif

struct C : B
{
    int i;
};

int main()
{
    C c;
}

См. также

dynamic_castОператор
vtordisp
Предупреждение компилятора (уровень 1) C4436