diff options
author | ville <ville@138bc75d-0d04-0410-961f-82ee72b054a4> | 2016-11-30 09:59:50 +0000 |
---|---|---|
committer | ville <ville@138bc75d-0d04-0410-961f-82ee72b054a4> | 2016-11-30 09:59:50 +0000 |
commit | 232f2adc26d45f1809aced37153c39605bf4136c (patch) | |
tree | a174bba7556763a15e784ab3eaadd32609000ff2 /libstdc++-v3/testsuite/27_io | |
parent | 0836a6dd286ed58e730a51eaddc2cf2d5e6b8998 (diff) | |
download | gcc-232f2adc26d45f1809aced37153c39605bf4136c.tar.gz |
Implement LWG 2534, Constrain rvalue stream operators.
* include/std/istream (__is_convertible_to_basic_istream): New.
(__is_extractable): Likewise.
(operator>>(basic_istream<_CharT, _Traits>&&, _Tp&&)):
Turn the stream parameter into a template parameter
and constrain.
* include/std/ostream (__is_convertible_to_basic_ostream): New.
(__is_insertable): Likewise.
(operator<<(basic_ostream<_CharT, _Traits>&&, const _Tp&)):
Turn the stream parameter into a template parameter
and constrain.
* testsuite/27_io/basic_istream/extractors_other/char/4.cc: New.
* testsuite/27_io/basic_istream/extractors_other/wchar_t/4.cc:
Likewise.
* testsuite/27_io/basic_ostream/inserters_other/char/6.cc: Likewise.
* testsuite/27_io/basic_ostream/inserters_other/wchar_t/6.cc: Likewise.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@243006 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libstdc++-v3/testsuite/27_io')
4 files changed, 384 insertions, 0 deletions
diff --git a/libstdc++-v3/testsuite/27_io/basic_istream/extractors_other/char/4.cc b/libstdc++-v3/testsuite/27_io/basic_istream/extractors_other/char/4.cc new file mode 100644 index 00000000000..0922b0b643c --- /dev/null +++ b/libstdc++-v3/testsuite/27_io/basic_istream/extractors_other/char/4.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::istream& operator>>(std::istream&, X&) = delete; + +struct Y {}; +std::istream& operator>>(std::istream& is, Y&) {return is;} +std::istream& operator>>(std::istream& is, Y&&) {return is;} + +struct Z{}; + +template <class T> +auto f(T&&) -> decltype(void(std::declval<std::istream&>() + >> std::declval<T&&>()), + std::true_type()); + +std::false_type f(...); + +template <class T> +auto g(T&&) -> decltype(void(std::declval<std::istream&&>() + >> std::declval<T&&>()), + std::true_type()); + +std::false_type g(...); + +void test01() +{ + Y y; + std::istringstream is; + is >> y; + is >> Y(); + std::istringstream() >> y; + std::istringstream() >> Y(); + static_assert(!std::__is_extractable<std::istream&, X&>::value, ""); + static_assert(!std::__is_extractable<std::istream&&, X&>::value, ""); + static_assert(!std::__is_extractable<std::istream&, X&&>::value, ""); + static_assert(!std::__is_extractable<std::istream&&, X&&>::value, ""); + static_assert(std::__is_extractable<std::istream&, Y&>::value, ""); + static_assert(std::__is_extractable<std::istream&&, Y&>::value, ""); + static_assert(std::__is_extractable<std::istream&, Y&&>::value, ""); + static_assert(std::__is_extractable<std::istream&&, Y&&>::value, ""); + static_assert(!std::__is_extractable<std::istream&, Z&>::value, ""); + static_assert(!std::__is_extractable<std::istream&&, Z&>::value, ""); + static_assert(!std::__is_extractable<std::istream&, Z&&>::value, ""); + static_assert(!std::__is_extractable<std::istream&&, 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(); +} diff --git a/libstdc++-v3/testsuite/27_io/basic_istream/extractors_other/wchar_t/4.cc b/libstdc++-v3/testsuite/27_io/basic_istream/extractors_other/wchar_t/4.cc new file mode 100644 index 00000000000..87c4ce420de --- /dev/null +++ b/libstdc++-v3/testsuite/27_io/basic_istream/extractors_other/wchar_t/4.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::wistream& operator>>(std::wistream&, X&) = delete; + +struct Y {}; +std::wistream& operator>>(std::wistream& is, Y&) {return is;} +std::wistream& operator>>(std::wistream& is, Y&&) {return is;} + +struct Z{}; + +template <class T> +auto f(T&&) -> decltype(void(std::declval<std::wistream&>() + >> std::declval<T&&>()), + std::true_type()); + +std::false_type f(...); + +template <class T> +auto g(T&&) -> decltype(void(std::declval<std::wistream&&>() + >> std::declval<T&&>()), + std::true_type()); + +std::false_type g(...); + +void test01() +{ + Y y; + std::wistringstream is; + is >> y; + is >> Y(); + std::wistringstream() >> y; + std::wistringstream() >> Y(); + static_assert(!std::__is_extractable<std::wistream&, X&>::value, ""); + static_assert(!std::__is_extractable<std::wistream&&, X&>::value, ""); + static_assert(!std::__is_extractable<std::wistream&, X&&>::value, ""); + static_assert(!std::__is_extractable<std::wistream&&, X&&>::value, ""); + static_assert(std::__is_extractable<std::wistream&, Y&>::value, ""); + static_assert(std::__is_extractable<std::wistream&&, Y&>::value, ""); + static_assert(std::__is_extractable<std::wistream&, Y&&>::value, ""); + static_assert(std::__is_extractable<std::wistream&&, Y&&>::value, ""); + static_assert(!std::__is_extractable<std::wistream&, Z&>::value, ""); + static_assert(!std::__is_extractable<std::wistream&&, Z&>::value, ""); + static_assert(!std::__is_extractable<std::wistream&, Z&&>::value, ""); + static_assert(!std::__is_extractable<std::wistream&&, 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(); +} diff --git a/libstdc++-v3/testsuite/27_io/basic_ostream/inserters_other/char/6.cc b/libstdc++-v3/testsuite/27_io/basic_ostream/inserters_other/char/6.cc new file mode 100644 index 00000000000..f5b27f9ce1b --- /dev/null +++ b/libstdc++-v3/testsuite/27_io/basic_ostream/inserters_other/char/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::ostream& operator<<(std::ostream&, const X&) = delete; + +struct Y {}; +std::ostream& operator<<(std::ostream& os, const Y&) {return os;} +std::ostream& operator<<(std::ostream&& os, const Y&) {return os;} + +struct Z{}; + +template <class T> +auto f(T&&) -> decltype(void(std::declval<std::ostream&>() + << std::declval<T&&>()), + std::true_type()); + +std::false_type f(...); + +template <class T> +auto g(T&&) -> decltype(void(std::declval<std::ostream&&>() + << std::declval<T&&>()), + std::true_type()); + +std::false_type g(...); + +void test01() +{ + Y y; + std::ostringstream os; + os << y; + os << Y(); + std::ostringstream() << y; + std::ostringstream() << Y(); + static_assert(!std::__is_insertable<std::ostream&, X&>::value, ""); + static_assert(!std::__is_insertable<std::ostream&&, X&>::value, ""); + static_assert(!std::__is_insertable<std::ostream&, X&&>::value, ""); + static_assert(!std::__is_insertable<std::ostream&&, X&&>::value, ""); + static_assert(std::__is_insertable<std::ostream&, Y&>::value, ""); + static_assert(std::__is_insertable<std::ostream&&, Y&&>::value, ""); + static_assert(std::__is_insertable<std::ostream&, Y&>::value, ""); + static_assert(std::__is_insertable<std::ostream&&, Y&&>::value, ""); + static_assert(!std::__is_insertable<std::ostream&, Z&>::value, ""); + static_assert(!std::__is_insertable<std::ostream&&, Z&>::value, ""); + static_assert(!std::__is_insertable<std::ostream&, Z&&>::value, ""); + static_assert(!std::__is_insertable<std::ostream&&, 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(); +} 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 00000000000..1aed058f2e6 --- /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(); +} |