throw() w sygnaturze funkcji

Question

Witam,

mam pytanie odnośnie kodu

// using standard exceptions
#include <iostream>
#include <exception>
using namespace std;

class myexception: public exception
{
  virtual const char* what() const throw()
  {
    return "My exception happened";
  }
} myex;

int main () {
  try
  {
    throw myex;
  }
  catch (exception& e)
  {
    cout << e.what() << '\n';
  }
  return 0;
}

dokładnie tej linijki

virtual const char* what() const throw()

Po co używana jest funkcja throw()? To nie jest jakiś rodzaj definiowania funkcji tylko to jest element języka C++(wyjątki) tzn nie można stworzyć takiej konstrukcji np

int funkcja1() const funkcja2()

?

Answer 1

To nie jest wywołanie funkcji throw (nawet nie ma takiej funkcji - throw jest słowem zarezerwowanym przez język), tylko deklaracja, że funkcja nie rzuca żadnych wyjątków. Gdyby funkcja rzucała jakieś wyjątki, to w nawiasach przy throw wypisujesz po przecinkach ich typy (ofc to jest opcjonalne i raczej nieprzydatne). Pozostawiając wnętrze nawiasu puste deklarujesz, że funkcja nic nie rzuca. Tyle, że to już przestarzała metoda na takie deklaracje - bodajże od c++11 służy do tego słówko noexcept.

Fun fact: od c++17 noexcept jest częścią typu funkcji (podobnie jak np. `const` w metodach).