Ошибка при работе с std::exception*

@orange_fox · Регистрация: 06.04.2014

Студворк — интернет-сервис помощи студентам

Почему в случаях 1 и 3 выводится нормальный e.what(), а во втором - ошибочный? Как это исправить?

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
#include <iostream>
#include <stdexcept>
#include <sstream>
#include <string>
 
using namespace std;
 
struct testException : public exception
{
    testException() : exception("Test"){}
};
 
struct intException: public exception
{
    intException(int N){
        ostringstream os;
        os << "int: " << N;
        str = os.str();
    }
    virtual const char* what() const throw(){
        return str.c_str();
    }
    string str;
};
 
int main()
{
    //===========================1==========================//
    try{
        testException e;
        exception* ePtr = &e;
        throw *ePtr;
    }
    catch (exception& e)
    {
        //e.what() == "Test"
        cout << "std::exception:\t" << e.what() << endl;
    }
    catch (...){
        cout << "Catched unknown exception" << endl;
    }
    //===========================2===========================//
 
    try{
        intException e(13);
        exception* ePtr = &e;
        throw *ePtr;
    }
    catch (exception& e)
    {
        //e.what() == "Unknown exception"
        cout << "std::exception:\t" << e.what() << endl;
    }
    catch (...){
        cout << "Catched unknown exception" << endl;
    }
    //===========================3===========================//
 
    try{
        throw intException(13);
    }
    catch (exception& e)
    {
        //e.what() == "int: 13"
        cout << "std::exception:\t" << e.what() << endl;
    }
    catch (...){
        cout << "Catched unknown exception" << endl;
    }
    //=======================================================//
    system("pause");
}

@DrOffset · 16.02.2015, 23:51

Сообщение от orange_fox

Почему в случаях 1 и 3 выводится нормальный e.what(), а во втором - ошибочный?

Потому что "срезка".
В С++ копирование объектов по значению не полиморфно.

Сообщение от orange_fox

Как это исправить?

Не делать так.

@orange_fox · 16.02.2015, 23:56 **[ТС]**

DrOffset, Так я ж вроде не копировал(по значению)...

Tulosba · 17.02.2015, 00:00

Во-первых, код не валидный с точки зрения Стандарта (т.е. не компилируется в gcc например). В частности из-за отсутствия конструктора std::exception, принимающего строку.
Во-вторых, как уже упомянул DrOffset, при разыменовании указателя получаешь срезку.
Чтобы исправить, вызови в intException соответствующий конструктор для std::exception:

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
struct intException : public exception
{
    intException(int N)
        : exception( name(N).c_str() ) { }
 
private:
    static std::string name(int N) 
    { 
        ostringstream os;
        os << "int: " << N;
        return os.str();
    }
};

@DrOffset · 17.02.2015, 00:13

Сообщение от orange_fox

Так я ж вроде не копировал(по значению)

Копирует throw.

C++
1
2
3
4
5
6
7
8
9
10
try{
    intException e(13);
    exception* ePtr = &e;
    throw *ePtr; // <-   *ePtr тут копируется, исходный тип exception, следовательно копируется только содержимое exception, получаем срезку.
}
catch (exception& e)
{
    //e.what() == "Unknown exception"
    cout << "std::exception:\t" << e.what() << endl;
}

@orange_fox · 17.02.2015, 00:15 **[ТС]**

Сообщение от Tulosba

Во-вторых, как уже упомянул DrOffset, при разыменовании указателя получаешь срезку.

Если при разыменовании происходит срезка, то почему этот код выводит ошибку нормально?

C++
1
2
3
4
    intException e(13);
    exception* ePtr = &e;
    cout << ePtr->what() << endl; //"int: 13"
    cout << (*ePtr).what() << endl;//"int: 13"

@DrOffset · 17.02.2015, 00:17

Сообщение от orange_fox

Если при разыменовании происходит срезка, то почему этот код выводит ошибку нормально?

Срезка происходит при копировании, а не при разыменовании. Операция throw копирует исключение.

@orange_fox · 17.02.2015, 00:20 **[ТС]**

Сообщение от DrOffset

Не делать так.

А так можно делать? Вроде работает и срезки не должно быть.

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
    intException e(13);
    exception* ePtr = &e;
 
    try{
        throw ePtr;
    }
    catch (exception* e)
    {
        //e.what() == "int: 13"
        cout << "std::exception*:\t" << e->what() << endl;
    }
    catch (exception& e)
    {
        cout << "std::exception:\t" << e.what() << endl;
    }
    catch (...){
        cout << "Catched unknown exception" << endl;
    }

