考虑一个模板类,创建它的一个对象,代码如下:
template <typename T>
struct Holder {
Holder(T t,bool is_null=false)
{
is_null_ = is_null;
data_ = t;
}
T data_;
bool is_null_;
};
int main() {
std::map<int, std::string> m{{1,"hello"},{2,"world"}};
//类型必须写全!!
Holder< std::map<int,std::string> > kk{ m, true };
//采取auto也不能省事
auto kk2 = Holder< std::map<int,std::string> >{ m, true };}
为此,传统的解决方法是创建一个make_xxx模板函数,利用模板函数自动推导模板参数的超能力。
// ...
template<typename T>
auto make_holder(T t, bool is_null=false) {
return Holder<T>(t, is_null);
}
int main() {
std::map<int, std::string> m{};
auto kk3 = make_holder(m, true);
}
std::make_pair , std::make_tuple , 都是这个原理。在C++17里,可以根据构造函数的参数,自动推导模板类的类型参数
int main() {
std::map<int, std::string> m{};
//Holder< std::map<int,std::string> > kk5{ m, true }; //太繁琐,不建议。能吓退很多初学者的恐怖语法。
Holder kk5(m, true); //C++17 , 简单了很多,对初学者很友好。}
这样,对模板类的使用,就像普通类(非模板)的使用一致起来
原文链接: https://www.cnblogs.com/thomas76/p/8540189.html
欢迎关注
微信关注下方公众号,第一时间获取干货硬货;公众号内回复【pdf】免费获取数百本计算机经典书籍
原创文章受到原创版权保护。转载请注明出处:https://www.ccppcoding.com/archives/270181
非原创文章文中已经注明原地址,如有侵权,联系删除
关注公众号【高性能架构探索】,第一时间获取最新文章
转载文章受原作者版权保护。转载请注明原作者出处!