P1046 陶陶摘苹果
对应章节：三、解题方法论：从题意到代码 → （八） 用不变量和反例检查推导。
（一） 任务与输出目标
给出十个苹果高度与伸手高度，踩上 30 厘米的板凳后统计能摘到的苹果数。
（二） 建模与推导
最高可达高度等于伸手高度加 30。逐个比较苹果高度与这个值，高度相等也能摘到，因此使用小于等于。
（三） 手算与过程
伸手高度为 100 时可达 130；苹果在 130 处计入，在 131 处不计入。
（四） 带注释实现
#include <bits/stdc++.h>
#define int long long
#define endl '\n'
using namespace std;
void solve() {
int a[10], height, answer = 0;
for (int i = 0; i < 10; ++i)
cin >> a[i];
cin >> height;
for (int i = 0; i < 10; ++i)
if (a[i] <= height + 30)
++answer; // 板凳提高了可达高度。
cout << answer << '\n';
}
signed main() {
ios::sync_with_stdio(false); // 关闭同步，使用 cin 与 cout 完成输入输出。
cin.tie(0), cout.tie(0);
int T = 1; // 本题读入一组数据。
// cin >> T; // 题目给出测试组数时开启，并在 solve 中处理一组。
while (T--)
solve();
}（五） 复杂度
十次比较，时间 \(O(1)\)，额外空间 \(O(1)\)。