回答編集履歴
2
update
test
CHANGED
@@ -1,3 +1,11 @@
|
|
1
|
+
> (もしかして「特に定まっていない」で結論なのでは…)
|
2
|
+
|
3
|
+
|
4
|
+
|
5
|
+
YES.
|
6
|
+
|
7
|
+
|
8
|
+
|
1
9
|
> 凡そどの型でも構わないようであれば、与えられるべき型の「仕様」は特に定まっていないのだろうかと疑問に思った次第です。
|
2
10
|
|
3
11
|
|
1
appendix
test
CHANGED
@@ -11,3 +11,9 @@
|
|
11
11
|
|
12
12
|
|
13
13
|
よって、メタ関数`std::is_invocable`に与える型への "仕様(要件)" は存在しません。与える型が「関数ぽく呼び出し可能か」という特性を満たす場合に限って真値が得られ、それ以外は偽値が得られるというだけです。
|
14
|
+
|
15
|
+
|
16
|
+
|
17
|
+
---
|
18
|
+
|
19
|
+
(おまけ:標準ライブラリの内部実装は、ライブラリ仕様が要求する振る舞いを実現した一例にすぎません。実装よりもまずは仕様を確認したほうが良いかと思いますよ。)
|