如何在C++中创建同一算法的优化变体且避免大量代码复制粘贴？

问题背景 #

在编写实时优化场景（如音频或图形处理）的C++代码时，常遇到这类需求：需要某段代码的多个变体，但仅内循环存在微小差异——通常是算法结果的输出方式不同，比如替换输出缓冲区原有数据、与原有数据累加或相乘等。直接复制粘贴整个方法仅修改内循环几行代码的做法非常糟糕。

曾尝试用混合公式解决：

*p_buffer++ = A*(*p_buffer) + B*new_value + C;

只需传入参数A、B、C即可，但这种方式会浪费CPU周期。此外，若缓冲区未初始化存在无效浮点值（如NAN），即使想将原有值乘0，结果仍可能为NAN。

希望能找到一种高效方式，在不牺牲速度的前提下创建这些方法变体，比如提供单独的方法：

Render();
RenderAdditive(); 
RenderMultiplicative();
RenderSomeOtherWay();

可行方案 #

通过模板结合C++17引入的if constexpr特性，可以实现编译期分支选择，生成高效的代码变体。具体实现如下：

template<int TYPE> void Render(...)
{
    if constexpr (TYPE == 0)
        *p_output_buffer++ = data;

    if constexpr (TYPE == 1)
        *p_output_buffer++ += data;

    if constexpr (TYPE == 2)
        *p_output_buffer++ *= data;
}

该方案在编译阶段就会根据模板参数TYPE的不同，生成对应逻辑的独立代码，既避免了冗余代码的复制粘贴，又完全消除了运行时的分支判断开销，完美适配实时处理场景的性能要求。

内容的提问来源于stack exchange，提问作者user19179144