View的三大特性之一:迟绑定

上篇文章我们学习了View三大特性之轻量级,今天学习第二课:迟绑定。

如你所知,迟绑定又有延迟计算,惰性处理等别称。具体是怎样的表现可以先看一下下面这段代码:

复制代码
// 迟绑定
#include <algorithm>
#include <iostream>
#include <ranges>
#include <vector>
​
int square(int x) {
    std::cout << x << " passes squared equals " << (x * x) << std::endl;
    return x * x;
}
​
void test_std() {
    std::cout << __func__ << std::endl;
    std::vector<int> data = {1, 2, 3};
    std::vector<int> ret;
    std::transform(data.begin(), data.end(), std::back_inserter(ret), square);
    std::cout << "after std::transform" << std::endl;
    for (auto&& x : ret) {
        std::cout << x << std::endl;
    }
}
​
void test_views() {
    std::cout << __func__ << std::endl;
    std::vector<int> data = {1, 2, 3};
    auto             ret  = std::ranges::views::transform(data, square);
    std::cout << "after std::ranges::views::transform" << std::endl;
    for (auto&& x : ret) {
        std::cout << x << std::endl;
    }
}
​
int main() {
    test_std();
    test_views();
}

输出结果为:

复制代码
test_std
1 passes squared equals 1
2 passes squared equals 4
3 passes squared equals 9
after std::transform
1
4
9
test_views
after std::ranges::views::transform
1 passes squared equals 1
1
2 passes squared equals 4
4
3 passes squared equals 9
9

我们发现在使用传统的 std::transform 会在函数执行时将所有数据进行立即的处理,因此当其获得返回值时,必然是进行一轮 O(n) 时间复杂度的处理。

而使用 views::transform 并获得返回值时,一次实际的 square() 都没有发生。直到我们在真正地进行数据处理(比如遍历数据)时才会一个一个地进行数据处理。这就是上文指的"延迟"计算。

这有一个极大的好处,比如当有时在循环时进行 break 后,后续数据的处理将一次都不会执行。这使得在很多实际应用场景中可以避免很多没必要的计算。

相关推荐
不正经学生2 分钟前
C语言结构体:自定义数据类型,让变量打包出行
java·c语言·开发语言·数据结构·算法
老一岁12 分钟前
c问题总结(1)
c语言·开发语言
加油码36 分钟前
动静态库的链接底层原理(进阶版)
linux·c++
一木 之林37 分钟前
三、内存管理、指针与堆栈
c语言·jvm·c++
cxr8281 小时前
数学的本质:关系、模式与不变量的结构世界
人工智能·算法·机器学习
林森lsjs1 小时前
队列 FIFO 原理 & 手撕两种队列实现(链表 + 循环数组)—数据结构陆
java·开发语言·数据结构·队列
何以解忧,唯有..1 小时前
Python time 模块详解:时间处理与日期操作指南
开发语言·python
caimouse2 小时前
ReactOS 窗口系统分析(20):光标与图标 — cursoricon.c
c语言·开发语言
初夏睡觉2 小时前
原创题目 - 空壳恋爱
c++·算法·dp·oi·信息学·原创题目·值得挑战的题目
间歇性努力持续性发呆的野生快乐选手2 小时前
stl容器使用和算法简介
数据结构·c++