【Effective Modern Cpp】条款9:优先考虑别名声明而非typedef

本文主要是介绍【Effective Modern Cpp】条款9:优先考虑别名声明而非typedef，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

• 别名声明和typedef都能避免使用冗长的变量名称，但是别名声明更加直观，如下：

typedefstd::unique_ptr<std::unordered_map<std::string, std::string>>UPtrMapSS; 
using UPtrMapSS = std::unique_ptr<std::unordered_map<std::string, std::string>>;typedef void (*FP)(int, const std::string&);
using FP = void (*)(int, const std::string&);

• 别名声明可以被模板化但是typedef不能，typedef嵌套进模板化的struct才能等效
• 并且使用typedef声明一个使用了模板形参的对象，必须在typedef前面加上typename

// using
template<typename T>                            
using MyAllocList = std::list<T, MyAlloc<T>>;
MyAllocList<Widget> lw; template<typename T> 
class Widget {
private:MyAllocList<T> list;
};// typedef
template<typename T>                            
struct MyAllocList {                            typedef std::list<T, MyAlloc<T>> type;
};
MyAllocList<Widget>::type lw;template<typename T>
class Widget {                              
private:                                    typename MyAllocList<T>::type list;
}; 

• 使用typedef定义的MyAllocList<T>::type是一个依赖类型，必须使用typename修饰符，避免出现歧义

class Wine { … };template<>                 //当T是Wine
class MyAllocList<Wine> {  //特化MyAllocList
private:  enum class WineType      { White, Red, Rose };WineType type;        //在这个类中，type是一个数据成员！
};

说明：如果Widget使用Wine实例化，在Widget模板中的MyAllocList<Wine>::type将会是一个数据成员，不是一个类型，在Widget模板内，MyAllocList<T>::type是否表示一个类型取决于T是什么，这就是为什么编译器会坚持要求你在前面加上typename

这篇关于【Effective Modern Cpp】条款9:优先考虑别名声明而非typedef的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！

---