当前位置: 首页 > news >正文

auto(x) decay copy

       该提案为auto又增加了两个新语法:auto(x) 和auto{x}。两个作用一样,只是写法不同,都
是为x 创建一份拷贝。
为什么需要这么个东西?看一个例子:

void bar(const auto&);void foo(const auto& param) 
{auto copy = param;bar(copy);
}

     foo() 中调用bar(),希望传递一份param 的拷贝,则我们需要单独多声明一个临时变量。

     或是这样:

void foo(const auto& param)
{bar(std::decay_t<decltype(param)>{param});
}

 这种方式需要手动去除多余的修饰,只留下T,要更加麻烦。
auto(x) 就是内建的decay copy,现在可以直接这样写:

void foo(const auto& param) 
{bar(auto{param});
}

 大家可能还没意识到其必要性,来看提案当中更加复杂一点的例子。

void pop_front_alike(auto& container) 
{std::erase(container, container.front());
}int main() 
{std::vector fruits{ "apple", "apple", "cherry", "grape", "apple", "papaya", "plum", "papaya", "cherry", "apple"};pop_front_alike(fruits);fmt::print("{}\n", fruits);
}

 // Output:
// ["cherry", "grape", "apple", "papaya", "plum", "papaya", "apple"]

请注意该程序的输出,是否如你所想的一样。若没有发现问题,请容许我再提醒一下:pop_front_alike()
要移除容器中所有跟第1 个元素相同的元素。
因此,理想的结果应该为:
["cherry", "grape", "papaya", "plum", "papaya", "cherry"]
是哪里出了问题呢?让我们来看看gcc std::erase() 的实现:

template<typename _ForwardIterator, typename _Predicate>
_ForwardIterator
__remove_if(_ForwardIterator __first, _ForwardIterator __last,
_Predicate __pred)
{__first = std::__find_if(__first, __last, __pred);if (__first == __last)return __first;_ForwardIterator __result = __first;++__first;for (; __first != __last; ++__first)if (!__pred(__first)) {*__result = _GLIBCXX_MOVE(*__first);++__result;}return __result;
}template<typename _Tp, typename _Alloc, typename _Up>
inline typename vector<_Tp, _Alloc>::size_type
erase(vector<_Tp, _Alloc>& __cont, const _Up& __value)
{const auto __osz = __cont.size();__cont.erase(std::remove(__cont.begin(), __cont.end(), __value),__cont.end());return __osz - __cont.size();
}

 std::remove() 最终调用的是remove_if(),因此关键就在这个算法里面。这个算法每次会比较当前
元素和欲移除元素,若不相等,则用当前元素覆盖当前__result 迭代器的值,然后__result 向后移一位。重复这个操作,最后全部有效元素就都跑到__result 迭代器的前面去了。
      问题出在哪里呢?欲移除元素始终指向首个元素,而它会随着元素覆盖操作被改变,因为它的
类型为const T&。此时,必须重新copy 一份值,才能得到正确的结果。

故将代码小作更改,就能得到正确的结果。

void pop_front_alike(auto& container) 
{auto copy = container.front();std::erase(container, copy);
}

然而这种方式是非常反直觉的,一般来说这两种写法的效果应该是等价的。我们将copy 定义
为一个单独的函数,表达效果则要好一点。

auto copy(const auto& value) 
{return value;
}void pop_front_alike(auto& container) 
{std::erase(container, copy(container.front()));
}

而auto{x} 和auto(x),就相当于这个copy() 函数,只不过它是内建到语言里面的而已。

相关文章:

  • await和async
  • 2025年保安员证考试题库及答案
  • 【quantity】4 Duration 类型及其实现(time.rs)
  • C22-作业练习之最大公约数与最小公倍数
  • 如何开发动态贴纸功能?一体化美颜SDK的技术实现思路与实战方案
  • ZYNQ-自定义呼吸灯IP核以及PS-PL数据发送接收
  • Easy系列PLC高速计数器比较指令
  • 跟着文档学Vuex(一):什么是Vuex
  • 小智项目架构分析
  • uniapp实现统一添加后端请求Header方法
  • 如何评价 DeepSeek 的 DeepSeek-V3 模型?
  • OpenAvatarChat要解决UnicodeDecodeError
  • 云服务器主动防御策略与自动化防护(下)
  • MySQL最新版9.3.0安装教程
  • 【C++游戏引擎开发】第28篇:OpenGL异步加载纹理技术详解
  • Python分支结构全面解析与实战应用指南
  • n8n部署docker本地化备份和数据持久化和迁移问题
  • 苍穹外卖10
  • C语言-函数的嵌套调用,链式访问,函数的声明和函数的定义
  • pymsql(SQL注入与防SQL注入)
  • 张元济和百日维新
  • 君亭酒店:2024年营业收入约6.76亿元, “酒店行业传统增长模式面临巨大挑战”
  • 工信部:加快自动驾驶系统安全要求强制性国家标准研制
  • 物业也能成为居家养老“服务员”,上海多区将开展“物业+养老”试点
  • 陈平评《艺术科学的目的与界限》|现代艺术史学的奠基时代
  • 一年吸引30多万人次打卡,江苏这个渔村是怎么做到的?