File tree Expand file tree Collapse file tree 1 file changed +7
-2
lines changed
Expand file tree Collapse file tree 1 file changed +7
-2
lines changed Original file line number Diff line number Diff line change @@ -31,13 +31,14 @@ namespace std {
3131- (4), (5) : `std::any`オブジェクトが保持している型を指定して、その値を指すポインタを取得する。型の指定を間違った場合はヌルポインタが返る
3232
3333
34- ## 要件
34+ ## 適格要件
3535`using U =` [`remove_cv_t`](/reference/type_traits/remove_cv.md)`<`[`remove_reference_t`](/reference/type_traits/remove_reference.md)`<T>>;`であるとして、
3636
3737- (1) : [`is_constructible_v`](/reference/type_traits/is_constructible.md)`<T, const U&> == true`であること。そうでない場合、プログラムは不適格となる
3838- (2) : [`is_constructible_v`](/reference/type_traits/is_constructible.md)`<T, U&> == true`であること。そうでない場合、プログラムは不適格となる
3939- (3) : [`is_constructible_v`](/reference/type_traits/is_constructible.md)`<T, U> == true`であること。そうでない場合、プログラムは不適格となる
40-
40+ - (4)(5) : [`is_void_v`](/reference/type_traits/is_void.md)`<T> == false`であること
41+ - C++26から
4142
4243## 効果
4344`using U =` [`remove_cv_t`](/reference/type_traits/remove_cv.md)`<`[`remove_reference_t`](/reference/type_traits/remove_reference.md)`<T>>;`であるとして、
@@ -148,3 +149,7 @@ int main()
148149- [ Clang] ( /implementation.md#clang ) : 4.0.1
149150- [ GCC] ( /implementation.md#gcc ) : 7.3
150151- [ Visual C++] ( /implementation.md#visual_cpp ) : ??
152+
153+ ## 参照
154+
155+ - [ LWG Issue 3305. ` any_cast<void> ` ] ( https://cplusplus.github.io/LWG/issue3305 )
You can’t perform that action at this time.
0 commit comments