C++作为一门静态类型语言,是需要程序员声明变量类型的。然而来到了C++11,auto的诞生使得变量声明变得及为方便,尤其是对于比较长的模板类型,auto一定程度上为代码编写者减轻了负担。到了C++23,突然来了个新特性:auto{x}/auto(x),这又是个什么东西,它的motivation又是什么?
首先这是一个中国小伙为C++23作出的贡献,他是一位在美国工作的engineering,这是他的主页。
到底解决了什么问题?
来看看这个函数。
void my_erase(auto& x) {
std::erase(x, x.front());
}
假如我们传入一个vector类型,vector初始化为{1, 2, 3, 1, 2, 3},然后通过调用std::erase,按照正常想法,函数执行完毕之后vector应该仅仅删掉大小为1首元素。可是事实却并非如此,通过代码运行会发现容器剩下的元素是{2, 3, 1, 3},这里面究竟发生了什么。
_GLIBCXX_NODISCARD _GLIBCXX20_CONSTEXPR
reference
front() _GLIBCXX_NOEXCEPT
{
__glibcxx_requires_nonempty();
return *begin();
}
通过源码查看,可以发现front()其实是引用类型,而std::erase本身又调用了std::__remove_if,这也不难让人想出解决问题的办法,也就是做一份拷贝。
void my_erase(auto& x) {
auto tmp = x.front();
std::erase(x, tmp);
}
但是既然都来写Cpp了,我们还可以追服务器托管网求点“洁癖”,我们很多时候并不希望有多余的拷贝,这时候右值就派上了用场。
void my_erase(auto& x) {
using T = std::decay_t;
std::erase(x, T{x.front()});
}
在进行”类型萃取“之后,我们就可以获取到了容器第一个元素的原始类型,或者叫退化类型,即可以去掉cv限定符还有引用的类型(如果传入的是数组,就会退化为指针)。
但是到了C++23,在上面这种语境的情况下,auto{x}/auto(x)服务器托管网便可大展拳脚,没再必要进行”类型萃取“。
void my_erase(auto& x) {
std::erase(x, auto{x.front()});
}
最后
在现代C++中,auto无疑是宠儿,从C++11到C++14,再到如今的C++23,它随时在发展着,使我们的代码变得更加的简洁和高效。在上面这个例子当中,我们无需进行多余的操作,就能大大地简化代码,或许将来它还能在更多场合发展出优势。
服务器托管,北京服务器托管,服务器租用 http://www.fwqtg.net
机房租用,北京机房租用,IDC机房托管, http://www.fwqtg.net
相关推荐: L1-7 谷歌的招聘 (20 分)(C/C++)
2004 年 7 月,谷歌在硅谷的 101 号公路边竖立了一块巨大的广告牌(如下图)用于招聘服务器托管网。内容超级简单,就是一个以 .com 结尾的网址,而前面的网址是一个 10 位素数,这个素数是自然常数 e 中最早出现的 10 位连续数字。能找出这个素数的…