C++20 Concepts如何让三角形面积计算不再踩坑

用C++11的初始化列表能解决90%的输入问题，但C++20的Concepts能帮你提前预知99.9%的逻辑错误。

你是不是也遇到过这种诡异的bug？输入三边长度明明是1,2,3，结果计算出来的面积却变成了a,b,c的地址值。这种时候老实说，很多新手都会在这里摔跤。其实问题很简单，但背后藏着现代C++的几个关键设计哲学。

看这段代码：

double a, b, c;
cin >> a >> b >> c;
double area = sqrt((a+b+c)*(a-b+c)*(b-c+a)*(c-a+b))/4;

别急着骂作者，这种写法在C++98时代很常见。但到了C++11，我们有了初始化列表：

double a, b, c;
cin >> std::tie(a, b, c);

这句代码的魔力在于它强制要求三个变量都被正确读取，否则整个操作会失败。更妙的是，C++20的Concepts能帮你提前预知这种问题。

想象一下，如果用Concepts定义函数参数：

template <typename T>
concept TriangleSide = std::is_floating_point_v<T> && requires(T x) {
    { x } -> std::floating_point;
    { sqrt(x) } -> std::floating_point;
};

这个约束会确保所有参数都是浮点类型，还能在编译期检测数学运算有效性。比起用cin的返回值判断，这种零开销抽象的特性让代码更安全。

更狠的是Modules带来的编译加速。以前#include几十个头文件要等十几秒，现在模块系统能让你的编译时间缩短40%以上。这背后是C++标准委员会在2023年新增的模块特性，让代码组织更清晰。

说到高性能，游戏引擎都在用Coroutines做异步计算。比如Unreal Engine 5的Nanite技术，底层用C++20的awaitable实现几何体计算，比传统多线程方案效率提升3倍。这跟我们算三角形面积有什么关系？其实核心都是资源管理和计算流程优化。

试试把面积公式改写成lambda表达式：

auto area = [](double a, double b, double c) {
    return sqrt((a + b + c) * (a - b + c) * (b - c + a) * (c - a + b)) / 4;
};

这种写法不仅更清晰，还能配合constexpr在编译期计算。不过别急着用，先确保你的编译器支持C++20。

最后问一句：如果用C++23的std::ranges，你能写出更简洁的输入处理吗？

C++20,Concepts,Modules,Coroutines,RAII,MoveSemantics,lambda,constexpr,类型安全,零开销抽象