aboutsummaryrefslogtreecommitdiff
path: root/libstdc++-v3/testsuite/27_io/basic_ostream/inserters_other/wchar_t/6.cc
diff options
context:
space:
mode:
Diffstat (limited to 'libstdc++-v3/testsuite/27_io/basic_ostream/inserters_other/wchar_t/6.cc')
-rw-r--r--libstdc++-v3/testsuite/27_io/basic_ostream/inserters_other/wchar_t/6.cc96
1 files changed, 96 insertions, 0 deletions
diff --git a/libstdc++-v3/testsuite/27_io/basic_ostream/inserters_other/wchar_t/6.cc b/libstdc++-v3/testsuite/27_io/basic_ostream/inserters_other/wchar_t/6.cc
new file mode 100644
index 0000000..1aed058
--- /dev/null
+++ b/libstdc++-v3/testsuite/27_io/basic_ostream/inserters_other/wchar_t/6.cc
@@ -0,0 +1,96 @@
+// { dg-do run { target c++11 } }
+
+// Copyright (C) 2016 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/>.
+
+// 27.6.2.5.3 basic_ostream manipulator inserters
+
+#include <sstream>
+
+struct X {};
+std::wostream& operator<<(std::wostream&, const X&) = delete;
+
+struct Y {};
+std::wostream& operator<<(std::wostream& os, const Y&) {return os;}
+std::wostream& operator<<(std::wostream&& os, const Y&) {return os;}
+
+struct Z{};
+
+template <class T>
+auto f(T&&) -> decltype(void(std::declval<std::wostream&>()
+ << std::declval<T&&>()),
+ std::true_type());
+
+std::false_type f(...);
+
+template <class T>
+auto g(T&&) -> decltype(void(std::declval<std::wostream&&>()
+ << std::declval<T&&>()),
+ std::true_type());
+
+std::false_type g(...);
+
+void test01()
+{
+ Y y;
+ std::wostringstream os;
+ os << y;
+ os << Y();
+ std::wostringstream() << y;
+ std::wostringstream() << Y();
+ static_assert(!std::__is_insertable<std::wostream&, X&>::value, "");
+ static_assert(!std::__is_insertable<std::wostream&&, X&>::value, "");
+ static_assert(!std::__is_insertable<std::wostream&, X&&>::value, "");
+ static_assert(!std::__is_insertable<std::wostream&&, X&&>::value, "");
+ static_assert(std::__is_insertable<std::wostream&, Y&>::value, "");
+ static_assert(std::__is_insertable<std::wostream&&, Y&&>::value, "");
+ static_assert(std::__is_insertable<std::wostream&, Y&>::value, "");
+ static_assert(std::__is_insertable<std::wostream&&, Y&&>::value, "");
+ static_assert(!std::__is_insertable<std::wostream&, Z&>::value, "");
+ static_assert(!std::__is_insertable<std::wostream&&, Z&>::value, "");
+ static_assert(!std::__is_insertable<std::wostream&, Z&&>::value, "");
+ static_assert(!std::__is_insertable<std::wostream&&, Z&&>::value, "");
+ static_assert(std::is_same<decltype(f(std::declval<X&>())),
+ std::false_type>::value, "");
+ static_assert(std::is_same<decltype(f(std::declval<X&&>())),
+ std::false_type>::value, "");
+ static_assert(std::is_same<decltype(f(std::declval<Y&>())),
+ std::true_type>::value, "");
+ static_assert(std::is_same<decltype(f(std::declval<Y&&>())),
+ std::true_type>::value, "");
+ static_assert(std::is_same<decltype(f(std::declval<Z&>())),
+ std::false_type>::value, "");
+ static_assert(std::is_same<decltype(f(std::declval<Z&&>())),
+ std::false_type>::value, "");
+ static_assert(std::is_same<decltype(g(std::declval<X&>())),
+ std::false_type>::value, "");
+ static_assert(std::is_same<decltype(g(std::declval<X&&>())),
+ std::false_type>::value, "");
+ static_assert(std::is_same<decltype(g(std::declval<Y&>())),
+ std::true_type>::value, "");
+ static_assert(std::is_same<decltype(g(std::declval<Y&&>())),
+ std::true_type>::value, "");
+ static_assert(std::is_same<decltype(g(std::declval<Z&>())),
+ std::false_type>::value, "");
+ static_assert(std::is_same<decltype(g(std::declval<Z&&>())),
+ std::false_type>::value, "");
+}
+
+int main()
+{
+ test01();
+}