blob: 72a61a7018b7bc7c20558a91828b4985b7d50150 (
plain)
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
52
53
54
55
56
57
|
// { dg-do run { target c++14 } }
// Copyright (C) 2013-2021 Free Software Foundation, Inc.
//
// This file is part of the GNU ISO C++ Library. This library is free
// software; you can redistribute it and/or modify it under the
// terms of the GNU General Public License as published by the
// Free Software Foundation; either version 3, or (at your option)
// any later version.
// This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.
// You should have received a copy of the GNU General Public License along
// with this library; see the file COPYING3. If not see
// <http://www.gnu.org/licenses/>.
#include <experimental/optional>
#include <testsuite_hooks.h>
struct value_type
{
int i;
};
int main()
{
{
std::experimental::optional<value_type> o { value_type { 51 } };
VERIFY( o.value().i == 51 );
VERIFY( o.value().i == (*o).i );
VERIFY( &o.value().i == &(*o).i );
}
{
enum outcome_type { nothrow, caught, bad_catch };
outcome_type outcome {};
std::experimental::optional<value_type> o = std::experimental::nullopt;
bool called = false;
auto const eat = [&called](int) { called = true; };
try
{
eat(o.value().i);
}
catch(std::experimental::bad_optional_access const&)
{ outcome = caught; }
catch(...)
{ outcome = bad_catch; }
VERIFY( outcome == caught );
VERIFY( !called );
}
}
|