op_constructor.md

コンストラクタ

• filesystem[meta header]
• std::filesystem[meta namespace]
• filesystem_error[meta class]
• function[meta id-type]
• cpp17[meta cpp]

filesystem_error(const string& what_arg,
                 error_code ec);         // (1)

filesystem_error(const string& what_arg,
                 const path& p1,
                 error_code ec);         // (2)

filesystem_error(const string& what_arg,
                 const path& p1,
                 const path& p2,
                 error_code ec);         // (3)

• string[link /reference/string/basic_string.md]
• error_code[link /reference/system_error/error_code.md]
• path[link /reference/filesystem/path.md]

概要

• (1) : エラー理由の文字列と、エラーコードを受け取るコンストラクタ
• (2) : エラー理由の文字列、エラーとなったパス、エラーコードを受け取るコンストラクタ
• (3) : エラー理由の文字列、エラーとなったパスを一組と、エラーコードを受け取るコンストラクタ

事後条件

• (1) :
  • code()メンバ関数の戻り値 : ec
  • path1()メンバ関数の戻り値 : 空のパス
  • path2()メンバ関数の戻り値 : 空のパス
  • エラー理由の文字列：
    • C++17 : what()メンバ関数の戻り値 : what_arg.c_str()
    • C++20 : string_view(what()).find(what_arg.c_str()) != string_view::npos
• (2) :
  • code()メンバ関数の戻り値 : ec
  • path1()メンバ関数の戻り値 : コピーされたp1への参照
  • path2()メンバ関数の戻り値 : 空のパス
  • エラー理由の文字列：
    • C++17 : what()メンバ関数の戻り値 : what_arg.c_str()
    • C++20 : string_view(what()).find(what_arg.c_str()) != string_view::npos
• (3) :
  • code()メンバ関数の戻り値 : ec
  • path1()メンバ関数の戻り値 : コピーされたp1への参照
  • path2()メンバ関数の戻り値 : コピーされたp2への参照
  • エラー理由の文字列：
    • C++17 : what()メンバ関数の戻り値 : what_arg.c_str()
    • C++20 : string_view(what()).find(what_arg.c_str()) != string_view::npos

例

#include <iostream>
#include <filesystem>

namespace fs = std::filesystem;

int main()
{
  // (1)
  try {
    throw fs::filesystem_error(
      "can't copy file. source file doesn't found",
      std::make_error_code(std::errc::no_such_file_or_directory)
    );
  }
  catch (fs::filesystem_error& err) {
    std::cout << err.what() << std::endl;
  }

  // (2)
  try {
    throw fs::filesystem_error(
      "can't copy file. source file doesn't found",
      "a/b.txt",
      std::make_error_code(std::errc::no_such_file_or_directory)
    );
  }
  catch (fs::filesystem_error& err) {
    std::cout << err.what() << std::endl;
  }

  // (3)
  try {
    throw fs::filesystem_error(
      "can't copy file. source file doesn't found",
      "a/from.txt",
      "b/to.txt",
      std::make_error_code(std::errc::no_such_file_or_directory)
    );
  }
  catch (fs::filesystem_error& err) {
    std::cout << err.what() << std::endl;
  }
}

• std::make_error_code[link /reference/system_error/make_error_code.md]
• std::errc::no_such_file_or_directory[link /reference/system_error/errc.md]
• err.what()[link what.md]

出力例

filesystem error: can't copy file. source file doesn't found: No such file or directory
filesystem error: can't copy file. source file doesn't found: No such file or directory [a/b.txt]
filesystem error: can't copy file. source file doesn't found: No such file or directory [a/from.txt] [b/to.txt]

バージョン

言語

• C++17

処理系

• Clang:
• GCC: 4.8.1 [mark verified]
• Visual C++:

参照

• LWG Issue system_error and filesystem_error constructors taking a string may not be able to meet their postconditions
  • C++20でのエラー理由文字列の事後条件が、指定したエラー理由文字列を直接要求するのではなく、それを含んでいることを要求するように変更された