17 | 函数式编程：一种越来越流行的编程范式

精选留言(3)

• 

  罗乾林

  参考 istream_line_reader 实现的，望老师斧正
  
  template<typename _InIt, typename _Fun>
  class filter_view {
  public:
  class iterator { // 实现 InputIterator
  public:
  
  using iterator_category = input_iterator_tag;
  using value_type = typename _InIt::value_type;
  using difference_type = typename _InIt::difference_type;
  using pointer = typename _InIt::pointer;
  using reference = value_type&;
  
  iterator(_InIt _First, _InIt _Last, _Fun f)
  :_First(_First), _Last(_Last), _fun(f) {
  ++(*this);
  }
  
  reference operator*() const noexcept { return *_Cur; }
  
  pointer operator->() const noexcept { return &(*_Cur); }
  
  iterator& operator++() {
  while (_First != _Last && !_fun(*_First)) {
  _First++;
  }
  _Cur = _First;
  if (_First != _Last) {
  _First++;
  }
  return *this;
  }
  
  iterator operator++(int) {
  iterator temp(*this);
  ++(*this);
  return temp;
  }
  
  bool operator==(const iterator& rhs)
  const noexcept
  {
  return _Cur == rhs._Cur;
  }
  bool operator!=(const iterator& rhs)
  const noexcept
  {
  return !operator==(rhs);
  }
  private:
  _InIt _First;
  _InIt _Last;
  _InIt _Cur;
  _Fun _fun;
  
  };
  
  filter_view(_InIt _First, _InIt _Last, _Fun f)
  :_First(_First), _Last(_Last), _fun(f) {
  
  }
  
  iterator begin() const noexcept {
  return iterator(_First, _Last, _fun);
  }
  
  iterator end() const noexcept {
  return iterator(_Last, _Last, _fun);
  }
  private:
  _InIt _First;
  _InIt _Last;
  _Fun _fun;
  };

  作者回复: OK，没啥大问题。
  
  代码风格要稍微说明一下。你似乎是模拟了库代码的风格，这还是有点风险的。在一般的用户代码里，不应该出现双下划线打头、或者下划线加大写字母打头的标识符——这是给系统保留的。
  
  详见：
  
  https://zh.cppreference.com/w/cpp/language/identifiers

  2020-01-03

   1

   2
• 

  廖熊猫

  Y-Combinator主要用到了一个不动点理论，刘未鹏老师的《康托尔、哥德尔、图灵——永恒的金色对角线》这篇文章里面说的相对详细一些。玩过一段函数式...就只有haskell那段代码看懂了😂

  作者回复: Y Combinator 只是好玩展示一下，刺激一下大家的好奇心。要进一步了解，是需要看参考资料，或者其他中英文资料的。你说的这篇我之前没看过，内容也不错。

  2020-01-03

  

  
• 

  hello world

  请问老师，map和reduce.那是最新的语句吗？还是有第三方库？那个TBB？

  作者回复: map-reduce 是一种方法，已经有很久了。在 C++ 里的直接对应是 transform 和 accumulate。TBB 见参考资料 [7]。

  2020-01-03

  

  