Логически правильное наследование исключений

class StackEx : public exception
{
public:
    StackEx(const char* Message = "Stack exception occurred!\n");
    virtual ~StackEx();
    const char* what();
protected:
    string Message;
};
 
class BadPop : public StackEx
{
public:
    BadPop(const char* Message  = "Bad pop exception occurred!\n");
    virtual ~BadPop();
    const char* what();
};
 
class BadPush : public StackEx
{
public:
    BadPush(const char* Message  = "Bad push exception occurred!\n", const int StackSize = -1);
    virtual ~BadPush();
    const char* what();
};

StackEx::StackEx(const char* Message) : exception(Message)
{
    this->Message = Message;
}
 
StackEx::~StackEx()
{
 
}
 
const char* StackEx::what()
{
    return Message.c_str();
}
 
BadPop::BadPop(const char* Message) : StackEx(Message)
{
 
}
 
BadPop::~BadPop()
{
 
}
 
const char* BadPop::what()
{
    return Message.c_str();
}
 
BadPush::BadPush(const char* Message, const int StackSize) : StackEx(Message)
{
        if(StackSize != -1)
        this->Message += "Stack size: " + to_string(static_cast<unsigned long long>(StackSize)) + "\n";
}
 
BadPush::~BadPush()
{
 
}
 
const char* BadPush::what()
{
    return Message.c_str();
}

catch (const SomeExceptionType& e)
{
  ...
}
catch (const SomeOtherExceptionType& e)
{
  ...
}
catch (const std::exception& e)
{
  ...
}
catch (...)
{
  ...
}

virtual const char* what() const throw();