Blame view

3rdparty/boost_1_81_0/libs/hana/example/extend.cpp 923 Bytes
73ef4ff3   Hu Chunming   提交三方库
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
  // Copyright Louis Dionne 2013-2022
  // Distributed under the Boost Software License, Version 1.0.
  // (See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt)
  
  #include <boost/hana/assert.hpp>
  #include <boost/hana/eval.hpp>
  #include <boost/hana/extend.hpp>
  #include <boost/hana/extract.hpp>
  #include <boost/hana/lazy.hpp>
  
  #include <functional>
  #include <istream>
  #include <sstream>
  namespace hana = boost::hana;
  
  
  template <typename T>
  T read_one(std::istream& s) {
      T value;
      s >> value;
      return value;
  }
  
  int main() {
      std::stringstream s;
      s << "1 2 3";
  
      auto from_stream = hana::extend(hana::make_lazy(read_one<int>)(std::ref(s)), [](auto i) {
          return hana::eval(i) + 1;
      });
  
      BOOST_HANA_RUNTIME_CHECK(hana::extract(from_stream) == 2);
      BOOST_HANA_RUNTIME_CHECK(hana::extract(from_stream) == 3);
      BOOST_HANA_RUNTIME_CHECK(hana::extract(from_stream) == 4);
  }