Index: uspace/lib/cpp/src/internal/test/tuple.cpp =================================================================== --- uspace/lib/cpp/src/internal/test/tuple.cpp (revision 73e37919d3d5ea5c01c91e4a2a133b3c37252b19) +++ uspace/lib/cpp/src/internal/test/tuple.cpp (revision 73e37919d3d5ea5c01c91e4a2a133b3c37252b19) @@ -0,0 +1,158 @@ +/* + * Copyright (c) 2018 Jaroslav Jindrak + * All rights reserved. + * + * Redistribution and use in source and binary forms, with or without + * modification, are permitted provided that the following conditions + * are met: + * + * - Redistributions of source code must retain the above copyright + * notice, this list of conditions and the following disclaimer. + * - Redistributions in binary form must reproduce the above copyright + * notice, this list of conditions and the following disclaimer in the + * documentation and/or other materials provided with the distribution. + * - The name of the author may not be used to endorse or promote products + * derived from this software without specific prior written permission. + * + * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR + * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES + * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. + * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, + * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT + * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, + * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY + * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT + * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF + * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. + */ + +#include +#include +#include +#include +#include +#include +#include + +namespace std::test +{ + bool tuple_test::run(bool report) + { + report_ = report; + start(); + + test_constructors_and_assignment(); + test_creation(); + test_tie_and_structured_bindings(); + test_tuple_ops(); + + return end(); + } + + const char* tuple_test::name() + { + return "tuple"; + } + + void tuple_test::test_constructors_and_assignment() + { + std::tuple tpl1{1, .5f}; + test_eq("value initialization pt1", std::get<0>(tpl1), 1); + test_eq("value initialization pt2", std::get<1>(tpl1), .5f); + + auto p = std::make_pair(2, 1.f); + std::tuple tpl2{p}; + test_eq("pair initialization pt1", std::get<0>(tpl2), 2); + test_eq("pair initialization pt2", std::get<1>(tpl2), 1.f); + + tpl1 = p; + test_eq("pair assignment pt1", std::get<0>(tpl1), 2); + test_eq("pair assignment pt2", std::get<1>(tpl1), 1.f); + + auto tpl3 = std::make_tuple(std::string{"A"}, std::string{"B"}); + auto tpl4 = std::make_tuple(std::string{"C"}, std::string{"D"}); + tpl3 = std::move(tpl4); + test_eq("move assignment pt1", std::get<0>(tpl3), std::string{"C"}); + test_eq("move assignment pt2", std::get<1>(tpl3), std::string{"D"}); + + auto tpl5 = std::make_tuple(1, .5f); + auto tpl6{std::move(tpl5)}; + test_eq("move initialization pt1", std::get<0>(tpl6), 1); + test_eq("move initialization pt2", std::get<1>(tpl6), .5f); + } + + void tuple_test::test_creation() + { + auto tpl1 = std::make_tuple(1, .5f, std::string{"test"}, true); + static_assert(std::is_same_v, int>); + static_assert(std::is_same_v, float>); + static_assert(std::is_same_v, std::string>); + static_assert(std::is_same_v, bool>); + + test_eq("make_tuple pt1", std::get<0>(tpl1), 1); + test_eq("make_tuple pt2", std::get<1>(tpl1), .5f); + test_eq("make_tuple pt3", std::get<2>(tpl1), std::string{"test"}); + test_eq("make_tuple pt4", std::get<3>(tpl1), true); + + static_assert(std::tuple_size_v == 4); + + int i{}; + float f{}; + auto tpl2 = std::make_tuple(std::ref(i), std::cref(f)); + static_assert(std::is_same_v, int&>); + static_assert(std::is_same_v, const float&>); + + std::get<0>(tpl2) = 3; + test_eq("modify reference in tuple", i, 3); + + auto tpl3 = std::forward_as_tuple(i, f); + static_assert(std::is_same_v, int&>); + static_assert(std::is_same_v, float&>); + + std::get<1>(tpl3) = 1.5f; + test_eq("modify reference in forward_as_tuple", f, 1.5f); + } + + void tuple_test::test_tie_and_structured_bindings() + { + int i1{}; + float f1{}; + auto tpl = std::make_tuple(1, .5f); + std::tie(i1, f1) = tpl; + + test_eq("tie unpack pt1", i1, 1); + test_eq("tie unpack pt2", f1, .5f); + + std::get<0>(tpl) = 2; + std::tie(i1, std::ignore) = tpl; + + test_eq("tie unpack with ignore", i1, 2); + + auto [i2, f2] = tpl; + test_eq("structured bindings pt1", i2, 2); + test_eq("structured bindings pt2", f2, .5f); + } + + void tuple_test::test_tuple_ops() + { + auto tpl1 = std::make_tuple(1, .5f); + auto tpl2 = std::make_tuple(1, .5f); + auto tpl3 = std::make_tuple(1, 1.f); + auto tpl4 = std::make_tuple(2, .5f); + auto tpl5 = std::make_tuple(2, 1.f); + + test_eq("tuple == pt1", (tpl1 == tpl2), true); + test_eq("tuple == pt2", (tpl1 == tpl3), false); + test_eq("tuple == pt3", (tpl1 == tpl4), false); + test_eq("tuple < pt1", (tpl1 < tpl2), false); + test_eq("tuple < pt2", (tpl1 < tpl3), true); + test_eq("tuple < pt3", (tpl1 < tpl4), true); + test_eq("tuple < pt4", (tpl1 < tpl5), true); + + tpl1.swap(tpl5); + test_eq("tuple swap pt1", std::get<0>(tpl1), 2); + test_eq("tuple swap pt2", std::get<1>(tpl1), 1.f); + test_eq("tuple swap pt3", std::get<0>(tpl5), 1); + test_eq("tuple swap pt4", std::get<1>(tpl5), .5f); + } +}