@DrOffset · 17.02.2015, 00:28

Сообщение от orange_fox

почему этот код выводит ошибку нормально?

Потому что полиморфизм в С++ работает со ссылками. А разыменование в данном случае дает тип

C++
1
exception &

следовательно получаем полиморфный вызов what().

Добавлено через 2 минуты

Сообщение от orange_fox

А так можно делать?

Можно, не бессмысленно. В реальной ситуации в контексте выполнения, где было брошено исключение не остается живых объектов (раскрутка стека ведь). Поэтому для того, чтобы это гарантированно работало, нужно вносить в код специальные изменения. Следить за временем жизни intException e. Такой код неинтуитивный и потенциально ошибкоопасный. Но делать можно, да.

Добавлено через 4 минуты
orange_fox, Вот. И вообще книгу эту (Стандарты программирования на C++) советую прочитать. И другие на эту тему (Саттер, Мейерс).

Новые блоги и статьи Все статьи Все блоги /
Blazor и контроллер сервопривода IoT Meadow Maple Wired 11.07.2025 Я решил разобраться, как можно соединить современные веб-технологии с миром "железа". Интересная комбинация получилась из Blazor в качестве веб-интерфейса и микроконтроллера Meadow с его веб-сервером. . .	Генерация OpenQASM из кода Q# EggHead 10.07.2025 Летом 2024-го я начал эксперименты с библиотекой Q# Bridge, и знаете что? Она оказалась просто находкой для тех, кто работает на стыке разных квантовых экосистем. Основная фишка этой библиотеки -. . .	Изучаем новый шаблон ИИ-чата .NET AI Chat Web App stackOverflow 10.07.2025 В . NET появилось интересное обновление - новый шаблон ИИ-чата под названием . NET AI Chat Web App. Когда я впервые наткнулся на анонс этого шаблона, то сразу понял, что Microsoft наконец-то. . .	Результаты исследования от команды ARP (июль 2025 г.) Programma_Boinc 10.07.2025 Результаты исследования от команды ARP (июль 2025 г. ) Африканский проект по дождям (ARP) World Community Grid снова запущен! Мы рады поделиться обновленной информацией о нашем прогрессе с осени. . .	Angular vs Svelte - что лучше? Reangularity 09.07.2025 Сегодня рынок разделился на несколько четких категорий: тяжеловесы корпоративного уровня (Angular), гибкие универсалы (React), прогрессивные решения (Vue) и новая волна компилируемых фреймворков. . .
Code First и Database First в Entity Framework UnmanagedCoder 09.07.2025 Entity Framework дает нам свободу выбора, предлагая как Code First, так и Database First подходы. Но эта свобода порождает вечный вопрос — какой подход выбрать? Entity Framework — это. . .	Как использовать Bluetooth-модуль HC-05 с Arduino Wired 08.07.2025 Bluetooth - это технология, созданная чтобы заменить кабельные соединения. Обычно ее используют для связи небольших устройств: мобильных телефонов, ноутбуков, наушников и т. д. Работает она на частоте. . .	Руководство по структурам данных Python AI_Generated 08.07.2025 Я отчетливо помню свои первые серьезные проекты на Python - я писал код, он работал, заказчики были относительно довольны. Но однажды мой наставник, взглянув на мою реализацию поиска по огромному. . .	Тестирование энергоэффективности и скорости вычислений видеокарт в BOINC проектах Programma_Boinc 08.07.2025 Тестирование энергоэффективности и скорости вычислений видеокарт в BOINC проектах Опубликовано: 07. 07. 2025 Рубрика: Uncategorized Автор: AlexA Статья размещается на сайте с разрешения. . .	Раскрываем внутренние механики Android с помощью контекста и манифеста mobDevWorks 07.07.2025 Каждый Android-разработчик сталкивается с Context и манифестом буквально в первый день работы. Но много ли мы задумываемся о том, что скрывается за этими обыденными элементами? Я, честно говоря,. . .

@orange_fox 34 / 34 / 8 Регистрация: 06.04.2014 Сообщений: 189
	16.02.2015, 23:56 [ТС]
	DrOffset, Так я ж вроде не копировал(по значению)... 0

Ошибка при работе с std::exception*

Решение