Skip to content

Commit ff009c0

Browse files
committed
execution: movable-value (#1384)
1 parent f1e2743 commit ff009c0

File tree

4 files changed

+35
-3
lines changed

4 files changed

+35
-3
lines changed

reference/execution/execution/basic-sender.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -63,7 +63,7 @@ is_nothrow_constructible_v<basic-operation<Self, Rcvr>, Self, Rcvr>
6363

6464
説明専用のエイリアステンプレート`completion-signatures-for`は、下記の通り定義される。
6565

66-
```
66+
```cpp
6767
template<class Sndr, class Env>
6868
using completion-signatures-for = see below; // exposition only
6969
```

reference/execution/execution/just.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,7 @@ namespace std::execution {
1717
1818
1919
## 効果
20-
- 呼び出し式`just(ts...)`は、`(`[`movable-value`](movable-value.md.nolink)`<Ts> &&...) == false`のとき不適格となる。
20+
- 呼び出し式`just(ts...)`は、`(`[`movable-value`](../movable-value.md)`<Ts> &&...) == false`のとき不適格となる。
2121
- そうでなければ、式[`make-sender`](make-sender.md)`(just,` [`product-type`](product-type.md.nolink)`{ts...})`と等価。
2222
2323

reference/execution/execution/make-sender.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@ constexpr auto make-sender(Tag tag, Data&& data, Child&&... child);
2222
2323
## 適格要件
2424
- [`semiregular`](/reference/concepts/semiregular.md)`<Tag> == true`
25-
- [`movable-value`](movable-value.md.nolink)`<Data> == true`
25+
- [`movable-value`](../movable-value.md)`<Data> == true`
2626
- `(`[`sender`](sender.md)`<Child> && ...) == true`
2727
2828
Lines changed: 32 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,32 @@
1+
# movable-value
2+
* execution[meta header]
3+
* concept[meta id-type]
4+
* std[meta namespace]
5+
* cpp26[meta cpp]
6+
7+
```cpp
8+
namespace std {
9+
template<class T>
10+
concept movable-value = // exposition only
11+
move_constructible<decay_t<T>> &&
12+
constructible_from<decay_t<T>, T> &&
13+
(!is_array_v<remove_reference_t<T>>);
14+
}
15+
```
16+
* move_constructible[link /reference/concepts/move_constructible.md]
17+
* constructible_from[link /reference/concepts/constructible_from.md]
18+
* decay_t[link /reference/type_traits/decay.md]
19+
* is_array_v[link /reference/type_traits/is_array.md]
20+
* remove_reference_t[link /reference/type_traits/remove_reference.md]
21+
22+
## 概要
23+
`movable-value`は、型`T`がムーブ構築可能な値であることを表す説明専用のコンセプトである。
24+
25+
26+
## バージョン
27+
### 言語
28+
- C++26
29+
30+
31+
## 参照
32+
- [P2300R10 `std::execution`](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2024/p2300r10.html)

0 commit comments

Comments
 (0)