如何用C++23函数式范式结合ranges库实现帕斯卡三角行计算？

我正在学习Modern C++，是函数式范式（functional paradigm）的爱好者。希望使用C++23及其ranges库计算帕斯卡三角的行。以下是我认为非常优雅的Haskell实现：

pascal 0 = [1]
pascal n = zipWith (+) (0:pascal (n-1)) (pascal (n-1) ++ [0])

我的C++23尝试实现如下：

#include <iostream>
#include <vector>
#include <ranges>

namespace stdv = std::views;

std::vector<int> triangle_row(int n);
auto add = [](auto a, auto b) {return a + b; };

std::vector<int> triangle_row(int n) {
   if (n == 0) {
      return {1};
   } 
   else {
      auto left = (triangle_row(n-1)).insert(triangle_row(n-1).begin(), 0);
      auto right = (triangle_row(n-1)).insert(triangle_row(n-1).end(),0);
      auto tri_row = stdv::zip_transform(add, left, right); 
      return tri_row;
   }
} 

但else部分出现如下编译错误：

<source>: In function 'std::vector<int> triangle_row(int)':
<source>:17:41: error: no match for call to '(const std::ranges::views::_ZipTransform) (<lambda(auto:54, auto:55)>&, __gnu_cxx::__normal_iterator<int*, std::vector<int> >&, __gnu_cxx::__normal_iterator<int*, std::vector<int> >&)'
   17 |       auto tri_row = stdv::zip_transform(add, left, right);
      |                      ~~~~~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~
...

请问如何以函数式范式（即不使用for循环等）正确且优雅地实现该功能？

问题分析与修正方案 #

你的代码存在几个关键问题：

• insert返回迭代器而非完整range：vector::insert返回的是指向插入元素的迭代器，不是整个容器，而zip_transform需要接收完整的range作为参数。
• 重复计算上一行：多次调用triangle_row(n-1)会重复生成相同的行，既不高效也不符合函数式纯函数的优化思路。
• 视图无法直接转为vector：zip_transform生成的是视图对象，需要显式转换为vector。

以下是符合函数式风格的正确实现：

#include <iostream>
#include <vector>
#include <ranges>
#include <functional>

namespace rv = std::ranges::views;

std::vector<int> triangle_row(int n) {
    if (n == 0) {
        return {1};
    }
    // 缓存上一行，避免重复计算
    const auto prev_row = triangle_row(n - 1);
    // 构造带前置0的视图
    const auto left = rv::concat(rv::single(0), prev_row);
    // 构造带后置0的视图
    const auto right = rv::concat(prev_row, rv::single(0));
    // 逐元素相加并转换为vector
    return std::ranges::to<std::vector<int>>(rv::zip_transform(std::plus<>(), left, right));
}

// 测试示例
int main() {
    for (int i = 0; i < 5; ++i) {
        const auto row = triangle_row(i);
        for (int num : row) {
            std::cout << num << " ";
        }
        std::cout << "\n";
    }
    return 0;
}

实现说明 #

• 避免重复计算：先缓存prev_row，仅计算一次上一行，符合函数式无副作用的纯函数特性。
• 基于视图构造序列：用rv::concat和rv::single构造带首尾0的视图，无需修改原容器，保持数据不可变性。
• 复用标准函数对象：用std::plus<>()替代自定义lambda，贴合标准库的函数式设计风格。
• 显式视图转容器：通过std::ranges::to将zip_transform生成的视图转换为vector，完成最终的容器构造。

这个实现完全遵循函数式范式：无循环、依赖纯函数调用、利用视图实现声明式的序列组合。

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