以下代码打印nullptr
而不是empty
(godbolt 链接):
#include <iostream>
class empty { };
#if 1
void f(std::nullptr_t) {
std::cout << "nullptr\n";
}
#endif
void f(empty) {
std::cout << "empty\n";
}
int main() {
f({});
}
禁用f(nullptr_t)
变体会导致empty
打印。当两个变体都可用时,C++ 使用什么规则来选择nullptr_t
变体?empty
初始化
std::nullptr_t
(或任何其他基本类型){}
更好,因为它会导致身份转换,而初始化类类型会导致用户定义的转换序列:- [over.ics.list] p8
empty
是聚合类型,因此本段适用。std::nullptr_t
不是一个类,因此以下段落适用:- [over.ics.list] p10
[over.best.ics]解释了哪种隐式转换序列更好,但很明显,恒等转换胜过其他一切。