答疑解惑 怎么会有::template的写法
起初
在阅读stl的源码的时候,发现了一条诡异的代码
// ALIAS TEMPLATE _Rebind_alloc_t
template<class _Alloc,class _Value_type>
using _Rebind_alloc_t = typename allocator_traits<_Alloc>::template rebind_alloc<_Value_type>;
在文件xmemory0中913行 我用的vs2017
两个冒号后面接了一个template,顿时我就懵逼了,这是什么意思?
分析
没记错的话
:: 两个冒号意思是前面一个作用域 类或者命名空间之类
template是一个关键字,一般用法都是写类或者函数前面,没有这样子用的呀,百思不解。
搜了一圈网上,几乎没有提这个东西的,倒是有一个博客有这样写,不过收费,而且还没看到有说的希望 博客连接
追踪
那就只能硬着头皮魔改猜测了,别看只有一行代码,挺复杂的,这句代码的意思是
给 allocator_traits<_Alloc> 的内嵌模板类rebind_alloc<_Value_type>起了一个别名叫_Rebind_alloc_t ,这里面提到三个类型,这三个东西挺恶心,都是模板类,基础模板类allocator_traits<_Alloc>又是一通继承搞的复杂的要命
allocator_traits<_Alloc>继承conditional_t
template<class _Alloc>
struct allocator_traits: conditional_t<_Is_default_allocator<_Alloc>::value,