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

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() 函数,只不过它是内建到语言里面的而已。

http://www.xdnf.cn/news/2720.html

相关文章:

  • 一键叠图工具
  • 浏览器存储
  • 服务器文件同步工具有哪些?
  • 经典数仓架构深度解析与演进:从离线处理到新型架构对比
  • 实战篇:在QEMU中编写和调试VHost/Virtio驱动
  • 从数据到决策:如何使用Python进行自动驾驶数据分析
  • 利用Python打印有符号十进制数的二进制原码、反码、补码
  • 问题 ERROR: for jobmanager ‘ContainerConfig‘ 原因及解决
  • ComfyUI 学习笔记:安装篇及模型下载
  • 2025-4-27-C++ 学习 数组(2)
  • springboot项目文件上传到服务器本机,返回访问地址
  • 高级数据库对象全面解析:视图、存储过程与触发器
  • Express.js 框架教程:从入门到精通
  • 【“星瑞” O6 评测】 — llm CPU部署对比高通骁龙CPU
  • T-BOX应用 NXP S32K148控芯片搭配 SD NAND(嵌入式SD卡)存储的完美结合
  • 设计模式(状态模式)
  • 【力扣刷题实战】丢失的数字
  • vue代码规范管理
  • BeeWorks企业内部即时通讯软件支持国产化,已在鸿蒙系统上稳定运行
  • 【Altium】自定义菜单显示名称
  • C++23 std::bind_back:一种调用包装器 (P2387R3)
  • Matlab自学笔记五十二:变量名称:检查变量名称是否存在或是否与关键字冲突
  • Nacos-3.0.0适配PostgreSQL数据库
  • 互容是什么意思?
  • python+selenium实现淘宝商品数据半自动查询
  • pg数据库删除模式
  • CVE-2024-3431 EyouCMS 反序列化漏洞研究分析
  • 道可云人工智能每日资讯|“人工智能科技体验展”在中国科学技术馆举行
  • 【原创】从s3桶将对象导入ES建立索引,以便快速查找文件
  • 基于 MeloTTS.cpp 的轻量级的纯 C++ 文本转语音(TTS)库