oop — что делают условные выражения с полиморфными объектами в C ++? (включение полиморфизма)

Question

oop — что делают условные выражения с полиморфными объектами в C ++? (включение полиморфизма)

Я столкнулся с интересной ошибкой, и я почти уверен, что это связано с полиморфизмом включения в контексте условных операторов.

Основные моменты примера следующие:

   ClassParent *parentPointer; //Declare pointer to parent

if(condition){
ClassChild1   = mychild; //Declare child1 object
parentPointer = *mychild;//Parent pointer points to child
}

if(!condition){
ClassChild2   = mychild; //Declare child2
parentPointer = *mychild;//Parent pointer points to child2
}

cout << *parentPointer; //What will this point to???

Как должно быть понятно, условные операторы делают переменную * parentPointer в последней строке.

Вся моя функция выглядит следующим образом: (обратите внимание, где она упала)

    void PosApp::addItem(bool isPerishable) {
Item *refitem;

if (isPerishable) {
Perishable myitem;
std::cout   << "Enter the following: "  << std::endl
<< "Sku: "                  << std::endl
<< "Name:"                  << std::endl
<< "Price: "                << std::endl
<< "Taxed: "                << std::endl
<< "Quantity: "             << std::endl
<< "Expiry date: "          << std::endl;

std::cin    >> myitem;
refitem = &myitem; //Item now implements inclusion polymorphism,  be aware of dynamic/static types (dynamic is item, static Perishable)
}

if (!isPerishable) {
NonPerishable myitem;
std::cout   << "Enter the following: "  << std::endl
<< "Sku: "                  << std::endl
<< "Name:"                  << std::endl
<< "Price: "                << std::endl
<< "Taxed: "                << std::endl
<< "Quantity: "             << std::endl;

std::cin    >> myitem;
refitem = &myitem; //Item now implements inclusion polymorphism,  be aware of dynamic/static types (dynamic is item, static NonPerishable)}

if (cin.fail()) {//The inclusion polymorphism allows me to call this block only once regardless of persh/non-perishable
cin.clear();
cin.ignore(2000, '\n');

//CRASH POINT***********
cout << "Error: " << *refitem << endl;//Be aware of early/late binding, the write/dowrite must be child calls, not parent.
}}

Теперь очень интересная вещь, когда убрал if () на cin.fail и вызвал ошибку при вводе, это работает. Код выглядит сейчас так:

    void PosApp::addItem(bool isPerishable) {
Item *refitem;if (!isPerishable) {
NonPerishable myitem;
std::cout   << "Enter the following: "  << std::endl
<< "Sku: "                  << std::endl
<< "Name:"                  << std::endl
<< "Price: "                << std::endl
<< "Taxed: "                << std::endl
<< "Quantity: "             << std::endl;

std::cin    >> myitem;
refitem = &myitem; //Item now implements inclusion polymorphism,  be aware of dynamic/static types (dynamic is item, static NonPerishable)cin.clear();
cin.ignore(2000, '\n');

//THIS DOES NOT CRASH NOW
cout << "Error: " << *refitem << endl;//Be aware of early/late binding, the write/dowrite must be child calls, not parent.}

Наилучший ответ, который я мог бы придумать с точки зрения сбоя, заключается в том, что каким-то образом, когда область действия разрешается в первом фрагменте кода, программа теряет содержимое указателя.

Этот вопрос имеет два аспекта: можете ли вы реализовать полиморфизм включения в контексте условных выражений (как показано на рисунке), и если нет, то это вызвало сбой моей программы?

Примечание: я не включил всю программу (потому что это сотни строк), но достаточно сказать, что когда я переключился на код во втором фрагменте, поведение должно быть таким, как и следовало ожидать.

0

c++conditional inclusion oop polymorphism

Решение

Другие решения

Других решений пока нет …

Источник

Accepted Answer

Объекты с автоматическим хранением являются локальными для { } брекеты вокруг них, в том числе if заявление. Если у вас есть указатель на локальный объект, и объект выходит из области видимости, доступ к этому указателю — UB.

Object* ptr;
if (condition)
{
Object obj;
ptr = &obj;
} //obj is out of scope
*ptr; //undefined behaviour

Это то, что вы делаете с настройкой refitem указывать на местные объекты. Вместо этого создайте Perishable* или же NonPerishable* используя newи, когда блок заканчивается, присвойте этот указатель refitem, Полиморфизм будет работать так, как вы ожидаете, ошибка была только областью действия объектов.

if (!isPerishable)
{
NonPerishable* myitem = new NonPerishable(); //dynamic memory
std::cin >> *myitem;
refitem = myitem; //refitem is still valid after this scope ends
}

5