is_defaulted, is_deleted : 対象範囲がまちがっていたのを修正

Author: faithandbrave

reference/meta/is_defaulted.md

@@ -12,32 +12,64 @@ namespace std::meta {
 * info[link info.md]
 
 ## 概要
-`= default`されているかを判定する。
+デフォルト関数（規格上の[defaulted function](https://eel.is/c++draft/dcl.fct.def.default#def:defaulted)）であるかを判定する。
+
+デフォルト関数には、以下が含まれる：
+
+- `= default`を明示的に付加して定義された関数
+- 暗黙的に宣言される特殊メンバ関数（デフォルトコンストラクタ、コピー/ムーブコンストラクタ、コピー/ムーブ代入演算子、デストラクタ）
+- 暗黙的に宣言される比較演算子
 
 
 ## 戻り値
-`r`が`= default`された関数を表す場合に`true`を返す。
+`r`がデフォルト関数を表す場合に`true`を返す。
 
 
 ## 例
 ```cpp example
 #include <meta>
 
-struct S {
-  S() = default;
-  S(int) {}
+// すべての特殊メンバ関数が暗黙的に宣言される
+struct Implicit {};
+
+// 明示的に= defaultされる
+struct Explicit {
+  Explicit() = default;
+  Explicit(int) {}
 };
 
 int main() {
   template for (constexpr auto m :
-      std::define_static_array(std::meta::members_of(^^S, std::meta::access_context::unchecked()))) {
+      std::define_static_array(std::meta::members_of(^^Implicit,
+          std::meta::access_context::unchecked()))) {
+    // Implicitクラスの暗黙宣言されたデフォルトコンストラクタ等もデフォルト関数となる
+    if constexpr (std::meta::is_default_constructor(m)) {
+      static_assert(std::meta::is_defaulted(m));
+    }
+  }
+
+  template for (constexpr auto m :
+      std::define_static_array(std::meta::members_of(^^Explicit,
+          std::meta::access_context::unchecked()))) {
     if constexpr (std::meta::is_default_constructor(m)) {
+      // 明示的な= default指定された関数もデフォルト関数
       static_assert(std::meta::is_defaulted(m));
     }
+    if constexpr (std::meta::is_constructor(m)
+                  && !std::meta::is_default_constructor(m)
+                  && !std::meta::is_copy_constructor(m)
+                  && !std::meta::is_move_constructor(m)) {
+      // ユーザー定義コンストラクタはデフォルト関数ではない
+      static_assert(!std::meta::is_defaulted(m));
+    }
   }
 }
 ```
+* std::meta::is_defaulted[color ff0000]
 * std::meta::is_default_constructor[link is_default_constructor.md]
+* std::meta::is_constructor[link is_constructor.md]
+* std::meta::is_copy_constructor[link is_copy_constructor.md]
+* std::meta::is_move_constructor[link is_move_constructor.md]
 * std::meta::members_of[link members_of.md]
 * std::meta::access_context[link access_context.md]
 * unchecked[link access_context/unchecked.md]
@@ -53,7 +85,7 @@ int main() {
 
 ### 処理系
 - [Clang](/implementation.md#clang): ??
-- [GCC](/implementation.md#gcc): ??
+- [GCC](/implementation.md#gcc): 16 [mark verified]
 - [Visual C++](/implementation.md#visual_cpp): ??
 
 

reference/meta/is_deleted.md

@@ -12,32 +12,47 @@ namespace std::meta {
 * info[link info.md]
 
 ## 概要
-`= delete`されているかを判定する。
+削除関数（規格上の[deleted function](https://eel.is/c++draft/dcl.fct.def.delete#def:function,deleted)）であるかを判定する。
+
+削除関数には、以下が含まれる：
+
+- `= delete`を明示的に付加して宣言された関数
+- 暗黙的にdeleteされる関数（例えば、deleteされた基底クラスの特殊メンバ関数によって、派生クラスで暗黙的に対応する特殊メンバ関数がdeleteされる場合）
+- `= default`を明示的に付加して宣言されたが、結果としてdeleteされる関数（例えば、基底クラスのムーブコンストラクタがdeleteされている状態で、派生クラスで`= default`指定されたムーブコンストラクタ）
 
 
 ## 戻り値
-`r`が`= delete`された関数を表す場合に`true`を返す。
+`r`が削除関数を表す場合に`true`を返す。
 
 
 ## 例
 ```cpp example
 #include <meta>
 
-struct NonCopyable {
-  NonCopyable() = default;
-  NonCopyable(const NonCopyable&) = delete;
+struct B {
+  B(const B&) = delete;
+  B(B&&) = delete;
+};
+
+struct S : B {
+  S() = delete;     // 明示的にdelete宣言された関数: 削除関数
+  // S(const S&);   // 暗黙的に宣言されるが基底のdeleteにより削除関数とみなされる
+  S(S&&) = default; // 明示的にdefault宣言だが、基底クラスのdeleteにより削除関数とみなされる
 };
 
 int main() {
   template for (constexpr auto m :
-      std::define_static_array(std::meta::members_of(^^NonCopyable, std::meta::access_context::unchecked()))) {
-    if constexpr (std::meta::is_copy_constructor(m)) {
+      std::define_static_array(std::meta::members_of(^^S,
+          std::meta::access_context::unchecked()))) {
+    // S()、S(const S&)、S(S&&)はいずれも削除関数
+    if constexpr (std::meta::is_constructor(m)) {
       static_assert(std::meta::is_deleted(m));
     }
   }
 }
 ```
-* std::meta::is_copy_constructor[link is_copy_constructor.md]
+* std::meta::is_deleted[color ff0000]
+* std::meta::is_constructor[link is_constructor.md]
 * std::meta::members_of[link members_of.md]
 * std::meta::access_context[link access_context.md]
 * unchecked[link access_context/unchecked.md]
@@ -53,7 +68,7 @@ int main() {
 
 ### 処理系
 - [Clang](/implementation.md#clang): ??
-- [GCC](/implementation.md#gcc): ??
+- [GCC](/implementation.md#gcc): 16 [mark verified]
 - [Visual C++](/implementation.md#visual_cpp): ??