查验C++类型推导结果 | Check C++ Type Deduction Result
如何查看类型
C++的类型系统是极其复杂的，基本类型与const, volatile, 指针，引用，数组，函数，类，成员变量，
成员函数等特性的组合能生成许多不同的类型。类型推导是C++泛型编程/模版元编程的基础。
那么如何查看某个类型或变量具体是什么类型呢？我使用的方法有
C++内置的typeid
boost::typeindex::type_id
猜测类型并用std::is_same校验
故意使编译报错在编译器给出的错误信息中查看目标的类型
例如用typeid：
1
2
3
const int a[3] = {};
std::cout << typeid(decltype(a)).name() << std::endl;
// prints: A3_i
可见使用typeid获取的类型名不具有好的可读性。于是可以用boost::typeindex::type_id替代：
1
2
3
4
5
// need include this header
// #include <boost/type_index.hpp>
const int a[3] = {};
std::cout << boost::typeindex::type_id<decltype(a)>().pretty_name() << std::endl;
// prints: int [3]
可见虽然结果具有很好的可读性，但是却去掉了const属性，与真实输入类型不符合。
事实上，C++内置的typeid和Boost的type_id得出的结果都是对输入类型去掉了
const, volatile和引用属性的。
那有没有获取完整类型的方法呢？
C++中可以用std::is_same来判断两个类型是否相同，它没有对输入类型做任何改变。
因此可以猜测一个结果然后用它来判断猜得是否正确：
1
2
3
4
5
if (std::is_same_v<decltype(a), int [3]>) {
// a has type: int [3]
} else if (std::is_same_v<decltype(a), const int [3]>) {
// a has type: const int [3]
}
但是这样太麻烦了，如果不想猜呢？由于编译器编译阶段是知道变量或表达式的类型的，所以我们可以故意
写某种会编译报错的代码，让我们想要查看的类型名展示在报错信息中：
1
2
3
4
5
6
7
8
template <typename> struct EMPTY{};
// CE: compilation error; NX: not exists
#define CETYPE(type) EMPTY<type>::NX()
int main() {
const int a[3] = {};
CETYPE(decltype(a));
}
编译报错信息是：
1
error: no member named 'NX' in 'EMPTY<const int[3]>'
于是可以看出a的类型是"const int[3]"。
（也有编译器输出"int const[3]"，这是等效的写法，它们是相同的类型）
类型推导示例
C function
预先定义好的用于类型推导的函数：
1
void func(int) {}
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
{
CETYPE(decltype(func)); // void (int)
CETYPE(decltype(&func)); // void (*)(int)
// implicitly convert to pointer if assigned by function name
auto fcopy = func;
CETYPE(decltype(fcopy)); // void (*)(int)
const auto cfcopy = func;
CETYPE(decltype(cfcopy)); // void (*const)(int)
// same as above
auto fptr = &func;
CETYPE(decltype(fptr)); // void (*)(int)
const auto cfptr = &func;
CETYPE(decltype(cfptr)); // void (*const)(int)
// static_cast on rvalue reference to function returns lvalue
CETYPE(decltype(static_cast<void(&&)(int)>(func))); // void (&)(int)
CETYPE(decltype(static_cast<void(&)(int)>(func))); // void (&)(int)
// so, std::move on function returns lvalue reference
CETYPE(decltype(std::move(func))); // void (&)(int)
CETYPE(decltype(&std::move(func))); // void (*)(int)
CETYPE(decltype(std::move(&func))); // void (*&&)(int)
// explicitly define a rvalue reference to function
decltype(func) && prfunc = func;
CETYPE(decltype(prfunc)); // void (&&)(int)
// again, std::move on rvalue reference to function also returns lvalue reference
CETYPE(decltype(std::move(prfunc))); // void (&)(int)
}
// references
{
auto & lref = func;
CETYPE(decltype(lref)); // void (&)(int)
CETYPE(decltype(&lref)); // void (*)(int)
const auto & clref = func;
// 由于规定非成员函数不能有const属性，所以const被忽略掉
CETYPE(decltype(clref)); // void (&)(int)
CETYPE(decltype(&clref)); // void (*)(int)
auto && rref = func;
CETYPE(decltype(rref)); // void (&)(int)
CETYPE(decltype(&rref)); // void (*)(int)
// ref of move
const auto & clref_of_move = std::move(func);
CETYPE(decltype(clref_of_move)); // void (&)(int)
auto && rref_of_move = std::move(func);
CETYPE(decltype(rref_of_move)); // void (&)(int)
}
// references of pointer
{
// &func is a rvalue pointer
const auto & clref = &func;
CETYPE(decltype(clref)); // void (*const &)(int)
auto && rref = &func;
CETYPE(decltype(rref)); // void (*&&)(int)
// pfunc is a lvalue pointer
auto pfunc = &func; // void (*)(int)
const auto & clref = pfunc;
CETYPE(decltype(clref)); // void (*const &)(int)
auto && rref = pfunc;
CETYPE(decltype(rref)); // void (*&)(int)
// ref of move
const auto & clref_of_move = std::move(pfunc);
CETYPE(decltype(clref_of_move)); // void (*const &)(int)
auto && rref_of_move = std::move(pfunc);
CETYPE(decltype(rref_of_move)); // void (*&&)(int)
}
定义如下两个模版函数，其参数声明分别是C++11以前的万能引用和C++11引入的新的万能引用。
1
2
3
4
5
6
7
8
template<typename T> void larg(const T & t) {
CETYPE(T);
CETYPE(decltype(t));
}
template<typename T> void rarg(T && t) {
CETYPE(T);
CETYPE(decltype(t));
}
将函数func用作以上两个模版函数的参数，类型推导结果如下：
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
{
larg(func);
// template<typename T> void larg(const T & t) {
// CETYPE(T); // void (int)
// CETYPE(decltype(t)); // void (&)(int)
// }
rarg(func);
// template<typename T> void rarg(T && t) {
// CETYPE(T); // void (&)(int)
// CETYPE(decltype(t)); // void (&)(int)
// }
}
{
larg(std::move(func));
// template<typename T> void larg(const T & t) {
// CETYPE(T); // void (int)
// CETYPE(decltype(t)); // void (&)(int)
// }
rarg(std::move(func));
// template<typename T> void rarg(T && t) {
// CETYPE(T); // void (&)(int)
// CETYPE(decltype(t)); // void (&)(int)
// }
}
{
larg(&func);
// template<typename T> void larg(const T & t) {
// CETYPE(T); // void (*)(int)
// CETYPE(decltype(t)); // void (*const &)(int)
// }
rarg(&func);
// template<typename T> void rarg(T && t) {
// CETYPE(T); // void (*)(int)
// CETYPE(decltype(t)); // void (*&&)(int)
// }
}
{
auto pfunc = &func; // void (*)(int)
larg(pfunc);
// template<typename T> void larg(const T & t) {
// CETYPE(T); // void (*)(int)
// CETYPE(decltype(t)); // void (*const &)(int)
// }
rarg(pfunc);
// template<typename T> void rarg(T && t) {
// CETYPE(T); // void (*&)(int)
// CETYPE(decltype(t)); // void (*&)(int)
// }
}
{
auto pfunc = &func; // void (*)(int)
larg(std::move(pfunc));
// template<typename T> void larg(const T & t) {
// CETYPE(T); // void (*)(int)
// CETYPE(decltype(t)); // void (*const &)(int)
// }
rarg(std::move(pfunc));
// template<typename T> void rarg(T && t) {
// CETYPE(T); // void (*)(int)
// CETYPE(decltype(t)); // void (*&&)(int)
// }
}
小结
可见，函数模版参数const T & t与定义引用const auto & r = ...推导结果一致，
函数模版参数T && t与定义引用auto && r = ...推导结果一致。
特别的，std::move 或 std::forward 作用于函数类型时返回的总是 lvalue FunctionType& 而不是FunctionType&&。
这是因为 static_cast<FunctionType&&>(func) 返回的是 FunctionType& 而不是 FunctionType&&。
另外，由于C++规定不是成员函数的函数不能有const、valitale属性，所以
const auto & clref = func;得到clref的类型是void (&)(int)，const属性被忽略了。
如果换成其他类型，则const属性会被保留，例如int，如下：
Int
1
2
3
4
5
int i = 0;
// const被保留
const auto & clref = i;
CETYPE(decltype(clref)); // const int &
CETYPE(decltype(&clref)); // const int *
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
int i = 0;
const int ci = 0;
CETYPE(decltype(i)); // int
CETYPE(decltype(ci)); // const int
// 非单个标记符的左值，推导为T&。例如加一个小括号，或前置自增
CETYPE(decltype((i))); // int &
CETYPE(decltype((ci))); // const int &
CETYPE(decltype(++i)); // int &
// 后置自增是一个右值，于是推导为T
CETYPE(decltype(i++)); // int
// 右值
CETYPE(decltype(i + ci)); // int
// 右值引用
CETYPE(decltype(std::move(i))); // int &&
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
larg(i);
// template<typename T> void larg(const T & t) {
// CETYPE(T); // int
// CETYPE(decltype(t)); // const int &
// }
rarg(i);
// template<typename T> void rarg(T && t) {
// CETYPE(T); // int &
// CETYPE(decltype(t)); // int &
// }
larg(ci);
// template<typename T> void larg(const T & t) {
// CETYPE(T); // int
// CETYPE(decltype(t)); // const int &
// }
rarg(ci);
// template<typename T> void rarg(T && t) {
// CETYPE(T); // const int &
// CETYPE(decltype(t)); // const int &
// }
larg(std::move(i));
// template<typename T> void larg(const T & t) {
// CETYPE(T); // int
// CETYPE(decltype(t)); // const int &
// }
rarg(std::move(ci));
// template<typename T> void rarg(T && t) {
// CETYPE(T); // const int
// CETYPE(decltype(t)); // const int &&
// }
rarg(3);
// template<typename T> void rarg(T && t) {
// CETYPE(T); // int
// CETYPE(decltype(t)); // int &&
// }
C array
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
char a[3];
CETYPE(decltype(a)); // char[3]
CETYPE(decltype(&a)); // char (*)[3]
CETYPE(decltype(&a[0])); // char *
const auto & acr = a;
CETYPE(decltype(acr)); // const char (&)[3]
const auto & pacr = &a;
CETYPE(decltype(pacr)); // char (*const &)[3]
const auto & pa0cr = &a[0];
CETYPE(decltype(pa0cr)); // char *const &
auto && arr = a;
CETYPE(decltype(arr)); // char (&)[3]
auto && parr = &a;
CETYPE(decltype(parr)); // char (*&&)[3]
auto pa = &a;
auto && lparr = pa;
CETYPE(decltype(lparr)); // char (*&)[3]
auto && pa0rr = &a[0];
CETYPE(decltype(pa0rr)); // char *&&
auto pa0 = &a[0];
auto && lpa0rr = pa0;
CETYPE(decltype(lpa0rr)); // char *&
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
const char a[3];
CETYPE(decltype(a)); // const char[3]
CETYPE(decltype(&a)); // const char (*)[3]
CETYPE(decltype(&a[0])); // const char *
const auto & acr = a;
CETYPE(decltype(acr)); // const char (&)[3]
const auto & pacr = &a;
CETYPE(decltype(pacr)); // const char (*const &)[3]
const auto & pa0cr = &a[0];
CETYPE(decltype(pa0cr)); // const char *const &
auto && arr = a;
CETYPE(decltype(arr)); // const char (&)[3]
auto && parr = &a;
CETYPE(decltype(parr)); // const char (*&&)[3]
auto pa = &a;
auto && lparr = pa;
CETYPE(decltype(lparr)); // const char (*&)[3]
auto && pa0rr = &a[0];
CETYPE(decltype(pa0rr)); // const char *&&
auto pa0 = &a[0];
auto && lpa0rr = pa0;
CETYPE(decltype(lpa0rr)); // const char *&
1
2
3
4
5
6
7
8
9
10
int ia[] = {};
int ia2[] = {1, 2};
int ia3[3] = {1};
CETYPE(decltype(ia)); // int[0]
CETYPE(decltype(ia2)); // int[2]
CETYPE(decltype(ia3)); // int[3]
CETYPE(int[]); // int[]
CETYPE(const int[]); // const int[]
CETYPE(decltype(&ia)); // int (*)[0]
C string
字面字符串常量，decltype推断结果如下：
1
2
3
4
CETYPE(decltype("abcd")); // const char (&)[5]
auto s = "abcd";
CETYPE(decltype(s)); // const char *
C++中的函数类型到底有多少种形式？
影响函数类型的修饰属性都是正交的，因此把每一种属性的选项数量乘起来就是答案。
根据一个函数类型是否是const的，是否是volatile的，是否有C语言风格的可变长实参，
是没有成员函数引用属性还是具有成员函数左值引用或成员函数右值引用
（请注意，这里一定是成员函数引用才算作函数类型签名，C语言函数的引用在此不算作函数类型），
还有C++17以后一个函数是否是noexcept也认作不同的函数类型，
所以根据这五种属性可以算出总共是2 * 2 * 2 * 3 * 2 = 48种！
判断一个类型是否是函数类型，C++标准库中定义了std::is_function来实现这个判断。
它的一种可能的实现方式就是把以上所说所有的函数类型形式都特化一遍，如下所示：
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
// primary template
template<typename>
struct is_function : std::false_type { };
// specialization for regular functions
template<typename Return, typename... Args>
struct is_function<Return(Args...)> : std::true_type {};
// specialization for variadic functions such as std::printf
template<typename Return, typename... Args>
struct is_function<Return(Args..., ...)> : std::true_type {};
// specialization for function types that have cv-qualifiers
template<typename Return, typename... Args>
struct is_function<Return(Args...) const> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args...) volatile> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args...) const volatile> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args..., ...) const> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args..., ...) volatile> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args..., ...) const volatile> : std::true_type {};
// specialization for function types that have ref-qualifiers
template<typename Return, typename... Args>
struct is_function<Return(Args...) &> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args...) const &> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args...) volatile &> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args...) const volatile &> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args..., ...) &> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args..., ...) const &> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args..., ...) volatile &> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args..., ...) const volatile &> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args...) &&> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args...) const &&> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args...) volatile &&> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args...) const volatile &&> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args..., ...) &&> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args..., ...) const &&> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args..., ...) volatile &&> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args..., ...) const volatile &&> : std::true_type {};
// specializations for noexcept versions of all the above (C++17 and later)
template<typename Return, typename... Args>
struct is_function<Return(Args...) noexcept> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args..., ...) noexcept> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args...) const noexcept> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args...) volatile noexcept> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args...) const volatile noexcept> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args..., ...) const noexcept> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args..., ...) volatile noexcept> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args..., ...) const volatile noexcept> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args...) & noexcept> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args...) const & noexcept> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args...) volatile & noexcept> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args...) const volatile & noexcept> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args..., ...) & noexcept> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args..., ...) const & noexcept> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args..., ...) volatile & noexcept> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args..., ...) const volatile & noexcept> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args...) && noexcept> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args...) const && noexcept> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args...) volatile && noexcept> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args...) const volatile && noexcept> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args..., ...) && noexcept> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args..., ...) const && noexcept> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args..., ...) volatile && noexcept> : std::true_type {};
template<typename Return, typename... Args>
struct is_function<Return(Args..., ...) const volatile && noexcept> : std::true_type {};
针对上文特别提起的引用属性举个例子：
1
2
3
4
5
6
7
// 这两个是C语言函数的引用，判断为false
std::is_function<void(&)(int)>::value;
std::is_function<void(&&)(int)>::value;
// 而这两个是成员函数的引用，判断为true
std::is_function<void(int) &>::value;
std::is_function<void(int) &&>::value;
对函数类型进行add pointer/c/v/r, remove c/v/r等操作是什么结果？
以上48种函数类型形式其实可分成两类。
第一类是C语言函数形式的函数类型，上文也提到，C++规定它们不允许有const和volatile属性，
当然它不是成员函数自然也不能有成员函数引用属性，只能有可变长实参属性和noexcept属性；
剩下的就是第二类，非C语言函数形式的函数类型，凡是具有const属性、volatile属性、
成员函数引用属性 的都属于这类，这一类更像是成员函数，但是不具有母类类型信息，不是完整的成员函数类型，
姑且叫成员函数形式的函数类型或者不完整成员函数类型吧。
用cppreference的说法，也可以说成第一类是"not cv- or ref- qualified function type"，
第二类是"cv- or ref- qualified function type".
不过也许说成C语言函数形式和成员函数形式，理解它们一个是完整的，一个是不完整的，
可能能更好得理解它们为什么会有以下令人费解令人诧异的不同表现。
算一下，第一类有4种，第二类有44种。
add reference and remove reference
针对C语言函数形式的函数类型添加引用结果如下：
1
2
3
4
5
6
7
8
9
10
11
12
13
14
CETYPE(std::add_lvalue_reference_t<void(int)>); // void (&)(int)
CETYPE(std::add_rvalue_reference_t<void(int)>); // void (&&)(int)
CETYPE(std::add_lvalue_reference_t<void(int, ...)>); // void (&)(int, ...)
CETYPE(std::add_rvalue_reference_t<void(int, ...)>); // void (&&)(int, ...)
CETYPE(std::add_lvalue_reference_t<void(int) noexcept>); // void (&)(int) noexcept
CETYPE(std::add_rvalue_reference_t<void(int) noexcept>); // void (&&)(int) noexcept
CETYPE(std::add_lvalue_reference_t<void(int, ...) noexcept>); // void (&)(int, ...) noexcept
CETYPE(std::add_rvalue_reference_t<void(int, ...) noexcept>); // void (&&)(int, ...) noexcept
// 引用折叠
CETYPE(std::add_lvalue_reference_t<void (&)(int)>); // void (&)(int)
CETYPE(std::add_rvalue_reference_t<void (&)(int)>); // void (&)(int)
CETYPE(std::add_lvalue_reference_t<void (&&)(int)>); // void (&)(int)
CETYPE(std::add_rvalue_reference_t<void (&&)(int)>); // void (&&)(int)
可见这些函数类型都被添加了引用，不过应该注意这个是常规引用（某种类型整体的引用），
不是成员函数引用，这个引用不影响函数签名。
顺便提一下，对以上输出的带引用的类型施加std::remove_reference_t当然也会回到原输入类型。
针对成员函数形式的函数类型add和remove引用结果如下：
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
// add reference
CETYPE(std::add_lvalue_reference_t<void(int) const>); // void (int) const
CETYPE(std::add_rvalue_reference_t<void(int) volatile>); // void (int) volatile
CETYPE(std::add_lvalue_reference_t<void(int, ...) volatile>); // void (int, ...) volatile
CETYPE(std::add_rvalue_reference_t<void(int, ...) const>); // void (int, ...) const
CETYPE(std::add_lvalue_reference_t<void(int) const noexcept>); // void (int) const noexcept
CETYPE(std::add_rvalue_reference_t<void(int) volatile noexcept>); // void (int) volatile noexcept
CETYPE(std::add_lvalue_reference_t<void(int) &>); // void (int) &
CETYPE(std::add_rvalue_reference_t<void(int) &>); // void (int) &
CETYPE(std::add_lvalue_reference_t<void(int) &&>); // void (int) &&
CETYPE(std::add_rvalue_reference_t<void(int) &&>); // void (int) &&
CETYPE(std::add_lvalue_reference_t<void(int) const &>); // void (int) const &
CETYPE(std::add_rvalue_reference_t<void(int) volatile &>); // void (int) volatile &
CETYPE(std::add_lvalue_reference_t<void(int) const && noexcept>); // void (int) const && noexcept
// remove reference
CETYPE(std::remove_reference_t<void(int) &>); // void (int) &
CETYPE(std::remove_reference_t<void(int) &&>); // void (int) &&
CETYPE(std::remove_reference_t<void(int) const &>); // void (int) const &
CETYPE(std::remove_reference_t<void(int) const &&>); // void (int) const &&
CETYPE(std::remove_reference_t<void(int) volatile &>); // void (int) volatile &
CETYPE(std::remove_reference_t<void(int) & noexcept>); // void (int) & noexcept
CETYPE(std::remove_reference_t<void(int) const & noexcept>); // void (int) const & noexcept
CETYPE(std::remove_reference_t<void(int) volatile && noexcept>); // void (int) volatile && noexcept
可见无论是add还是remove reference，对输入的函数类型，都没有做任何更改。所以可得：
C语言函数形式的函数类型可以添加引用，而成员函数形式的函数类型本身自带的引用属性不会被更改。
成员函数的引用，在这里由于成为了函数签名的一部分，属于函数类型的一部分，所以这时的引用就与普通常规引用大不相同，
比普通引用的地位更高一等，是不能通过std::add_lvalue_reference, std::remove_reference等被改变的。
那么这类引用就太特殊了，凭什么都是函数类型，一些能被添加引用和去除引用，而另一种不能呢？
是否应该把它定义为另外一类引用，或者另外起一个名字称为另外一类功能？
然后与常规引用不冲突，再可以添加常规引用呢？那么可能就会出现形如void (&)(int) const &&
之类的东西了。😂复杂程度又增加了，不过好像又能够和第一类函数类型保持一致了，是好还是不好呢？
C++的选择是不这么做，否则的话，还要再提供一种成员引用的功能与之匹配。C++现在已经有一种
成员指针的功能，即Pointer-to-member operator .*和->*，这已经够用了。
而且，从函数类型完整性上也可以理解，C语言函数形式的函数类型是完整的，可以指向某个具体的函数实体，
因此对它添加指针或引用是有意义的，而成员函数形式的函数类型是不完整的，缺乏母类信息，不能指向某个
具体的成员函数，对它添加指针或引用是没有意义的，因此C++选择没有增加不必要的复杂度。
如果把尾置的引用当成函数类型的一部分，不把它理解成常规引用（某种类型整体的引用），而add/remove reference针对的是常规引用，那么也可以理解为：
成员函数形式的函数类型不能添加引用（常规引用）。
add pointer and remove pointer
1
2
3
4
5
6
7
8
9
10
11
12
13
14
// C语言函数形式，能添加指针
CETYPE(std::add_pointer_t<void(int)>); // void (*)(int)
CETYPE(std::add_pointer_t<void(int,...)>); // void (*)(int, ...)
CETYPE(std::add_pointer_t<void(int,...) noexcept>); // void (*)(int, ...) noexcept
// C语言函数指针类型，能去除指针
CETYPE(std::remove_pointer_t<void (*)(int)>); // void (int)
CETYPE(std::remove_pointer_t<void (*)(int,...)>); // void (int, ...)
CETYPE(std::remove_pointer_t<void (*)(int,...) noexcept>); // void (int, ...) noexcept
// 成员函数形式，不能添加指针
CETYPE(std::add_pointer_t<void(int) const>); // void (int) const
CETYPE(std::add_pointer_t<void(int,...) &>); // void (int, ...) &
CETYPE(std::add_pointer_t<void(int) volatile &&>); // void (int) volatile &&
可见：
C语言函数形式的函数类型可以添加指针，而成员函数形式的函数类型不能添加指针；
C语言函数形式的函数类型是完整的函数类型，但成员函数形式的函数类型是不完整的，
因为它不具有包含它的母类的类型信息，所以不难理解它不能被添加指针。
实际上，如果强制为其添加指针，会导致编译报错，std::add_pointer_t里面规避了这点，
对于不能添加指针的类型，返回了输入类型本身。
add const/volatile, remove const/volatile
1
2
3
4
5
6
7
8
9
10
11
12
// C语言函数形式，不能添加cv
CETYPE(std::add_const_t<void(int)>); // void (int)
CETYPE(std::add_volatile_t<void(int,...)>); // void (int, ...)
CETYPE(std::add_cv_t<void(int,...) noexcept>); // void (int, ...) noexcept
// 成员函数形式，不能更改原有cv
CETYPE(std::add_const_t<void(int) & noexcept>); // void (int) & noexcept
CETYPE(std::add_volatile_t<void(int,...) const>); // void (int, ...) const
CETYPE(std::add_cv_t<void(int) volatile &&>); // void (int) volatile &&
CETYPE(std::remove_cv_t<void(int) const>); // void (int) const
CETYPE(std::remove_cv_t<void(int,...) volatile &>); // void (int, ...) volatile &
CETYPE(std::remove_cv_t<void(int) const && noexcept>); // void (int) const && noexcept
可见：
C语言函数形式的函数类型不能添加cv属性，而成员函数形式的函数类型本身自带的cv属性也不能被更改。
如果把尾置的cv属性当成函数类型的一部分，而add const/volatile, remove const/volatile
指的是针对某个类型整体之外添加或去除cv属性，那么也可以理解为：
成员函数形式的函数类型也不能添加cv属性。
也就是，所有函数类型都不能添加cv属性。
is_reference, is_const, is_volatile
对函数类型进行 std::is_const, std::is_references 判断：
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
std::cout << std::boolalpha;
// 成员函数形式，这些都输出 false
std::cout << std::is_reference_v<void(int) &> << std::endl;
std::cout << std::is_reference_v<void(int) &&> << std::endl;
std::cout << std::is_reference_v<void(int) const &> << std::endl;
std::cout << std::is_const_v<void(int) const > << std::endl;
std::cout << std::is_const_v<void(int) const &> << std::endl;
std::cout << std::is_volatile_v<void(int) volatile > << std::endl;
std::cout << std::is_reference_v<void(int)> << std::endl;
std::cout << std::is_const_v<void(int)> << std::endl;
std::cout << std::is_volatile_v<void(int)> << std::endl;
// C语言函数形式，这些都输出 true
std::cout << std::is_reference_v<void (&)(int) > << std::endl;
std::cout << std::is_reference_v<void (&&)(int)> << std::endl;
std::cout << std::is_reference_v<void (&)(int) noexcept> << std::endl;
可见当const、volatile和引用等属性成为函数签名即成为函数类型的一部分的时候，这种属性就不能用
std::is_reference, std::is_const, std::is_volatile判断出来了，结果永远是false。
而C语言函数形式的函数类型的引用不属于函数签名的一部分，可以通过std::is_reference判断出来。
小结
由以上可得，对函数类型进行 add/remove const/volatile/reference 等操作时，
如果某种属性是属于函数签名的一部分，那么这种属性就是这个基本类型的一部分，它是不会被改变的。
而且，当某种属性属于函数签名的一部分时，是无法通过 is const/volatile/reference 等判断出是否具有这种属性的。
可以这样理解：把函数签名整体当成一个黑盒，黑盒内部的函数签名形式上是否具有某种属性是不可见的，
也不可伸入黑盒内部对函数签名进行修改。
函数签名中具有尾置的const、volatile、引用的函数类型是不完整成员函数类型，不能对其添加指针和引用，否则可以。
所有函数类型都不能add const/volatile.
如何判断一个类型是否是 std::function
std::function是对函数的封装，它接受一个模板参数，该模版参数应该是一个函数类型。
经过以上讨论，我们知道函数类型有48种形式，那么是否每一种std::function都支持呢？
对于成员函数形式的函数类型我们知道它们是不完整的，对这些函数类型特化没有任何意义，那剩下的4种
C语言函数形式的函数类型 std::function是否都支持呢？事实是，目前（2023）std::function
只支持最基本的那一种，也就是只有这一种特化：
1
2
3
template< class > class function; /* undefined */
template< class R, class... Args > class function<R(Args...)>;
// 没有对其他形式特化
验证举例：
1
2
3
4
5
6
7
8
std::function<void(int)> f1; // OK!
// 这些都会编译错误：implicit instantiation of undefined template。因为标准库中并没有为其特化。
// std::function<void(int, ...)> f2;
// std::function<void(int) noexcept> f3
// std::function<void(int) const> f4;
// std::function<void(int) &> f5;
// std::function<void(int) &> f6;
上例中f2~f6会编译错误，说明std::function不支持这些函数类型。
当然如果只声明f2~f6对应的那些类型而不用它们定义变量，是不会报错的，但是这没有意义，
这只是声明了一个没有任何实现的类类型而已。
所以目前std::function只支持这一种最基本的函数类型形式，
要想判断一个类型是否是std::function类型，只需要对Return(Args...)这一种函数类型形式做一个特化即可。
1
2
3
4
5
6
7
8
9
10
11
12
13
// 只需这一个primary template和一个特化
template <typename T>
struct is_stdfunction : std::false_type {};
template <typename Return, typename... Args>
struct is_stdfunction<std::function<Return(Args...)>> : std::true_type {};
// 以下这些特化都是不需要的，因为std::function的实现中并没有为其特化
// template <typename Return, typename... Args>
// struct is_stdfunction<std::function<Return(Args..., ...)>> : std::true_type {};
// template <typename Return, typename... Args>
// struct is_stdfunction<std::function<Return(Args...) noexcept>> : std::true_type {};
// template <typename Return, typename... Args>
// struct is_stdfunction<std::function<Return(Args..., ...) noexcept>> : std::true_type {};
std::function如何处理可变长实参(variadic functions)
此外，还需要说明的一个特例是可变长实参，std::function可以说是不支持这种函数类型，但也可以说是
不完全支持，或部分支持。
std::function的特化中虽然不支持variadic这种函数类型形式，
但是事实上我们可以将带有可变长实参的函数当成没有可变长实参的函数来用，
然后再封装在std::function里面，不过这样虽然可行，但是却丢了可变长实参部分的功能。
例如：
1
2
3
4
// std::function<int(const char*, ...)> f1 = printf; // error: implicit instantiation of undefined template 'std::function<int (const char *, ...)>'
std::function<int(const char*)> f2 = printf; // OK
f2("printf no more arguments"); // OK
// f2("printf %d", 1); // error: no matching function for call to object of type 'std::function<int (const char *)>'
也许这也没有多大实用性，所以严格来说，std::function对带有可变长实参的函数类型还是不支持的。
那么应不应该支持一下呢？未来std::function会不会对带有variadic和noexcept的函数类型做一个特化呢？
如果他想，其实是可以的，那时候我们的is_stdfunction的后三种特化就得用上了。
不过，对noexcept的特化其实是不必要的，因为带有noexcept的函数指针，是可以转化成对应不带noexcept的函数指针的。
例如：
1
2
3
4
5
6
7
8
9
10
11
12
void f1(int) {}
void f2(int) noexcept {}
int main() {
static_cast<decltype(&f1)>(&f2); // OK
// static_cast<decltype(&f2)>(&f1); // error
auto p1 = &f1;
p1 = &f2; // OK
auto p2 = &f2;
// p2 = &f1; // error
}
例中也看到了，反过来，不带有noexcept的函数指针是不能转化成对应的带有noexcept的函数指针的。
这也可以理解，毕竟noexcept是更严格的限制，可是说是子集，而不带noexcept的是超集。
再有，针对可变长实参这个属性呢？
当然，有可变长实参的函数指针与对应的没有可变长实参函数指针之间是不能相互转化的，例如：
1
2
3
4
5
6
7
8
9
10
11
12
void f1(int) {}
void f2(int, ...) {}
int main() {
// static_cast<decltype(&f1)>(&f2); // error
// static_cast<decltype(&f2)>(&f1); // error
auto p1 = &f1;
// p1 = &f2; // error
auto p2 = &f2;
// p2 = &f1; // error
}
这个std::function不对其特化，可能就是不想支持这种函数类型了吧，毕竟这是C语言遗留产物。
如何判断一个类型是否是 lambda
lambda是C++中的匿名类型，每个新定义的lambda都具有各自不同的类型，一般来说我们无法判断一个类型是否是lambda。
但是有一种特殊的lambda，即捕获列表为空的（captureless）且不是generic的
（使用auto声明参数类型的叫作generic lambda），这种特殊的lambda有一个独有的性质，
就是它能够转换成与它的operator()对应的C语言风格的函数指针，并且指向它的operator()。
我们可以判断一个类型是否具有这种性质，假如具有，那么我们可以猜测这种类型大概率可能就是
这种特殊的lambda，除非用户手动定义了一个具有这种性质的自定义类型，而通常很少有人这么做，也不该这么做。
所以虽然我们无法判断一个类型是否是lambda，但我们可以判断一个类型有可能是
captureless并且non-generic的lambda。判断方法如下：
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
// Get a C function pointer type by a member function pointer type
template <typename T>
struct detect_cfunction {
using type = void;
};
template <typename Object, typename Return, typename... Args>
struct detect_cfunction<Return (Object::*)(Args...)> {
using type = Return (*)(Args...);
};
template <typename Object, typename Return, typename... Args>
struct detect_cfunction<Return (Object::*)(Args...) const> {
using type = Return (*)(Args...);
};
template <typename Object, typename Return, typename... Args>
struct detect_cfunction<Return (Object::*)(Args..., ...)> {
using type = Return (*)(Args..., ...);
};
template <typename Object, typename Return, typename... Args>
struct detect_cfunction<Return (Object::*)(Args..., ...) const> {
using type = Return (*)(Args..., ...);
};
#if __cplusplus >= 201703
template <typename Object, typename Return, typename... Args>
struct detect_cfunction<Return (Object::*)(Args...) noexcept> {
using type = Return (*)(Args...) noexcept;
};
template <typename Object, typename Return, typename... Args>
struct detect_cfunction<Return (Object::*)(Args...) const noexcept> {
using type = Return (*)(Args...) noexcept;
};
template <typename Object, typename Return, typename... Args>
struct detect_cfunction<Return (Object::*)(Args..., ...) noexcept> {
using type = Return (*)(Args..., ...) noexcept;
};
template <typename Object, typename Return, typename... Args>
struct detect_cfunction<Return (Object::*)(Args..., ...) const noexcept> {
using type = Return (*)(Args..., ...) noexcept;
};
#endif
template <typename T>
using detect_cfunction_t = typename detect_cfunction<T>::type;
// Detect type of callee, which is a pointer to member function operator()
template <typename T, typename = void>
struct detect_callee {
using type = void;
};
#if __cplusplus < 201703
namespace std {
template <typename T>
using void_t = void;
}
#endif
template <typename T>
struct detect_callee<T, std::void_t<decltype(&T::operator())>> {
using type = decltype(&T::operator());
};
template <typename T>
using detect_callee_t = typename detect_callee<T>::type;
// Detect C function style callee type
template <typename T>
using detect_c_callee_t = detect_cfunction_t<detect_callee_t<T>>;
// Detect whether T maybe a captureless and non-generic lambda
template <typename T>
struct maybe_lambda
: std::integral_constant<
bool,
!std::is_same<T, void>::value &&
std::is_convertible<T, detect_c_callee_t<T>>::value> {};
举例：
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
#define TEST(x) std::cout << #x << ": " << maybe_lambda<x>::value << std::endl;
struct A {};
struct B {
void operator()() {}
};
struct C {
void operator()() const volatile & {}
};
int main() {
std::cout << std::boolalpha;
auto l1 = [](int){};
TEST(decltype(l1));
auto l2 = [](int, ...){};
TEST(decltype(l2));
const auto l3 = [](int){};
TEST(decltype(l3));
const auto & l4 = [](int){};
TEST(decltype(l4));
TEST(std::decay_t<decltype(l4)>);
auto && l5 = [](int){};
TEST(decltype(l5));
TEST(std::decay_t<decltype(l5)>);
auto l6 = [](auto){}; // generic lambda
TEST(decltype(l6));
auto l7 = [&](int){};
TEST(decltype(l7));
auto l8 = [=](int){};
TEST(decltype(l8));
auto l9 = [](int) noexcept {};
TEST(decltype(l9));
auto l10 = [](int, ...) noexcept {};
TEST(decltype(l10));
auto l11 = [](auto) noexcept {};
TEST(decltype(l11));
auto l12 = [=](int) noexcept {};
TEST(decltype(l12));
TEST(A);
TEST(B);
TEST(B&);
TEST(C);
TEST(C&&);
TEST(std::function<void(int)>);
TEST(std::function<void(int)>&);
TEST(int(int));
TEST(void(void));
TEST(void(int, ...));
TEST(int(&)(int));
TEST(int(*)(int));
TEST(void(*&)(int));
TEST(int);
TEST(void);
TEST(int*);
TEST(void*);
return 0;
}
输出结果如下：
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
decltype(l1): true
decltype(l2): true
decltype(l3): true
decltype(l4): false
std::decay_t<decltype(l4)>: true
decltype(l5): false
std::decay_t<decltype(l5)>: true
decltype(l6): false
decltype(l7): false
decltype(l8): false
decltype(l9): true
decltype(l10): true
decltype(l11): false
decltype(l12): false
A: false
B: false
B&: false
C: false
C&&: false
std::function<void(int)>: false
std::function<void(int)>&: false
int(int): false
void(void): false
void(int, ...): false
int(&)(int): false
int(*)(int): false
void(*&)(int): false
int: false
void: false
int*: false
void*: false
如何判断一个类型是否是可调用的
可调用基本类型（这里不包括其引用）分两种，一种是具有operator()的类类型，另一种是C语言函数类型及其指针。
1. 判断一个类型是否具有operator()的类类型
operator()分两种，一种是非模版函数，一种是模版函数。
对于operator()不是模版函数的类型来说，可以用如下方法判断：
1
2
3
4
5
6
// Whether T has a non-template member operator()
template <typename T, typename = void>
struct is_callable_class : std::false_type {};
template <typename T>
struct is_callable_class<T, std::void_t<decltype(&T::operator())>> : std::true_type {};
对于operator()是模版函数的类，目前还没找到判断方法。
举例：
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
#define TEST(x) std::cout << #x << ": " << is_callable_class<x>::value << std::endl;
struct A {};
struct B {
void operator()() {}
};
struct C {
void operator()() const volatile & {}
};
int main() {
std::cout << std::boolalpha;
auto l1 = [](int){};
TEST(decltype(l1));
auto l2 = [](int, ...){};
TEST(decltype(l2));
const auto l3 = [](int){};
TEST(decltype(l3));
const auto & l4 = [](int){};
TEST(decltype(l4));
TEST(std::decay_t<decltype(l4)>);
auto && l5 = [](int){};
TEST(decltype(l5));
TEST(std::decay_t<decltype(l5)>);
auto l6 = [](auto){}; // generic lambda
TEST(decltype(l6));
auto l7 = [&](int){};
TEST(decltype(l7));
auto l8 = [=](int){};
TEST(decltype(l8));
TEST(A);
TEST(B);
TEST(B&);
TEST(C);
TEST(C&&);
TEST(std::function<void(int)>);
TEST(std::function<void(int)>&);
TEST(int(int));
TEST(void(void));
TEST(void(int, ...));
TEST(int(&)(int));
TEST(int(*)(int));
TEST(void(*&)(int));
TEST(int);
TEST(void);
TEST(int*);
TEST(void*);
return 0;
}
输出结果如下：
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
decltype(l1): true
decltype(l2): true
decltype(l3): true
decltype(l4): false
std::decay_t<decltype(l4)>: true
decltype(l5): false
std::decay_t<decltype(l5)>: true
decltype(l6): false
decltype(l7): true
decltype(l8): true
A: false
B: true
B&: false
C: true
C&&: false
std::function<void(int)>: true
std::function<void(int)>&: false
int(int): false
void(void): false
void(int, ...): false
int(&)(int): false
int(*)(int): false
void(*&)(int): false
int: false
void: false
int*: false
void*: false
2. 判断一个类型是否是C语言函数类型或其指针类型
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
// whether T is C function
template <typename T>
struct is_cfunction : std::false_type {};
template <typename Return, typename... Args>
struct is_cfunction<Return(Args...)> : std::true_type {};
template <typename Return, typename... Args>
struct is_cfunction<Return(Args..., ...)> : std::true_type {};
#if __cplusplus >= 201703
template <typename Return, typename... Args>
struct is_cfunction<Return(Args...) noexcept> : std::true_type {};
template <typename Return, typename... Args>
struct is_cfunction<Return(Args..., ...) noexcept> : std::true_type {};
#endif
// whether T is C function pointer
template <typename T>
struct is_cfunction_pointer
: std::integral_constant<
bool,
std::is_pointer<T>::value &&
is_cfunction<std::remove_pointer_t<T>>::value> {};
// Whether T is C style callable: C function or C function pointer
template <typename T>
struct is_callable_c : std::integral_constant<
bool, is_cfunction<T>::value || is_cfunction_pointer<T>::value> {};
举例：
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
#define TEST(x) std::cout << #x << ": " << is_callable_c<x>::value << std::endl;
struct A {};
struct B {
void operator()() {}
};
struct C {
void operator()() const volatile & {}
};
int main() {
std::cout << std::boolalpha;
auto l1 = [](int){};
TEST(decltype(l1));
auto l2 = [](int, ...){};
TEST(decltype(l2));
const auto l3 = [](int){};
TEST(decltype(l3));
const auto & l4 = [](int){};
TEST(decltype(l4));
TEST(std::decay_t<decltype(l4)>);
auto && l5 = [](int){};
TEST(decltype(l5));
TEST(std::decay_t<decltype(l5)>);
auto l6 = [](auto){}; // generic lambda
TEST(decltype(l6));
auto l7 = [&](int){};
TEST(decltype(l7));
auto l8 = [=](int){};
TEST(decltype(l8));
TEST(A);
TEST(B);
TEST(B&);
TEST(C);
TEST(C&&);
TEST(std::function<void(int)>);
TEST(std::function<void(int)>&);
TEST(int(int));
TEST(void(void));
TEST(void(int, ...));
TEST(int(&)(int));
TEST(int(*)(int));
TEST(void(*&)(int));
TEST(int);
TEST(void);
TEST(int*);
TEST(void*);
return 0;
}
输出如下：
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
decltype(l1): false
decltype(l2): false
decltype(l3): false
decltype(l4): false
std::decay_t<decltype(l4)>: false
decltype(l5): false
std::decay_t<decltype(l5)>: false
decltype(l6): false
decltype(l7): false
decltype(l8): false
A: false
B: false
B&: false
C: false
C&&: false
std::function<void(int)>: false
std::function<void(int)>&: false
int(int): true
void(void): true
void(int, ...): true
int(&)(int): false
int(*)(int): true
void(*&)(int): false
int: false
void: false
int*: false
void*: false
判断一个类型是否是可调用的
可调用类型就是以上两种情况的综合，is_callable_class或is_callable_c。
另外，如果想包括其引用也判断为可调用类型的话，可以先将某类型decay，然后再判断是否是以上两种情况之一。
1
2
3
4
5
6
7
8
// whether T is callable
template <typename T>
struct is_callable : std::integral_constant<
bool, is_callable_class<T>::value || is_callable_c<T>::value> {};
// whether decay_t<T> is callable
template <typename T>
struct decay_is_callable : is_callable<std::decay_t<T>> {};
举例：
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
#define TEST(x) std::cout << #x << ": " << is_callable<x>::value << std::endl;
struct A {};
struct B {
void operator()() {}
};
struct C {
void operator()() const volatile & {}
};
int main() {
std::cout << std::boolalpha;
auto l1 = [](int){};
TEST(decltype(l1));
auto l2 = [](int, ...){};
TEST(decltype(l2));
const auto l3 = [](int){};
TEST(decltype(l3));
const auto & l4 = [](int){};
TEST(decltype(l4));
TEST(std::decay_t<decltype(l4)>);
auto && l5 = [](int){};
TEST(decltype(l5));
TEST(std::decay_t<decltype(l5)>);
auto l6 = [](auto){}; // generic lambda
TEST(decltype(l6));
auto l7 = [&](int){};
TEST(decltype(l7));
auto l8 = [=](int){};
TEST(decltype(l8));
TEST(A);
TEST(B);
TEST(B&);
TEST(C);
TEST(C&&);
TEST(std::function<void(int)>);
TEST(std::function<void(int)>&);
TEST(int(int));
TEST(void(void));
TEST(void(int, ...));
TEST(int(&)(int));
TEST(int(*)(int));
TEST(void(*&)(int));
TEST(int);
TEST(void);
TEST(int*);
TEST(void*);
return 0;
}
输出结果如下：
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
decltype(l1): true
decltype(l2): true
decltype(l3): true
decltype(l4): false
std::decay_t<decltype(l4)>: true
decltype(l5): false
std::decay_t<decltype(l5)>: true
decltype(l6): false
decltype(l7): true
decltype(l8): true
A: false
B: true
B&: false
C: true
C&&: false
std::function<void(int)>: true
std::function<void(int)>&: false
int(int): true
void(void): true
void(int, ...): true
int(&)(int): false
int(*)(int): true
void(*&)(int): false
int: false
void: false
int*: false
void*: false
测试decay_is_callable结果如下：
1
2
#define TEST(x) std::cout << #x << ": " << decay_is_callable<x>::value << std::endl;
// 代码同上，这里省略
输出：
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
decltype(l1): true
decltype(l2): true
decltype(l3): true
decltype(l4): true
std::decay_t<decltype(l4)>: true
decltype(l5): true
std::decay_t<decltype(l5)>: true
decltype(l6): false
decltype(l7): true
decltype(l8): true
A: false
B: true
B&: true
C: true
C&&: true
std::function<void(int)>: true
std::function<void(int)>&: true
int(int): true
void(void): true
void(int, ...): true
int(&)(int): true
int(*)(int): true
void(*&)(int): true
int: false
void: false
int*: false
void*: false
成员指针类型
用子类取基类成员的地址得到什么类型？
例如：
1
2
3
4
5
6
7
8
9
struct B {
int i = 1;
};
struct D: public B {
};
int main() {
static_assert(std::is_same<decltype(&D::i), int B::*>::value, "Never happen");
static_assert(std::is_same<decltype(&D::B::i), int B::*>::value, "Never happen");
}
可见，用子类取基类成员的地址得到的是基类成员指针类型。如上例中 &D::i 就相当于 &D::B::i，
得到的成员指针类型是int B::*。
成员指针类型书写形式中的类类型，如果是 cv-qualified 会有什么影响？
例如：
1
2
3
4
5
6
7
8
9
10
11
struct B {
int i = 1;
};
using ConstB = const B;
int main() {
static_assert(std::is_same<int B::*, int ConstB::*>::value, "Never happen");
static_assert(std::is_same<int B::*, int std::add_const_t<B>::*>::value, "Never happen");
static_assert(std::is_same<int B::*, int std::add_volatile_t<B>::*>::value, "Never happen");
static_assert(std::is_same<int B::*, int std::add_cv_t<B>::*>::value, "Never happen");
}
可见，成员指针类型书写形式中的类类型如果是 cv-qualified，那么C++会自动将其remove_cv，也就是
视作与相应的 成员指针类型书写形式中类类型是 cv-unqualified 的类型 是同一种类型。
并不会像给类类型加引用那样编译报错，例如int std::add_lvalue_reference_t<B>::*会编译报错
“type ‘add_lvalue_reference_t<B>’ (aka ‘B &’) cannot be used prior to ‘::’ because it has no members”。