回答編集履歴
1
conceptによるやり方を修正
answer
CHANGED
|
@@ -14,8 +14,7 @@
|
|
|
14
14
|
|
|
15
15
|
```cpp
|
|
16
16
|
template<typename T>
|
|
17
|
-
concept check_c = std::same_as<T, Hoge> &&
|
|
18
|
-
|
|
17
|
+
concept check_c = std::same_as<T, Hoge> && std::same_as<typename T::value_type, int>;
|
|
19
18
|
|
|
20
19
|
static_assert(check_c<Hoge>);
|
|
21
20
|
static_assert(check_c<Hige>);
|