Зачем в данном коде виртуальный диструктор и throw()?

[8Observer8]

Привет! У меня есть такой код:

Код

C++ (Qt)
class LogicError : public std::logic_error {
public:
 
    LogicError( ) : std::logic_error( "" ) {
 
    }
 
    virtual const char *what( ) const throw( ) {
        return m_message.c_str( );
    }
 
    virtual ~LogicError( ) throw( ) {
 
    }
 
protected:
    std::string m_message;
};
 

Поясните, пожалуйста, почему компилятор требует:
1) Виртуальный деструктор
2) Наличие throw() в виртуальном деструкторе
3) Наличие throw() в методе what( )

[Vamireh]

потому что они перегружаются из класса logic_error и требуют точного соблюдения сигнатуры

[8Observer8]

Спасибо за ответ! Я так понял, что надо было мне смотреть на базовый класс под названием std::exception. А std::logic_error наследует what() и виртуальный деструктор: http://www.cplusplus.com/reference/exception/exception/

Причём компилятор заставляет переопределять виртуальный деструктор и пишет:

looser throw specifier for 'virtual LogicError::~LogicError()'
 class LogicError : public std::logic_error {
        ^

И я понял - почему. Если бы мы "понадеялись" на деструктор базового класса, то LogicError не был бы полностью уничтожен.

Вот только не могу понять, почему std::logic_error не переопределяет виртуальный деструктор? http://www.cplusplus.com/reference/stdexcept/logic_error/

[OKTA]

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

[8Observer8]

С методами - да. А вот получается из примера выше, что виртуальный деструктор обязательно надо переопределять, хотя он и не чисто виртуальный.

Вопрос: почему std::logic_error не переопределяет виртуальный деструктор базового класса std::exception? http://www.cplusplus.com/reference/stdexcept/logic_error/

P.S. Хотя может просто не написали в справке. Либо я что-то не понимаю.

[OKTA]

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

[OKTA]

Вот в таком случае деструктор надо обязательно переопределять

Код:

class A {
public:
    virtual ~A() = 0;

};
A::~A() {
    qDebug() << "Destroy A";
}

class B : public A {
public:
    ~B() {
        qDebug() << "Destroy B";
    }

};

[8Observer8]

Он мне выдаёт ошибку, если я не переопределяю.

[OKTA]

А какой компилятор?? Даже такой код не компилируется? 

Код:

class A : public std::logic_error{



};

[8Observer8]

Компилятор - тот что идёт со сборкой: ... for Windows 32-bit (MinGW 4.8.2, OpenGL)

Если в следующем примере раскомментировать код, то всё работает, с комментариями - нет.

Говорит, что:

main.cpp:6: error: looser throw specifier for 'virtual LogicError::~LogicError()'
 class LogicError : public std::logic_error {
        ^

Код

C++ (Qt)
 
#include <stdexcept>
#include <string>
#include <iostream>
 
class LogicError : public std::logic_error {
public:
 
    LogicError( ) : std::logic_error( "" ) {
 
    }
 
    virtual const char *what( ) const throw( ) {
        return m_message.c_str( );
    }
 
/*
    virtual ~LogicError( ) throw( ) {
 
    }
*/
 
protected:
    std::string m_message;
};
 
class EmptyArgument : public LogicError {
public:
 
    EmptyArgument( ) {
        m_message = "Error: empty argument";
    }
};
 
void printText( const std::string &text ) throw( EmptyArgument ) {
 
    if( text.empty( ) ) {
        throw EmptyArgument( );
    }
 
    std::cout << text << std::endl;
}
 
int main() {
    std::string text = "Hello, World!";
 
    try {
        printText( text );
    } catch( const LogicError &e ) {
        std::cerr << e.what() << std::endl;
    } catch( ... ) {
        std::cerr << "Error: unknown exception" << std::endl;
    }
 
    return 0;
}
 

[OKTA]

Хм, дело вижу в std::string m_message;  Но вот почему, я не знаю, нужна помощь более опытных   

[OKTA]

An implicitly declared special member function (Clause 12) shall have an exception-specification. If f is an implicitly declared default constructor, copy constructor, move constructor, destructor, copy assignment operator, or move assignment operator, its implicit exception-specification specifies the type-id T if and only if T is allowed by the exception-specification of a function directly invoked by f’s implicit definition; f shall allow all exceptions if any function it directly invokes allows all exceptions, and f shall allow no exceptions if every function it directly invokes allows no exceptions.

Вроде это. Деструктор по умолчанию будет зависеть от функций, которые ему придется вызывать при уничтожении объектов. Если они генерируют исключения,то и он будет и наоборот.

[8Observer8]

А какие функции тут генерируют исключения? Такая запись throw( ) после метода означает, что он не будет генерировать никаких исключений.

[OKTA]

деструктор в std::string я думаю генерирует исключения.

[m_ax]

деструктор в std::string я думаю генерирует исключения.

Дело не в том, генерирует или не генерирует  он исключения, а в том, что он (деструктор std::string) объявлен без throw(), в то время как деструктор LogicError однозначно исключения кидать не должен (семантика деструктора наследника должна совпадать с семантикой родителя). 
Можете проверить это, заменив string на свой пользовательский тип с пустым деструктором, который точно ничего не кидает, но без throw().. Будет таже самая ситуация, что и со string.