diff --git a/3.MovingToModernCpp/item8.md b/3.MovingToModernCpp/item8.md new file mode 100644 index 0000000..9c4c94f --- /dev/null +++ b/3.MovingToModernCpp/item8.md @@ -0,0 +1,149 @@ +## Item 8: Prefer nullptr to 0 and NULL. +条款八:优先考虑nullptr而非0和NULL + +你看这样对不对:字面值0是一个int不是指针。 +如果C++发现在当前上下文只能使用指针,它会很不情愿的把0解释为指针,但是那是最后的退路。 +一般来说C++的解析策略是把0看做int而不是指针。 + +实际上,NULL也是这样的。但在NULL的实现细节有些不确定因素, +因为实现被允许给NULL一个除了**int**之外的整型类型(比如**long**)。 +这不常见,但也算不上问题所在。这里的问题不是NULL没有一个确定的类型,而是0和NULL都不是指针类型。 + +在C++98中,对指针类型和整型进行重载意味着可能导致奇怪的事情。 +如果给下面的重载函数传递0或NULL,它们绝不会调用指针版本的重载函数: +````cpp +void f(int); //三个f的重载函数 +void f(bool); +void f(void*); + +f(0); //调用f(int)而不是f(void*) + +f(NULL); //可能不会被编译,一般来说调用f(int),绝对不会调用f(void*) +```` +而f(NULL)的不确定行为是由NULL的实现不同造成的。 +如果NULL被定义为**0L**(指的是**0**为**long**类型),这个调用就具有二义性,因为从**long**到**int**的转换或从**long**到**bool**的转换或**0L**到**void\* **的转换都会被考虑。 +有趣的是源代码表现出的意思(我指的是使用NULL调用f)和实际想表达的意思(我指的是用整型数据调用f)是相矛盾的。 +这种违反直觉的行为导致C++98程序员都将避开同时重载指针和整型作为编程准则_[0]_。 +在C++11中这个编程准则也有效,因为尽管我这个条款建议使用**nullptr**,可能很多程序员还是会继续使用**0**或**NULL**,哪怕**nullptr**是更好的选择。 + +**nullptr**的优点是它不是整型。 +老实说它也不是一个指针类型,但是你可以把它认为是通用类型的指针。 +**nullptr**的真正类型是**std::nullptr_t**,在一个完美的循环定义以后,**std::nullptr_t**又被定义为**nullptr**。 +**std::nullptr_t**可以转换为指向任何内置类型的指针,这也是为什么我把它叫做通用类型的指针。 + +使用**nullptr**调用f将会调用**void\***版本的重载函数,因为**nullptr**不能被视作任何整型: +````cpp +f(nullptr); //调用重载函数f的f(void*)版本 +```` +使用**nullptr***代替**0**和**NULL**可以避开了那些令人奇怪的函数重载决议,这不是它的唯一优势。 +它也可以使代码表意明确,尤其是当和**auto**一起使用时。 +举个例子,假如你在一个代码库中遇到了这样的代码: +````cpp +auto result = findRecord( /* arguments */ ); +if (result == 0) { + … +} +```` +如果你不知道findRecord返回了什么(或者不能轻易的找出),那么你就不太清楚到底result是一个指针类型还是一个整型。 +毕竟,**0**也可以像我们之前讨论的那样被解析。 +但是换一种假设如果你看到这样的代码: +````cpp +auto result = findRecord( /* arguments */ ); +if (result == nullptr) { + … +} +```` +这就没有任何歧义:**result**的结果一定是指针类型。 + +当模板出现时**nullptr**就更有用了。 +假如你有一些函数只能被合适的已锁互斥量调用。 +每个函数都有一个不同类型的指针: +````cpp +int f1(std::shared_ptr spw); // 只能被合适的 +double f2(std::unique_ptr upw); // 已锁互斥量调 +bool f3(Widget* pw); // 用 +```` +如果这样传递空指针: +````cpp +std::mutex f1m, f2m, f3m; // 互斥量f1m,f2m,f3m,各种用于f1,f2,f3函数 +using MuxGuard = // C++11的typedef,参见Item9 + std::lock_guard; + … +{ + MuxGuard g(f1m); // 为f1m上锁 + auto result = f1(0); // 向f1传递控制空指针 +} // 解锁 +… +{ + MuxGuard g(f2m); // 为f2m上锁 + auto result = f2(NULL); // 向f2传递控制空指针 +} // 解锁 +… +{ + MuxGuard g(f3m); // 为f3m上锁 + auto result = f3(nullptr); // 向f3传递控制空指针 +} // 解锁 +```` +令人遗憾前两个调用没有使用**nullptr**,但是代码可以正常运行,这也许对一些东西有用。 +但是重复的调用代码——为互斥量上锁,调用函数,解锁互斥量——更令人遗憾。它让人很烦。 +模板就是被设计于减少重复代码,所以让我们模板化这个调用流程: +````cpp +template +auto lockAndCall(FuncType func, + MuxType& mutex, + PtrType ptr) -> decltype(func(ptr)) { + MuxGuard g(mutex); + return func(ptr); +} +```` +如果你对函数返回类型** (auto … -> decltype(func(ptr)) **感到困惑不解,Item3可以帮助你。 +在C++14中代码的返回类型还可以被简化为**decltype(auto)**: +````cpp +template +decltype(auto) lockAndCall(FuncType func, + MuxType& mutex, + PtrType ptr) { + MuxGuard g(mutex); + return func(ptr); +} +```` +可以写这样的代码调用**lockAndCall**模板(两个都算): +````cpp +auto result1 = lockAndCall(f1, f1m, 0); // 错误! +… +auto result2 = lockAndCall(f2, f2m, NULL); // 错误! +… +auto result3 = lockAndCall(f3, f3m, nullptr); // 没问题 +```` +代码虽然可以这样写,但是就像注释中说的,前两个情况不能通过编译。 +在第一个调用中存在的问题是当0被传递给**lockAndCall**模板,模板类型推导会尝试去推导实参类型, +**0**的类型总是**int**,所以**int**版本的实例化中的func会被int类型的实参调用。 +这与**f1**期待的参数**std::shared_ptr**不符。 +传递**0**本来想表示空指针,结果**f1**得到的是和它相差十万八千里的**int**。 +把**int**类型看做**std::shared_ptr**类型自然是一个类型错误。 +在模板**lockAndCall**中使用**0**之所以失败是因为得到的是**int**但实际上模板期待的是一个 +**std::shared_ptr** + +第二个使用**NULL**调用的分析也是一样的。当**NULL**被传递给**lockAndCall**,形参ptr被推导为整型_[1]_, +然后当ptr——一个int或者类似int的类型——传递给f2的时候就会出现类型错误。当ptr被传递给f3的时候, +隐式转换使**std::nullptr_t**转换为**Widget\* **,因为**std::nullptr_t**可以隐式转换为任何指针类型。 + + +模板类型推导将**0**和**NULL**推导为一个错误的类型,这就导致它们的替代品**nullptr**很吸引人。 +使用**nullptr**,模板不会有什么特殊的转换。 +另外,使用**nullptr**不会让你受到同重载决议特殊对待**0**和**NULL**一样的待遇。 +当你想用一个空指针,使用**nullptr**,不用**0**或者**NULL**。 + +记住 ++ 优先考虑nullptr而非0和NULL ++ 避免重载指针和整型 + + +## 译注 +[0] 请务必注意结合上下文使用这条规则 + +[1] 由于依赖于具体实现所以不一定是整数类型,所以用整型泛指int,long等类型 \ No newline at end of file diff --git a/README.md b/README.md index a1a37fa..3277a9f 100644 --- a/README.md +++ b/README.md @@ -16,7 +16,7 @@ 2. [Item 6:auto推导若非己愿,使用显式类型初始化惯用法](https://github.com/racaljk/EffectiveModernCppChinese/blob/master/2.auto/item6.md) 3. 移步现代C++ 1. [Item 7:区别使用()和{}创建对象](https://github.com/racaljk/EffectiveModernCppChinese/blob/master/3.MovingToModernCpp/item7.md) - 2. Item 8:优先考虑nullptr而非0和NULL + 2. [Item 8:优先考虑nullptr而非0和NULL]((https://github.com/racaljk/EffectiveModernCppChinese/blob/master/3.MovingToModernCpp/item8.md)) 3. Item 9:优先考虑alias声明而非typedefs 4. Item 10:优先考虑域内enum而非域外enum 5. Item 11:优先考虑使用delete而非使用未定义的私有声明