C++のコンパイル時にエラーが出る

Question

解決したいこと

c++で添付したソースコードをコンパイルすると以下のエラーメッセージが出て実行できません。
柴田望洋の「c++で学ぶオブジェクト指向プログラミング」を参考にしています。
調べて色々試したのですが、解決しません。何が原因なのでしょうか。

発生している問題・エラーメッセージ

MyException.cpp:12:23: error: looser throw specifier for ‘virtual const char* MyException::what() const’
   12 |   virtual const char* what() const { return "マイ例外"; }
      |                       ^~~~
In file included from /usr/include/c++/9/system_error:41,
                 from /usr/include/c++/9/bits/ios_base.h:46,
                 from /usr/include/c++/9/ios:42,
                 from /usr/include/c++/9/ostream:38,
                 from /usr/include/c++/9/iostream:39,
                 from MyException.cpp:1:
/usr/include/c++/9/stdexcept:143:5: note: overridden function is ‘virtual const char* std::logic_error::what() const noexcept’
  143 |     what() const _GLIBCXX_TXN_SAFE_DYN _GLIBCXX_NOTHROW;
      |     ^~~~
MyException.cpp: In function ‘void work(int)’:
MyException.cpp:19:46: error: no matching function for call to ‘std::exception::exception(const char [16])’
   19 |     case 1: throw exception("exception例外");
      |                                              ^
In file included from /usr/include/c++/9/exception:38,
                 from /usr/include/c++/9/ios:39,
                 from /usr/include/c++/9/ostream:38,
                 from /usr/include/c++/9/iostream:39,
                 from MyException.cpp:1:
/usr/include/c++/9/bits/exception.h:68:5: note: candidate: ‘constexpr std::exception::exception(std::exception&&)’
   68 |     exception(exception&&) = default;
      |     ^~~~~~~~~
/usr/include/c++/9/bits/exception.h:68:15: note:   no known conversion for argument 1 from ‘const char [16]’ to ‘std::exception&&’
   68 |     exception(exception&&) = default;
      |               ^~~~~~~~~~~
/usr/include/c++/9/bits/exception.h:66:5: note: candidate: ‘constexpr std::exception::exception(const std::exception&)’
   66 |     exception(const exception&) = default;
      |     ^~~~~~~~~
/usr/include/c++/9/bits/exception.h:66:15: note:   no known conversion for argument 1 from ‘const char [16]’ to ‘const std::exception&’
   66 |     exception(const exception&) = default;
      |               ^~~~~~~~~~~~~~~~
/usr/include/c++/9/bits/exception.h:63:5: note: candidate: ‘std::exception::exception()’
   63 |     exception() _GLIBCXX_NOTHROW { }
      |     ^~~~~~~~~
/usr/include/c++/9/bits/exception.h:63:5: note:   candidate expects 0 arguments, 1 provided
---

該当のソースコード

#include <iostream>
#include <exception>
#include <stdexcept>

using namespace std;

class MyException : public logic_error
{
public:
  MyException() : logic_error("マイ例外") {}
  
  virtual const char* what() const { return "マイ例外"; }
};

void work(int sw)
{
  switch(sw)
  {
    case 1: throw exception("exception例外");
    case 2: throw logic_error("logic_error例外");
    case 3: throw MyException();
  }
}

void test(int sw)
{
  try
  {
    work(sw);
  }
  
  catch(const MyException& e)
  {
    cout << e.what() << "を補足。対処完了！！\n";
  }
  
  catch(const logic_error& e)
  {
    cout << e.what() << "を補足。対処断念！！\n";
    throw;
  }
  
  catch(const exception& e)
  {
    cout << e.what() << "を補足。対処断念！！\n";
    throw "ABC";
  }
}

int main()
{
  int sw;
  
  cout << "sw: ";
  cin >> sw;
  
  try
  {
    test(sw);
  }
  
  catch(const logic_error& e)
  {
    cout << e.what() << "を補足。\n";
  }
  
  catch(const char* e)
  {
    cout << e << "を補足。\n";
  }
}

Comments

[jbpb0]

これかな？
https://stackoverflow.com/questions/35763027/looser-throw-specifier-for-virtual-const-char-ro-errstderrwhat-const

[yu_89]

ご回答いただきありがとうございます。
回答を頂けたおかげで"what()"に関するエラーは解決することが出来ましたが、19行目の "case 1: throw exception("exception例外");"で出ている"no matching function for call to std::exception::exception(const char [16])"のエラーは解決できていません。どなたかわかる方,このエラーの解決方法を教えていただけないでしょうか。このエラーについてググってみてもあまりピンとこなくて。

[jbpb0]

> 無事、解決することが出来ました。

解決したのなら、SaitoAtsushiさんの回答をベストアンサーにしましょう

[yu_89]

ベストアンサーにするのを忘れていました。すみません。ご指摘ありがとうございます。

Answer 1

C++11 の 15.4.5 には以下のような記述があります。

If a virtual function has an exception-specification, all declarations, including the definition, of any function that overrides that virtual function in any derived class shall only allow exceptions that are allowed by the exception-specification of the base class virtual function.
(仮想関数が例外指定を持つ場合、派生クラスでその仮想関数を上書きする関数の (定義を含めた) すべての宣言は、その基底クラスの仮想関数の例外指定によって許された例外だけを許さなければならない。)

struct B {
 virtual void f() throw (int, double);
 virtual void g();
};

struct D: B {
 void f();                     // ill-formed
 void g() throw (int);         // OK
};

The declaration of D::f is ill-formed because it allows all exceptions, whereas B::f allows only int and double.
(宣言 D::f は、 B::f が int 及び double だけを許すにもかかわらず、全ての例外を許す記述となっているので不適格となる。)

そして std::exception::what は

virtual const char* what() const noexcept;

ということになっていて、要するに例外を全く送出しないのでオーバーライドで置き換える場合においてもこれより多くの例外が送出される可能性があってはならない、つまり同様に例外を送出しないような指定 (noexcept) を付ける必要があります。

---

もうひとつの問題としては、 std::exception のコンストラクタとしてはデフォルトコンストラクタとコピーコンストラクタしか用意されていません。

つまり質問者が提示しているコードのように引数を渡して構築することは出来ません。

// ↓ 文字列を渡すことは出来ない！！
exception("exception例外");

Comments

[yu_89]

ご回答いただきありがとうございます。無事、解決することが出来ました。

Answer 2

とりあえずエラーメッセージの文言を用いて適当に "looser throw specifier" とかでググってみてはどうですか？

「例外指定が基本クラスよりも弱いのはダメだ」って言われていると見えますが．

std::exception::what() は noexcept がついてるみたいなので，それを継承している側でもそうしないといかんのでは．

Comments

[yu_89]

ご回答いただきありがとうございます。"what()"に関するエラーは解決することが出来ました。