先说说函数调用到底是个啥

哎，别紧张，咱们先把概念抖一抖。

函数嘛，就是一段Ke以重复使用的代码块。

一旦你在主程序里喊它一声，它就会跳进去干活。

这时候，数据可不是凭空出现的，dou是从哪里来的？

说实话，这背后有个叫“数据流”的东西在玩儿。

每一次函数调用，系统dou会给它开一个栈帧。

栈帧就是一个临时的小盒子，用来装参数、局部变量、返回地址。

比如你写了int add，传进去的a、b就被塞进栈帧里。

哈哈，这时候Ru果还有嵌套调用，就会在栈顶再开一个geng小的盒子。

等子函数跑完，系统会把它收回，数据再往上层走。

大多数语言dou把参数压栈或者放寄存器。

压栈的话，就是先把右边的参数放进去，然后左边的跟着进。

寄存器的话，就直接把值塞进CPU的小抽屉里。

不管哪种方式，本质上dou是“把数据从调用点搬到被调用点”。

函数算完事儿，会把结果放到特定位置——有的是寄存器，有的是栈。

然后主调代码再去拿这个值继续往下走。

所以说整个过程就是一次“进—出”的旅行。

控制流图关注的是代码执行顺序——哪句先哪句后。

而数据流图专门追踪变量怎么在这些节点之间传递。

举个例子，你在A点给x赋值，在B点用xZuo计算，DFG会画根线连起来。

这样，你一眼就Nengkan出x到底从哪儿来要去哪儿用。

I代表interprocedural，也就是跨过程的意思。

ICFG把所有函数的CFG和DFG拼成一张大网，让你kan到全局的数据走向。

比如main里call foo，然后foo里call bar，ICFG会把这三段连成一条线，让你明白bar里的变量Zui终会回到main吗？

a=10,b=20,c=30，这三个数要算平均值，我写了个float avg

#1 主程序把a、b、c压栈——顺序是c,b,a。

#2 调用avg时又开了新栈帧，把x、y、z对应地复制进来——其实是拷贝，一模一样但位置不同。

#3 avg内部算sum = x+y+z，然后除以3得到result。

#include 
float avg{
    int sum = x + y + z;
    return sum / 3.0;
}
int main{
    int a=10,b=20,c=30;
    float r = avg;
    printf;
    return 0;
}

• 问：为什么百度不收录我的页面？

• 答：可Neng是因为页面缺少有效的标签，或者内容太短，没有形成完整的语义结构。再者，Ru果站点没有提交sitemap给百度抓取平台，也会导致爬虫找不到入口。还有啊，Ru果页面加载全靠JS渲染，而没有SSR预渲染，那百度爬虫可Neng直接kan到空白。Zui后不要忘了检查robots.txt有没有误拦截关键路径哦。咱就是说这些细节dou得打理好才Neng让百度开心收录啦！

DFA，全称Data Flow Analysis，即数据流分析。它是一套数学模型，用来推断每条指令前后变量可Neng拥有的取值集合。听起来高大上，其实就是帮你找“这段代码里某个变量到底可Neng是什么”。

- 当你写代码时IDE会提示未使用变量，这是DFA在背后偷偷跑；

- 静态分析工具报错“可Neng空指针”，也是DFAZuo功；

- 自动重构时它Neng判断哪些语句Ke以安全删除或合并。

- 甚至还Neng帮你找出死代码，让你的项目geng干净。

// 假设我们有如下片段
int x = 0;
if{
    x = getValue; // 此处x可Neng被赋予任意正整数
}
print;

- 初始状态：x∈{0}

- 条件分支1：若cond为false，则x仍然是{0}；

- 条件分支2：若cond为true，则x∈；

- 合并后：x∈{0} ∪ => “任意非负整数”。

- 编译器 读源码，把每个词法单元变成token；

- 然后根据语法规则，把token串组装成抽象语法树，这棵树描述了程序结构。

// source:
int add{return a+b;}
int main{int r=add;}
// AST
Program
 ├─FunctionDecl add
 │   ├─Param a
 │   ├─Param b
 │   └─ReturnStmt 
 └─FunctionDecl main
     └─VarDecl r = Call add

- AST 被翻译成中间表示，比如LLVM IR，它geng接近机器指令，却保持平台无关性；

- 在IR层面Ke以进行各种优化，如常量折叠、死代码消除等。

; LLVM IR 示例
define i32 @add {
entry:
  %sum = add i32 %a, %b
  ret i32 %sum
}
define i32 @main {
entry:
  %call = call i32 @add
  ret i32 %call
}

- 优化后的IR被映射成目标平台指令，比如x86_64或ARM；

- 栈帧布局、寄存器分配全部在这里完成。

顺带提一句，不对不对，我刚才说的是LLVM IR，其实还有hen多其他IR，比如GCC 的GIMPLE，不过思路差别不大呀~哈哈~😂

- SFINAE Neng让模板在编译期根据类型特征选择重载；

- 利用std::enable_if_t, Ke以让某些函数只接受满足条件的参数，从而实现“编译期过滤”。

#include 
template, int> = 0>
T add{return a+b;}
template, int> = 0>
T add{static_assert;}
int main{auto r=add;} // OK
//auto s=add; // 编译错误

C++20 Concepts —— geng友好的约束语法 😎😎😎

#include 
template
concept Integral = std::is_integral_v;
template
T mul{return a*b;}
int main{
    std::cout < mul < '\
'; // OK
    //mul; // 编译错误，因为 double 不满足 Integral
}