]>
git.ipfire.org Git - thirdparty/gcc.git/blob - libstdc++-v3/testsuite/27_io/basic_ostream/inserters_other/char/6.cc
1 // { dg-do run { target c++11 } }
3 // Copyright (C) 2016-2022 Free Software Foundation, Inc.
5 // This file is part of the GNU ISO C++ Library. This library is free
6 // software; you can redistribute it and/or modify it under the
7 // terms of the GNU General Public License as published by the
8 // Free Software Foundation; either version 3, or (at your option)
11 // This library is distributed in the hope that it will be useful,
12 // but WITHOUT ANY WARRANTY; without even the implied warranty of
13 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 // GNU General Public License for more details.
16 // You should have received a copy of the GNU General Public License along
17 // with this library; see the file COPYING3. If not see
18 // <http://www.gnu.org/licenses/>.
20 // C++11 27.7.3.9 Rvalue stream insertion [ostream.rvalue]
24 template<typename Ostream
, typename T
, typename
= void>
29 template<typename
> using void_t
= void;
31 template<typename Ostream
, typename T
>
33 = decltype(std::declval
<Ostream
>() << std::declval
<const T
&>());
35 template<typename Ostream
, typename T
>
36 struct is_insertable
<Ostream
, T
, void_t
<insert_result
<Ostream
, T
>>>
41 std::ostream
& operator<<(std::ostream
&, const X
&) = delete;
44 std::ostream
& operator<<(std::ostream
& os
, const Y
&) {return os
;}
45 std::ostream
& operator<<(std::ostream
&& os
, const Y
&) {return os
;}
52 std::ostringstream os
;
55 std::ostringstream() << y
;
56 std::ostringstream() << Y();
57 static_assert(!is_insertable
<std::ostream
&, X
&>::value
, "");
58 static_assert(!is_insertable
<std::ostream
&&, X
&>::value
, "");
59 static_assert(!is_insertable
<std::ostream
&, X
&&>::value
, "");
60 static_assert(!is_insertable
<std::ostream
&&, X
&&>::value
, "");
61 static_assert(is_insertable
<std::ostream
&, Y
&>::value
, "");
62 static_assert(is_insertable
<std::ostream
&&, Y
&&>::value
, "");
63 static_assert(is_insertable
<std::ostream
&, Y
&>::value
, "");
64 static_assert(is_insertable
<std::ostream
&&, Y
&&>::value
, "");
65 static_assert(!is_insertable
<std::ostream
&, Z
&>::value
, "");
66 static_assert(!is_insertable
<std::ostream
&&, Z
&>::value
, "");
67 static_assert(!is_insertable
<std::ostream
&, Z
&&>::value
, "");
68 static_assert(!is_insertable
<std::ostream
&&, Z
&&>::value
, "");