cython

1
# ticket: 3293
2
# mode: run
3
# tag: cpp, cpp17, werror
4

5
from cython.operator cimport dereference as deref
6
from libcpp.optional cimport optional, nullopt, make_optional
7
from libcpp.string cimport string
8
from libcpp.pair cimport pair
9

10
def simple_test():
11
    """
12
    >>> simple_test()
13
    """
14
    cdef optional[int] o
15
    assert(not o.has_value())
16
    try:
17
        o.value()
18
    except Exception as err:
19
        pass
20
    else:
21
        assert False, "value() did not raise a catchable error"
22
    o = 5
23
    assert(o.has_value())
24
    assert(o.value()==5)
25
    o.reset()
26
    assert(not o.has_value())
27

28
def operator_test():
29
    """
30
    >>> operator_test()
31
    """
32
    cdef optional[int] o1, o2
33

34
    # operator bool
35
    assert(not o1)
36
    o1 = 5
37
    assert(o1)
38

39
    # operator *
40
    assert(deref(o1) == 5)
41

42
    # operator =,==,!=,>,<,>=,<=
43
    assert(not o1 == o2)
44
    assert(o1 != o2)
45
    o2 = o1
46
    assert(o1 == o2)
47
    assert(not o1 > o2)
48
    assert(not o1 < o2)
49
    assert(o1 >= o2)
50
    assert(o1 <= o2)
51

52
    # operators =,== for other types (all related operators are identical)
53
    o1 = 6
54
    assert(o1 == 6)
55
    o2 = nullopt
56
    assert(o2 == nullopt)
57

58
def misc_methods_test():
59
    """
60
    >>> misc_methods_test()
61
    """
62

63
    # make_optional
64
    cdef optional[int] o
65
    o = make_optional[int](5)
66
    assert(o == 5)
67

68
    # swap
69
    o.swap(optional[int](6))
70
    assert(o == 6)
71

72
    # emplace
73
    cdef optional[pair[int,int]] op
74
    cdef pair[int,int]* val_ptr = &op.emplace(1,2)
75
    assert(op.has_value())
76
    assert(op.value() == pair[int,int](1,2))
77
    assert(&op.value() == val_ptr) # check returned reference
78
    
79