GLOBAL_QUALIFY_LIST: std::constructible_from追加

yohhoy · yohhoy · commit a6d3671af7bb · 2026-07-30T00:18:32.000+09:00
diff --git a/GLOBAL_QUALIFY_LIST.txt b/GLOBAL_QUALIFY_LIST.txt
@@ -112,6 +112,7 @@
 * <concepts>[link /reference/concepts.md]
     * common_reference_with[link /reference/concepts/common_reference_with.md]
     * common_with[link /reference/concepts/common_with.md]
+    * constructible_from[link /reference/concepts/constructible_from.md]
     * convertible_to[link /reference/concepts/convertible_to.md]
     * copy_constructible[link /reference/concepts/copy_constructible.md]
     * default_initializable[link /reference/concepts/default_initializable.md]
diff --git a/lang/cpp20/concepts.md b/lang/cpp20/concepts.md
@@ -217,7 +217,6 @@ int main() {
   assert(b.size() == 3);
 }
 ```
-* std::constructible_from[link /reference/concepts/constructible_from.md]
 * b.size()[link /reference/vector/vector/size.md]
 
 
@@ -248,7 +247,6 @@ int main() {
   assert(b.size() == 3);
 }
 ```
-* std::constructible_from[link /reference/concepts/constructible_from.md]
 * std::move_constructible[link /reference/concepts/move_constructible.md]
 * b.size()[link /reference/vector/vector/size.md]
 
