Blame view

3rdparty/boost_1_81_0/libs/proto/test/bug2407.cpp 946 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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
  ///////////////////////////////////////////////////////////////////////////////
  // bug2407.hpp
  //
  //  Copyright 2008 Eric Niebler. Distributed under the Boost
  //  Software License, Version 1.0. (See accompanying file
  //  LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
  
  #include <iostream>
  #include <boost/proto/proto.hpp>
  
  namespace mpl = boost::mpl;
  namespace proto = boost::proto;
  using proto::_;
  
  template<class E>
  struct e;
  
  struct g
    : proto::or_<
          proto::terminal<int>
        , proto::plus<g,g>
      >
  {};
  
  struct d
    : proto::domain<proto::generator<e>, g>
  {};
  
  template<class E>
  struct e
    : proto::extends<E, e<E>, d>
  {
      BOOST_MPL_ASSERT((proto::matches<E, g>));
  
      e(E const &x = E())
        : proto::extends<E, e<E>, d>(x)
      {}
  };
  
  e<proto::terminal<int>::type> i;
  
  template<class E>
  std::ostream &operator<<(std::ostream &sout, e<E> const &x)
  {
      return sout;
  }
  
  int main()
  {
      std::cout << (i+i);
  }