@@ -943,7 +941,6 @@ int main() {
     void g(std::constructible_from<int> auto x);
     ```
     * std::copy_constructible[link /reference/concepts/copy_constructible.md]
-    * std::constructible_from[link /reference/concepts/constructible_from.md]
 
 ## 備考
 - GCC 9.1では、コンセプトが正式サポートされていないため、コンパイルオプションとして`-fconcepts`を付ける必要がある
diff --git a/reference/algorithm/ranges_fold_left_first.md b/reference/algorithm/ranges_fold_left_first.md
@@ -17,7 +17,6 @@ namespace std::ranges {
   constexpr auto fold_left_first(R&& r, F f);                                   // (2)
 }
 ```
-* constructible_from[link /reference/concepts/constructible_from.md]
 * iter_reference_t[link /reference/iterator/iter_reference_t.md]
 * indirectly-binary-left-foldable[link ./ranges_fold_left.md]
 
diff --git a/reference/algorithm/ranges_fold_left_first_with_iter.md b/reference/algorithm/ranges_fold_left_first_with_iter.md
@@ -18,7 +18,6 @@ namespace std::ranges {
 }
 ```
 * indirectly-binary-left-foldable[link ./ranges_fold_left.md]
-* constructible_from[link /reference/concepts/constructible_from.md]
 * iter_reference_t[link /reference/iterator/iter_reference_t.md]
 
 ## 概要
diff --git a/reference/algorithm/ranges_fold_right_last.md b/reference/algorithm/ranges_fold_right_last.md
@@ -17,7 +17,6 @@ namespace std::ranges {
   constexpr auto fold_right_last(R&& r, F f);                                   // (2)
 }
 ```
-* constructible_from[link /reference/concepts/constructible_from.md]
 * iter_reference_t[link /reference/iterator/iter_reference_t.md]
 * indirectly-binary-right-foldable[link ./ranges_fold_right.md]
 
diff --git a/reference/concepts/copy_constructible.md b/reference/concepts/copy_constructible.md
@@ -14,7 +14,6 @@ namespace std {
     constructible_from<T, const T> && convertible_to<const T, T>;
 }
 ```
-* constructible_from[link /reference/concepts/constructible_from.md]
 
 ## 概要
 
diff --git a/reference/concepts/default_initializable.md b/reference/concepts/default_initializable.md
@@ -33,7 +33,6 @@ concept default_initializable = constructible_from<T> &&
                                 requires { T{}; } &&
                                 is-default-initializable<T>;
 ```
-* constructible_from[link /reference/concepts/constructible_from.md]
 
 
 ## 例
diff --git a/reference/concepts/move_constructible.md b/reference/concepts/move_constructible.md
@@ -10,7 +10,6 @@ namespace std {
   concept move_constructible = constructible_from<T, T> && convertible_to<T, T>;
 }
 ```
-* constructible_from[link /reference/concepts/constructible_from.md]
 
 ## 概要
 
diff --git a/reference/execution/execution/receiver.md b/reference/execution/execution/receiver.md
@@ -22,7 +22,6 @@ namespace std::execution {
 * get_env[link get_env.md]
 * queryable[link ../queryable.md]
 * derived_from[link /reference/concepts/derived_from.md]
-* constructible_from[link /reference/concepts/constructible_from.md]
 * is_nothrow_move_constructible_v[link /reference/type_traits/is_nothrow_move_constructible.md]
 
 ## 概要
diff --git a/reference/execution/execution/sender.md b/reference/execution/execution/sender.md
@@ -68,7 +68,6 @@ concept sender =
 ```
 * get_env[link get_env.md]
 * queryable[link ../queryable.md]
-* constructible_from[link /reference/concepts/constructible_from.md]
 
 
 ## 備考
diff --git a/reference/execution/movable-value.md b/reference/execution/movable-value.md
@@ -14,7 +14,6 @@ namespace std {
     (!is_array_v<remove_reference_t<T>>);
 }
 ```
-* constructible_from[link /reference/concepts/constructible_from.md]
 * is_array_v[link /reference/type_traits/is_array.md]
 
 ## 概要
diff --git a/reference/generator/generator/promise_type/yield_value.md b/reference/generator/generator/promise_type/yield_value.md
@@ -27,7 +27,6 @@ auto yield_value(ranges::elements_of<Rng, Alloc> r) noexcept; // (4)
 * ranges::elements_of[link /reference/ranges/elements_of.md]
 * ranges::range_reference_t[link /reference/ranges/range_reference_t.md]
 * is_rvalue_reference_v[link /reference/type_traits/is_rvalue_reference.md]
-* constructible_from[link /reference/concepts/constructible_from.md]
 
 
 ## 概要
diff --git a/reference/iterator/common_iterator/op_arrow.md b/reference/iterator/common_iterator/op_arrow.md
@@ -25,7 +25,6 @@ indirectly_readable<const I> &&
 * indirectly_readable[link /reference/iterator/indirectly_readable.md]
 * is_reference_v[link /reference/type_traits/is_reference.md]
 * iter_reference_t[link /reference/iterator/iter_reference_t.md]
-* constructible_from[link /reference/concepts/constructible_from.md]
 
 ## 堅牢化された事前条件
 
diff --git a/reference/iterator/indirectly_copyable_storable.md b/reference/iterator/indirectly_copyable_storable.md
@@ -21,7 +21,6 @@ namespace std {
 * indirectly_copyable[link /reference/iterator/indirectly_copyable.md]
 * indirectly_writable[link /reference/iterator/indirectly_writable.md]
 * copyable[link /reference/concepts/copyable.md]
-* constructible_from[link /reference/concepts/constructible_from.md]
 * iter_reference_t[link /reference/iterator/iter_reference_t.md]
 * assignable_from[link /reference/concepts/assignable_from.md]
 
diff --git a/reference/iterator/indirectly_movable_storable.md b/reference/iterator/indirectly_movable_storable.md
@@ -18,7 +18,6 @@ namespace std {
 * indirectly_movable[link /reference/iterator/indirectly_movable.md]
 * indirectly_writable[link /reference/iterator/indirectly_writable.md]
 * movable[link /reference/concepts/movable.md]
-* constructible_from[link /reference/concepts/constructible_from.md]
 * assignable_from[link /reference/concepts/assignable_from.md]
 
 ## 概要
diff --git a/reference/iterator/iterator_traits.md b/reference/iterator/iterator_traits.md
@@ -200,7 +200,6 @@ concept cpp17-random-access-iterator =
 * indirectly_readable_traits[link /reference/iterator/indirectly_readable_traits.md]
 * iter_reference_t[link /reference/iterator/iter_reference_t.md]
 * signed_integral[link /reference/concepts/signed_integral.md]
-* constructible_from[link /reference/concepts/constructible_from.md]
 * is_lvalue_reference_v[link /reference/type_traits/is_lvalue_reference.md]
 * totally_ordered[link /reference/concepts/totally_ordered.md]
 
diff --git a/reference/memory/ranges_uninitialized_copy.md b/reference/memory/ranges_uninitialized_copy.md
@@ -70,7 +70,6 @@ namespace std::ranges {
 * in_out_result[link /reference/algorithm/ranges_in_out_result.md]
 * no-throw-forward-iterator[link no-throw-forward-iterator.md]
 * no-throw-sentinel[link no-throw-sentinel.md]
-* constructible_from[link /reference/concepts/constructible_from.md]
 * iter_reference_t[link /reference/iterator/iter_reference_t.md]
 * no-throw-forward-range[link no-throw-forward-range.md]
 * borrowed_iterator_t[link /reference/ranges/borrowed_iterator_t.md]
diff --git a/reference/memory/ranges_uninitialized_copy_n.md b/reference/memory/ranges_uninitialized_copy_n.md
@@ -50,7 +50,6 @@ namespace std::ranges {
 * in_out_result[link /reference/algorithm/ranges_in_out_result.md]
 * no-throw-forward-iterator[link no-throw-forward-iterator.md]
 * no-throw-sentinel[link no-throw-sentinel.md]
-* constructible_from[link /reference/concepts/constructible_from.md]
 * iter_reference_t[link /reference/iterator/iter_reference_t.md]
 * execution-policy[link /reference/execution/execution-policy.md]
 * random_access_iterator[link /reference/iterator/random_access_iterator.md]
diff --git a/reference/memory/ranges_uninitialized_fill.md b/reference/memory/ranges_uninitialized_fill.md
@@ -48,7 +48,6 @@ namespace std::ranges {
 ```
 * no-throw-forward-iterator[link no-throw-forward-iterator.md]
 * no-throw-sentinel[link no-throw-sentinel.md]
-* constructible_from[link /reference/concepts/constructible_from.md]
 * no-throw-forward-range[link no-throw-forward-range.md]
 * borrowed_iterator_t[link /reference/ranges/borrowed_iterator_t.md]
 * execution-policy[link /reference/execution/execution-policy.md]
diff --git a/reference/memory/ranges_uninitialized_fill_n.md b/reference/memory/ranges_uninitialized_fill_n.md
@@ -32,7 +32,6 @@ namespace std::ranges {
 }
 ```
 * no-throw-forward-iterator[link no-throw-forward-iterator.md]
-* constructible_from[link /reference/concepts/constructible_from.md]
 * execution-policy[link /reference/execution/execution-policy.md]
 * random_access_iterator[link /reference/iterator/random_access_iterator.md]
 
diff --git a/reference/memory/ranges_uninitialized_move.md b/reference/memory/ranges_uninitialized_move.md
@@ -59,7 +59,6 @@ namespace std::ranges {
 * in_out_result[link /reference/algorithm/ranges_in_out_result.md]
 * no-throw-forward-iterator[link no-throw-forward-iterator.md]
 * no-throw-sentinel[link no-throw-sentinel.md]
-* constructible_from[link /reference/concepts/constructible_from.md]
 * no-throw-forward-range[link no-throw-forward-range.md]
 * borrowed_iterator_t[link /reference/ranges/borrowed_iterator_t.md]
 * execution-policy[link /reference/execution/execution-policy.md]
diff --git a/reference/memory/ranges_uninitialized_move_n.md b/reference/memory/ranges_uninitialized_move_n.md
@@ -50,7 +50,6 @@ namespace std::ranges {
 * in_out_result[link /reference/algorithm/ranges_in_out_result.md]
 * no-throw-forward-iterator[link no-throw-forward-iterator.md]
 * no-throw-sentinel[link no-throw-sentinel.md]
-* constructible_from[link /reference/concepts/constructible_from.md]
 * execution-policy[link /reference/execution/execution-policy.md]
 * random_access_iterator[link /reference/iterator/random_access_iterator.md]
 * sized_sentinel_for[link /reference/iterator/sized_sentinel_for.md]
diff --git a/reference/ranges/single_view.md b/reference/ranges/single_view.md
@@ -145,7 +145,6 @@ namespace std::ranges {
     single_view(T) -> single_view<T>;
 }
 ```
-* constructible_from[link /reference/concepts/constructible_from.md]
 * copyable-box[link copyable_box.md]
 
 ## バージョン
diff --git a/reference/ranges/subrange/pair-like-convertible-from.md b/reference/ranges/subrange/pair-like-convertible-from.md
@@ -26,7 +26,6 @@ namespace std::ranges {
 ```
 * pair-like[link /reference/tuple/pair-like.md]
 * convertible-to-non-slicing[link convertible-to-non-slicing.md]
-* constructible_from[link /reference/concepts/constructible_from.md]
 * tuple_element_t[link /reference/tuple/tuple_element.md]
 * is_reference_v[link /reference/type_traits/is_reference.md]
 * convertible-to-non-slicing[italic]
diff --git a/reference/ranges/viewable_range.md b/reference/ranges/viewable_range.md
@@ -14,7 +14,6 @@ namespace std::ranges {
       (is_lvalue_reference_v<T> || (movable<remove_reference_t<T>> && !is-initializer-list<T>))));
 }
 ```
-* constructible_from[link /reference/concepts/constructible_from.md]
 * is_lvalue_reference_v[link /reference/type_traits/is_lvalue_reference.md]
 * movable[link /reference/concepts/movable.md]
 * is-initializer-list[italic]
diff --git a/reference/stop_token/stoppable_token.md b/reference/stop_token/stoppable_token.md
@@ -65,7 +65,6 @@ concept stoppable-callback-for =
   requires { typename stop_callback_for_t<Token, CallbackFn>; } &&
   constructible_from<stop_callback_for_t<Token, CallbackFn>, const Token&, Initializer>;
 ```
-* constructible_from[link /reference/concepts/constructible_from.md]
 * stop_callback_for_t[link stop_callback_for_t.md]
 
 説明用の`init`を[`same_as`](/reference/concepts/same_as.md)`<decltype(init), Initializer>`を満たす式、型`SCB`を[`stop_callback_for_t`](stop_callback_for_t.md)`<Token, CallbackFn>`とする。

Original file line number	Diff line number	Diff line change
`@@ -17,7 +17,6 @@ namespace std::ranges {`
`17`	`17`	`constexpr auto fold_left_first(R&& r, F f); // (2)`
`18`	`18`	`}`
`19`	`19`	```
`20`		`-* constructible_from[link /reference/concepts/constructible_from.md]`
`21`	`20`	`* iter_reference_t[link /reference/iterator/iter_reference_t.md]`
`22`	`21`	`* indirectly-binary-left-foldable[link ./ranges_fold_left.md]`
`23`	`22`
Original file line number	Diff line number	Diff line change
`@@ -18,7 +18,6 @@ namespace std::ranges {`
`18`	`18`	`}`
`19`	`19`	```
`20`	`20`	`* indirectly-binary-left-foldable[link ./ranges_fold_left.md]`
`21`		`-* constructible_from[link /reference/concepts/constructible_from.md]`
`22`	`21`	`* iter_reference_t[link /reference/iterator/iter_reference_t.md]`
`23`	`22`
`24`	`23`	`## 概要`
Original file line number	Diff line number	Diff line change
`@@ -14,7 +14,6 @@ namespace std {`
`14`	`14`	`constructible_from<T, const T> && convertible_to<const T, T>;`
`15`	`15`	`}`
`16`	`16`	```
`17`		`-* constructible_from[link /reference/concepts/constructible_from.md]`
`18`	`17`
`19`	`18`	`## 概要`
`20`	`19`
Original file line number	Diff line number	Diff line change
`@@ -10,7 +10,6 @@ namespace std {`
`10`	`10`	`concept move_constructible = constructible_from<T, T> && convertible_to<T, T>;`
`11`	`11`	`}`
`12`	`12`	```
`13`		`-* constructible_from[link /reference/concepts/constructible_from.md]`
`14`	`13`
`15`	`14`	`## 概要`
`16`	`15`