| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383 |
- ///////////////////////////////////////////////////////////////////////////////
- //
- // Copyright (c) 2015 Microsoft Corporation. All rights reserved.
- //
- // This code is licensed under the MIT License (MIT).
- //
- // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
- // IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
- // FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
- // AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
- // LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
- // OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
- // THE SOFTWARE.
- //
- ///////////////////////////////////////////////////////////////////////////////
- #include <gtest/gtest.h>
- #include <gsl/byte> // for byte
- #include <gsl/span> // for span, span_iterator, operator==, operator!=
- #include <gsl/util> // for narrow_cast, at
- #include <array> // for array
- #include <cstddef> // for ptrdiff_t
- #include <iostream> // for ptrdiff_t
- #include <iterator> // for reverse_iterator, operator-, operator==
- #include <memory> // for unique_ptr, shared_ptr, make_unique, allo...
- #include <regex> // for match_results, sub_match, match_results<>...
- #include <string> // for string
- #include <type_traits> // for integral_constant<>::value, is_default_co...
- #include <utility>
- #include <vector> // for vector
- // the string_view include and macro are used in the deduction guide verification
- #if (defined(__cpp_deduction_guides) && (__cpp_deduction_guides >= 201611L))
- #ifdef __has_include
- #if __has_include(<string_view>)
- #include <string_view>
- #define HAS_STRING_VIEW
- #endif // __has_include(<string_view>)
- #endif // __has_include
- #endif // (defined(__cpp_deduction_guides) && (__cpp_deduction_guides >= 201611L))
- #if defined(__cplusplus) && __cplusplus >= 202002L
- #include <span>
- #endif // __cplusplus >= 202002L
- #include "deathTestCommon.h"
- using namespace gsl;
- namespace
- {
- struct BaseClass
- {
- };
- struct DerivedClass : BaseClass
- {
- };
- struct AddressOverloaded
- {
- #if (__cplusplus > 201402L)
- [[maybe_unused]]
- #endif
- AddressOverloaded
- operator&() const
- {
- return {};
- }
- };
- } // namespace
- TEST(span_test, constructors)
- {
- span<int> s;
- EXPECT_TRUE(s.size() == 0);
- EXPECT_TRUE(s.data() == nullptr);
- span<const int> cs;
- EXPECT_TRUE(cs.size() == 0);
- EXPECT_TRUE(cs.data() == nullptr);
- }
- TEST(span_test, constructors_with_extent)
- {
- span<int, 0> s;
- EXPECT_TRUE(s.size() == 0);
- EXPECT_TRUE(s.data() == nullptr);
- span<const int, 0> cs;
- EXPECT_TRUE(cs.size() == 0);
- EXPECT_TRUE(cs.data() == nullptr);
- }
- TEST(span_test, constructors_with_bracket_init)
- {
- span<int> s{};
- EXPECT_TRUE(s.size() == 0);
- EXPECT_TRUE(s.data() == nullptr);
- span<const int> cs{};
- EXPECT_TRUE(cs.size() == 0);
- EXPECT_TRUE(cs.data() == nullptr);
- }
- TEST(span_test, size_optimization)
- {
- span<int> s;
- EXPECT_TRUE(sizeof(s) == sizeof(int*) + sizeof(ptrdiff_t));
- span<int, 0> se;
- EXPECT_TRUE(sizeof(se) == sizeof(int*));
- }
- TEST(span_test, from_nullptr_size_constructor)
- {
- const auto terminateHandler = std::set_terminate([] {
- std::cerr << "Expected Death. from_nullptr_size_constructor";
- std::abort();
- });
- const auto expected = GetExpectedDeathString(terminateHandler);
- {
- span<int> s{nullptr, narrow_cast<span<int>::size_type>(0)};
- EXPECT_TRUE(s.size() == 0);
- EXPECT_TRUE(s.data() == nullptr);
- span<int> cs{nullptr, narrow_cast<span<int>::size_type>(0)};
- EXPECT_TRUE(cs.size() == 0);
- EXPECT_TRUE(cs.data() == nullptr);
- }
- {
- auto workaround_macro = []() {
- const span<int, 1> s{nullptr, narrow_cast<span<int>::size_type>(0)};
- };
- EXPECT_DEATH(workaround_macro(), expected);
- }
- {
- auto workaround_macro = []() { const span<int> s{nullptr, 1}; };
- EXPECT_DEATH(workaround_macro(), expected);
- auto const_workaround_macro = []() { const span<const int> s{nullptr, 1}; };
- EXPECT_DEATH(const_workaround_macro(), expected);
- }
- {
- auto workaround_macro = []() { const span<int, 0> s{nullptr, 1}; };
- EXPECT_DEATH(workaround_macro(), expected);
- auto const_workaround_macro = []() { const span<const int, 0> s{nullptr, 1}; };
- EXPECT_DEATH(const_workaround_macro(), expected);
- }
- {
- span<int*> s{nullptr, narrow_cast<span<int>::size_type>(0)};
- EXPECT_TRUE(s.size() == 0);
- EXPECT_TRUE(s.data() == nullptr);
- span<const int*> cs{nullptr, narrow_cast<span<int>::size_type>(0)};
- EXPECT_TRUE(cs.size() == 0);
- EXPECT_TRUE(cs.data() == nullptr);
- }
- }
- TEST(span_test, from_pointer_length_constructor)
- {
- const auto terminateHandler = std::set_terminate([] {
- std::cerr << "Expected Death. from_pointer_length_constructor";
- std::abort();
- });
- const auto expected = GetExpectedDeathString(terminateHandler);
- int arr[4] = {1, 2, 3, 4};
- {
- for (int i = 0; i < 4; ++i)
- {
- {
- span<int> s = {&arr[0], narrow_cast<std::size_t>(i)};
- EXPECT_TRUE(s.size() == narrow_cast<std::size_t>(i));
- EXPECT_TRUE(s.data() == &arr[0]);
- EXPECT_TRUE(s.empty() == (i == 0));
- for (int j = 0; j < i; ++j) EXPECT_TRUE(arr[j] == s[narrow_cast<std::size_t>(j)]);
- }
- {
- span<int> s = {&arr[i], 4 - narrow_cast<std::size_t>(i)};
- EXPECT_TRUE(s.size() == 4 - narrow_cast<std::size_t>(i));
- EXPECT_TRUE(s.data() == &arr[i]);
- EXPECT_TRUE(s.empty() == ((4 - i) == 0));
- for (int j = 0; j < 4 - i; ++j)
- EXPECT_TRUE(arr[j + i] == s[narrow_cast<std::size_t>(j)]);
- }
- }
- }
- {
- span<int, 2> s{&arr[0], 2};
- EXPECT_TRUE(s.size() == 2);
- EXPECT_TRUE(s.data() == &arr[0]);
- EXPECT_TRUE(s[0] == 1);
- EXPECT_TRUE(s[1] == 2);
- }
- {
- int* p = nullptr;
- span<int> s{p, narrow_cast<span<int>::size_type>(0)};
- EXPECT_TRUE(s.size() == 0);
- EXPECT_TRUE(s.data() == nullptr);
- }
- {
- int* p = nullptr;
- auto workaround_macro = [=]() { const span<int> s{p, 2}; };
- EXPECT_DEATH(workaround_macro(), expected);
- }
- }
- TEST(span_test, from_pointer_pointer_construction)
- {
- int arr[4] = {1, 2, 3, 4};
- {
- span<int> s{&arr[0], &arr[2]};
- EXPECT_TRUE(s.size() == 2);
- EXPECT_TRUE(s.data() == &arr[0]);
- EXPECT_TRUE(s[0] == 1);
- EXPECT_TRUE(s[1] == 2);
- }
- {
- span<int, 2> s{&arr[0], &arr[2]};
- EXPECT_TRUE(s.size() == 2);
- EXPECT_TRUE(s.data() == &arr[0]);
- EXPECT_TRUE(s[0] == 1);
- EXPECT_TRUE(s[1] == 2);
- }
- {
- span<int> s{&arr[0], &arr[0]};
- EXPECT_TRUE(s.size() == 0);
- EXPECT_TRUE(s.data() == &arr[0]);
- }
- {
- span<int, 0> s{&arr[0], &arr[0]};
- EXPECT_TRUE(s.size() == 0);
- EXPECT_TRUE(s.data() == &arr[0]);
- }
- // this will fail the std::distance() precondition, which asserts on MSVC debug builds
- //{
- // auto workaround_macro = [&]() { span<int> s{&arr[1], &arr[0]}; };
- // EXPECT_DEATH(workaround_macro(), expected);
- //}
- // this will fail the std::distance() precondition, which asserts on MSVC debug builds
- //{
- // int* p = nullptr;
- // auto workaround_macro = [&]() { span<int> s{&arr[0], p}; };
- // EXPECT_DEATH(workaround_macro(), expected);
- //}
- {
- int* p = nullptr;
- span<int> s{p, p};
- EXPECT_TRUE(s.size() == 0);
- EXPECT_TRUE(s.data() == nullptr);
- }
- {
- int* p = nullptr;
- span<int, 0> s{p, p};
- EXPECT_TRUE(s.size() == 0);
- EXPECT_TRUE(s.data() == nullptr);
- }
- // this will fail the std::distance() precondition, which asserts on MSVC debug builds
- //{
- // int* p = nullptr;
- // auto workaround_macro = [&]() { span<int> s{&arr[0], p}; };
- // EXPECT_DEATH(workaround_macro(), expected);
- //}
- }
- TEST(span_test, from_array_constructor)
- {
- int arr[5] = {1, 2, 3, 4, 5};
- {
- const span<int> s{arr};
- EXPECT_TRUE(s.size() == 5);
- EXPECT_TRUE(s.data() == &arr[0]);
- }
- {
- const span<int, 5> s{arr};
- EXPECT_TRUE(s.size() == 5);
- EXPECT_TRUE(s.data() == &arr[0]);
- }
- int arr2d[2][3] = {1, 2, 3, 4, 5, 6};
- #ifdef CONFIRM_COMPILATION_ERRORS
- {
- span<int, 6> s{arr};
- }
- {
- span<int, 0> s{arr};
- EXPECT_TRUE(s.size() == 0);
- EXPECT_TRUE(s.data() == &arr[0]);
- }
- {
- span<int> s{arr2d};
- EXPECT_TRUE(s.size() == 6);
- EXPECT_TRUE(s.data() == &arr2d[0][0]);
- EXPECT_TRUE(s[0] == 1);
- EXPECT_TRUE(s[5] == 6);
- }
- {
- span<int, 0> s{arr2d};
- EXPECT_TRUE(s.size() == 0);
- EXPECT_TRUE(s.data() == &arr2d[0][0]);
- }
- {
- span<int, 6> s{arr2d};
- }
- #endif
- {
- const span<int[3]> s{std::addressof(arr2d[0]), 1};
- EXPECT_TRUE(s.size() == 1);
- EXPECT_TRUE(s.data() == std::addressof(arr2d[0]));
- }
- int arr3d[2][3][2] = { { {1, 2}, {3, 4}, {5, 6} }, { {7, 8}, {9, 10}, {11, 12} } };
- #ifdef CONFIRM_COMPILATION_ERRORS
- {
- span<int> s{arr3d};
- EXPECT_TRUE(s.size() == 12);
- EXPECT_TRUE(s.data() == &arr3d[0][0][0]);
- EXPECT_TRUE(s[0] == 1);
- EXPECT_TRUE(s[11] == 12);
- }
- {
- span<int, 0> s{arr3d};
- EXPECT_TRUE(s.size() == 0);
- EXPECT_TRUE(s.data() == &arr3d[0][0][0]);
- }
- {
- span<int, 11> s{arr3d};
- }
- {
- span<int, 12> s{arr3d};
- EXPECT_TRUE(s.size() == 12);
- EXPECT_TRUE(s.data() == &arr3d[0][0][0]);
- EXPECT_TRUE(s[0] == 1);
- EXPECT_TRUE(s[5] == 6);
- }
- #endif
- {
- const span<int[3][2]> s{std::addressof(arr3d[0]), 1};
- EXPECT_TRUE(s.size() == 1);
- }
- AddressOverloaded ao_arr[5] = {};
- {
- const span<AddressOverloaded, 5> s{ao_arr};
- EXPECT_TRUE(s.size() == 5);
- EXPECT_TRUE(s.data() == std::addressof(ao_arr[0]));
- }
- }
- TEST(span_test, from_dynamic_array_constructor)
- {
- double(*arr)[3][4] = new double[100][3][4];
- {
- span<double> s(&arr[0][0][0], 10);
- EXPECT_TRUE(s.size() == 10);
- EXPECT_TRUE(s.data() == &arr[0][0][0]);
- }
- delete[] arr;
- }
- TEST(span_test, from_std_array_constructor)
- {
- std::array<int, 4> arr = {1, 2, 3, 4};
- {
- span<int> s{arr};
- EXPECT_TRUE(s.size() == arr.size());
- EXPECT_TRUE(s.data() == arr.data());
- span<const int> cs{arr};
- EXPECT_TRUE(cs.size() == arr.size());
- EXPECT_TRUE(cs.data() == arr.data());
- }
- {
- span<int, 4> s{arr};
- EXPECT_TRUE(s.size() == arr.size());
- EXPECT_TRUE(s.data() == arr.data());
- span<const int, 4> cs{arr};
- EXPECT_TRUE(cs.size() == arr.size());
- EXPECT_TRUE(cs.data() == arr.data());
- }
- {
- std::array<int, 0> empty_arr{};
- span<int> s{empty_arr};
- EXPECT_TRUE(s.size() == 0);
- EXPECT_TRUE(s.empty());
- }
- std::array<AddressOverloaded, 4> ao_arr{};
- {
- span<AddressOverloaded, 4> fs{ao_arr};
- EXPECT_TRUE(fs.size() == ao_arr.size());
- EXPECT_TRUE(ao_arr.data() == fs.data());
- }
- #ifdef CONFIRM_COMPILATION_ERRORS
- {
- span<int, 2> s{arr};
- EXPECT_TRUE(s.size() == 2);
- EXPECT_TRUE(s.data() == arr.data());
- span<const int, 2> cs{arr};
- EXPECT_TRUE(cs.size() == 2);
- EXPECT_TRUE(cs.data() == arr.data());
- }
- {
- span<int, 0> s{arr};
- EXPECT_TRUE(s.size() == 0);
- EXPECT_TRUE(s.data() == arr.data());
- span<const int, 0> cs{arr};
- EXPECT_TRUE(cs.size() == 0);
- EXPECT_TRUE(cs.data() == arr.data());
- }
- {
- span<int, 5> s{arr};
- }
- {
- auto get_an_array = []() -> std::array<int, 4> { return {1, 2, 3, 4}; };
- auto take_a_span = [](span<int> s) { static_cast<void>(s); };
- // try to take a temporary std::array
- take_a_span(get_an_array());
- }
- #endif
- {
- auto get_an_array = []() -> std::array<int, 4> { return {1, 2, 3, 4}; };
- auto take_a_span = [](span<const int> s) { static_cast<void>(s); };
- // try to take a temporary std::array
- take_a_span(get_an_array());
- }
- }
- TEST(span_test, from_const_std_array_constructor)
- {
- const std::array<int, 4> arr = {1, 2, 3, 4};
- {
- span<const int> s{arr};
- EXPECT_TRUE(s.size() == arr.size());
- EXPECT_TRUE(s.data() == arr.data());
- }
- {
- span<const int, 4> s{arr};
- EXPECT_TRUE(s.size() == arr.size());
- EXPECT_TRUE(s.data() == arr.data());
- }
- const std::array<AddressOverloaded, 4> ao_arr{};
- {
- span<const AddressOverloaded, 4> s{ao_arr};
- EXPECT_TRUE(s.size() == ao_arr.size());
- EXPECT_TRUE(s.data() == ao_arr.data());
- }
- #ifdef CONFIRM_COMPILATION_ERRORS
- {
- span<const int, 2> s{arr};
- EXPECT_TRUE(s.size() == 2);
- EXPECT_TRUE(s.data() == arr.data());
- }
- {
- span<const int, 0> s{arr};
- EXPECT_TRUE(s.size() == 0);
- EXPECT_TRUE(s.data() == arr.data());
- }
- {
- span<const int, 5> s{arr};
- }
- #endif
- {
- auto get_an_array = []() -> const std::array<int, 4> { return {1, 2, 3, 4}; };
- auto take_a_span = [](span<const int> s) { static_cast<void>(s); };
- // try to take a temporary std::array
- take_a_span(get_an_array());
- }
- }
- TEST(span_test, from_std_array_const_constructor)
- {
- std::array<const int, 4> arr = {1, 2, 3, 4};
- {
- span<const int> s{arr};
- EXPECT_TRUE(s.size() == arr.size());
- EXPECT_TRUE(s.data() == arr.data());
- }
- {
- span<const int, 4> s{arr};
- EXPECT_TRUE(s.size() == arr.size());
- EXPECT_TRUE(s.data() == arr.data());
- }
- #ifdef CONFIRM_COMPILATION_ERRORS
- {
- span<const int, 2> s{arr};
- EXPECT_TRUE(s.size() == 2);
- EXPECT_TRUE(s.data() == arr.data());
- }
- {
- span<const int, 0> s{arr};
- EXPECT_TRUE(s.size() == 0);
- EXPECT_TRUE(s.data() == arr.data());
- }
- {
- span<const int, 5> s{arr};
- }
- {
- span<int, 4> s{arr};
- }
- #endif
- }
- TEST(span_test, from_container_constructor)
- {
- std::vector<int> v = {1, 2, 3};
- const std::vector<int> cv = v;
- {
- span<int> s{v};
- EXPECT_TRUE(s.size() == v.size());
- EXPECT_TRUE(s.data() == v.data());
- span<const int> cs{v};
- EXPECT_TRUE(cs.size() == v.size());
- EXPECT_TRUE(cs.data() == v.data());
- }
- std::string str = "hello";
- const std::string cstr = "hello";
- {
- #ifdef CONFIRM_COMPILATION_ERRORS
- span<char> s{str};
- EXPECT_TRUE(s.size() == str.size());
- EXPECT_TRUE(s.data() == str.data()));
- #endif
- span<const char> cs{str};
- EXPECT_TRUE(cs.size() == str.size());
- EXPECT_TRUE(cs.data() == str.data());
- }
- {
- #ifdef CONFIRM_COMPILATION_ERRORS
- span<char> s{cstr};
- #endif
- span<const char> cs{cstr};
- EXPECT_TRUE(cs.size() == cstr.size());
- EXPECT_TRUE(cs.data() == cstr.data());
- }
- {
- #ifdef CONFIRM_COMPILATION_ERRORS
- auto get_temp_vector = []() -> std::vector<int> { return {}; };
- auto use_span = [](span<int> s) { static_cast<void>(s); };
- use_span(get_temp_vector());
- #endif
- }
- {
- auto get_temp_vector = []() -> std::vector<int> { return {}; };
- auto use_span = [](span<const int> s) { static_cast<void>(s); };
- use_span(get_temp_vector());
- }
- {
- #ifdef CONFIRM_COMPILATION_ERRORS
- auto get_temp_string = []() -> std::string { return {}; };
- auto use_span = [](span<char> s) { static_cast<void>(s); };
- use_span(get_temp_string());
- #endif
- }
- {
- auto get_temp_string = []() -> std::string { return {}; };
- auto use_span = [](span<const char> s) { static_cast<void>(s); };
- use_span(get_temp_string());
- }
- {
- #ifdef CONFIRM_COMPILATION_ERRORS
- auto get_temp_vector = []() -> const std::vector<int> { return {}; };
- auto use_span = [](span<const char> s) { static_cast<void>(s); };
- use_span(get_temp_vector());
- #endif
- }
- {
- auto get_temp_string = []() -> const std::string { return {}; };
- auto use_span = [](span<const char> s) { static_cast<void>(s); };
- use_span(get_temp_string());
- }
- {
- #ifdef CONFIRM_COMPILATION_ERRORS
- std::map<int, int> m;
- span<int> s{m};
- #endif
- }
- }
- TEST(span_test, from_convertible_span_constructor)
- {
- const auto terminateHandler = std::set_terminate([] {
- std::cerr << "Expected Death. from_convertible_span_constructor";
- std::abort();
- });
- const auto expected = GetExpectedDeathString(terminateHandler);
- {
- span<DerivedClass> avd;
- span<const DerivedClass> avcd = avd;
- static_cast<void>(avcd);
- }
- {
- std::array<DerivedClass, 2> arr{};
- span<DerivedClass, 2> avd{arr};
- span<const DerivedClass, 2> avcd = avd;
- static_cast<void>(avcd);
- }
- {
- std::array<DerivedClass, 2> arr{};
- span<DerivedClass, 2> avd{arr};
- span<const DerivedClass> avcd = avd;
- static_cast<void>(avcd);
- }
- {
- std::array<DerivedClass, 2> arr{};
- span<DerivedClass> avd{arr};
- span<const DerivedClass, 2> avcd{avd};
- static_cast<void>(avcd);
- }
- {
- std::array<DerivedClass, 2> arr{};
- span<DerivedClass> avd{arr};
- using T = span<const DerivedClass, 1>;
- EXPECT_DEATH(T{avd}, expected);
- }
- {
- std::array<DerivedClass, 1> arr{};
- span<DerivedClass> avd{arr};
- using T = span<const DerivedClass, 2>;
- EXPECT_DEATH(T{avd}, expected);
- }
- #ifdef CONFIRM_COMPILATION_ERRORS
- {
- std::array<DerivedClass, 2> arr{};
- span<DerivedClass> avd{arr};
- span<const DerivedClass, 2> avcd = avd;
- static_cast<void>(avcd);
- }
- {
- std::array<DerivedClass, 2> arr{};
- span<DerivedClass, 2> avd{arr};
- span<const DerivedClass, 1> avcd = avd;
- static_cast<void>(avcd);
- }
- {
- std::array<DerivedClass, 2> arr{};
- span<DerivedClass, 2> avd{arr};
- span<const DerivedClass, 3> avcd = avd;
- static_cast<void>(avcd);
- }
- {
- span<DerivedClass> avd;
- span<BaseClass> avb = avd;
- static_cast<void>(avb);
- }
- {
- span<int> s;
- span<unsigned int> s2 = s;
- static_cast<void>(s2);
- }
- {
- span<int> s;
- span<const unsigned int> s2 = s;
- static_cast<void>(s2);
- }
- {
- span<int> s;
- span<short> s2 = s;
- static_cast<void>(s2);
- }
- #endif
- }
- TEST(span_test, copy_move_and_assignment)
- {
- span<int> s1;
- EXPECT_TRUE(s1.empty());
- int arr[] = {3, 4, 5};
- span<const int> s2 = arr;
- EXPECT_TRUE(s2.size() == 3);
- EXPECT_TRUE(s2.data() == &arr[0]);
- s2 = s1;
- EXPECT_TRUE(s2.empty());
- auto get_temp_span = [&]() -> span<int> { return {&arr[1], 2}; };
- auto use_span = [&](span<const int> s) {
- EXPECT_TRUE(s.size() == 2);
- EXPECT_TRUE(s.data() == &arr[1]);
- };
- use_span(get_temp_span());
- s1 = get_temp_span();
- EXPECT_TRUE(s1.size() == 2);
- EXPECT_TRUE(s1.data() == &arr[1]);
- }
- TEST(span_test, first)
- {
- const auto terminateHandler = std::set_terminate([] {
- std::cerr << "Expected Death. first";
- std::abort();
- });
- const auto expected = GetExpectedDeathString(terminateHandler);
- int arr[5] = {1, 2, 3, 4, 5};
- {
- span<int, 5> av = arr;
- EXPECT_TRUE(av.first<2>().size() == 2);
- EXPECT_TRUE(av.first(2).size() == 2);
- }
- {
- span<int, 5> av = arr;
- EXPECT_TRUE(av.first<0>().size() == 0);
- EXPECT_TRUE(av.first(0).size() == 0);
- }
- {
- span<int, 5> av = arr;
- EXPECT_TRUE(av.first<5>().size() == 5);
- EXPECT_TRUE(av.first(5).size() == 5);
- }
- {
- span<int, 5> av = arr;
- #ifdef CONFIRM_COMPILATION_ERRORS
- EXPECT_TRUE(av.first<6>().size() == 6);
- EXPECT_TRUE(av.first<-1>().size() == -1);
- #endif
- EXPECT_DEATH(av.first(6).size(), expected);
- }
- {
- span<int> av;
- EXPECT_TRUE(av.first<0>().size() == 0);
- EXPECT_TRUE(av.first(0).size() == 0);
- }
- }
- TEST(span_test, last)
- {
- const auto terminateHandler = std::set_terminate([] {
- std::cerr << "Expected Death. last";
- std::abort();
- });
- const auto expected = GetExpectedDeathString(terminateHandler);
- int arr[5] = {1, 2, 3, 4, 5};
- {
- span<int, 5> av = arr;
- EXPECT_TRUE(av.last<2>().size() == 2);
- EXPECT_TRUE(av.last(2).size() == 2);
- }
- {
- span<int, 5> av = arr;
- EXPECT_TRUE(av.last<0>().size() == 0);
- EXPECT_TRUE(av.last(0).size() == 0);
- }
- {
- span<int, 5> av = arr;
- EXPECT_TRUE(av.last<5>().size() == 5);
- EXPECT_TRUE(av.last(5).size() == 5);
- }
- {
- span<int, 5> av = arr;
- #ifdef CONFIRM_COMPILATION_ERRORS
- EXPECT_TRUE(av.last<6>().size() == 6);
- #endif
- EXPECT_DEATH(av.last(6).size(), expected);
- }
- {
- span<int> av;
- EXPECT_TRUE(av.last<0>().size() == 0);
- EXPECT_TRUE(av.last(0).size() == 0);
- }
- }
- TEST(span_test, subspan)
- {
- const auto terminateHandler = std::set_terminate([] {
- std::cerr << "Expected Death. subspan";
- std::abort();
- });
- const auto expected = GetExpectedDeathString(terminateHandler);
- int arr[5] = {1, 2, 3, 4, 5};
- {
- span<int, 5> av = arr;
- EXPECT_TRUE((av.subspan<2, 2>().size()) == 2);
- EXPECT_TRUE(decltype(av.subspan<2, 2>())::extent == 2);
- EXPECT_TRUE(av.subspan(2, 2).size() == 2);
- EXPECT_TRUE(av.subspan(2, 3).size() == 3);
- }
- {
- span<int, 5> av = arr;
- EXPECT_TRUE((av.subspan<0, 0>().size()) == 0);
- EXPECT_TRUE(decltype(av.subspan<0, 0>())::extent == 0);
- EXPECT_TRUE(av.subspan(0, 0).size() == 0);
- }
- {
- span<int, 5> av = arr;
- EXPECT_TRUE((av.subspan<0, 5>().size()) == 5);
- EXPECT_TRUE(decltype(av.subspan<0, 5>())::extent == 5);
- EXPECT_TRUE(av.subspan(0, 5).size() == 5);
- EXPECT_DEATH(av.subspan(0, 6).size(), expected);
- EXPECT_DEATH(av.subspan(1, 5).size(), expected);
- }
- {
- span<int, 5> av = arr;
- EXPECT_TRUE((av.subspan<4, 0>().size()) == 0);
- EXPECT_TRUE(decltype(av.subspan<4, 0>())::extent == 0);
- EXPECT_TRUE(av.subspan(4, 0).size() == 0);
- EXPECT_TRUE(av.subspan(5, 0).size() == 0);
- EXPECT_DEATH(av.subspan(6, 0).size(), expected);
- }
- {
- span<int, 5> av = arr;
- EXPECT_TRUE(av.subspan<1>().size() == 4);
- EXPECT_TRUE(decltype(av.subspan<1>())::extent == 4);
- }
- {
- span<int> av;
- EXPECT_TRUE((av.subspan<0, 0>().size()) == 0);
- EXPECT_TRUE(decltype(av.subspan<0, 0>())::extent == 0);
- EXPECT_TRUE(av.subspan(0, 0).size() == 0);
- EXPECT_DEATH((av.subspan<1, 0>().size()), expected);
- }
- {
- span<int> av;
- EXPECT_TRUE(av.subspan(0).size() == 0);
- EXPECT_DEATH(av.subspan(1).size(), expected);
- }
- {
- span<int> av = arr;
- EXPECT_TRUE(av.subspan(0).size() == 5);
- EXPECT_TRUE(av.subspan(1).size() == 4);
- EXPECT_TRUE(av.subspan(4).size() == 1);
- EXPECT_TRUE(av.subspan(5).size() == 0);
- EXPECT_DEATH(av.subspan(6).size(), expected);
- const auto av2 = av.subspan(1);
- for (std::size_t i = 0; i < 4; ++i) EXPECT_TRUE(av2[i] == static_cast<int>(i) + 2);
- }
- {
- span<int, 5> av = arr;
- EXPECT_TRUE(av.subspan(0).size() == 5);
- EXPECT_TRUE(av.subspan(1).size() == 4);
- EXPECT_TRUE(av.subspan(4).size() == 1);
- EXPECT_TRUE(av.subspan(5).size() == 0);
- EXPECT_DEATH(av.subspan(6).size(), expected);
- const auto av2 = av.subspan(1);
- for (std::size_t i = 0; i < 4; ++i) EXPECT_TRUE(av2[i] == static_cast<int>(i) + 2);
- }
- }
- TEST(span_test, iterator_default_init)
- {
- span<int>::iterator it1;
- span<int>::iterator it2;
- EXPECT_TRUE(it1 == it2);
- }
- TEST(span_test, iterator_comparisons)
- {
- int a[] = {1, 2, 3, 4};
- {
- span<int> s = a;
- span<int>::iterator it = s.begin();
- auto it2 = it + 1;
- EXPECT_TRUE(it == it);
- EXPECT_TRUE(it == s.begin());
- EXPECT_TRUE(s.begin() == it);
- EXPECT_TRUE(it != it2);
- EXPECT_TRUE(it2 != it);
- EXPECT_TRUE(it != s.end());
- EXPECT_TRUE(it2 != s.end());
- EXPECT_TRUE(s.end() != it);
- EXPECT_TRUE(it < it2);
- EXPECT_TRUE(it <= it2);
- EXPECT_TRUE(it2 <= s.end());
- EXPECT_TRUE(it < s.end());
- EXPECT_TRUE(it2 > it);
- EXPECT_TRUE(it2 >= it);
- EXPECT_TRUE(s.end() > it2);
- EXPECT_TRUE(s.end() >= it2);
- }
- }
- TEST(span_test, incomparable_iterators)
- {
- const auto terminateHandler = std::set_terminate([] {
- std::cerr << "Expected Death. incomparable_iterators";
- std::abort();
- });
- const auto expected = GetExpectedDeathString(terminateHandler);
- int a[] = {1, 2, 3, 4};
- int b[] = {1, 2, 3, 4};
- {
- span<int> s = a;
- span<int> s2 = b;
- #if (__cplusplus > 201402L)
- EXPECT_DEATH([[maybe_unused]] bool _ = (s.begin() == s2.begin()), expected);
- EXPECT_DEATH([[maybe_unused]] bool _ = (s.begin() <= s2.begin()), expected);
- #else
- EXPECT_DEATH(bool _ = (s.begin() == s2.begin()), expected);
- EXPECT_DEATH(bool _ = (s.begin() <= s2.begin()), expected);
- #endif
- }
- }
- TEST(span_test, begin_end)
- {
- const auto terminateHandler = std::set_terminate([] {
- std::cerr << "Expected Death. begin_end";
- std::abort();
- });
- const auto expected = GetExpectedDeathString(terminateHandler);
- {
- int a[] = {1, 2, 3, 4};
- span<int> s = a;
- span<int>::iterator it = s.begin();
- span<int>::iterator it2 = std::begin(s);
- EXPECT_TRUE(it == it2);
- it = s.end();
- it2 = std::end(s);
- EXPECT_TRUE(it == it2);
- }
- {
- int a[] = {1, 2, 3, 4};
- span<int> s = a;
- auto it = s.begin();
- auto first = it;
- EXPECT_TRUE(it == first);
- EXPECT_TRUE(*it == 1);
- auto beyond = s.end();
- EXPECT_TRUE(it != beyond);
- EXPECT_DEATH(*beyond, expected);
- EXPECT_TRUE(beyond - first == 4);
- EXPECT_TRUE(first - first == 0);
- EXPECT_TRUE(beyond - beyond == 0);
- ++it;
- EXPECT_TRUE(it - first == 1);
- EXPECT_TRUE(*it == 2);
- *it = 22;
- EXPECT_TRUE(*it == 22);
- EXPECT_TRUE(beyond - it == 3);
- it = first;
- EXPECT_TRUE(it == first);
- while (it != s.end())
- {
- *it = 5;
- ++it;
- }
- EXPECT_TRUE(it == beyond);
- EXPECT_TRUE(it - beyond == 0);
- for (const auto& n : s) { EXPECT_TRUE(n == 5); }
- }
- }
- TEST(span_test, rbegin_rend)
- {
- const auto terminateHandler = std::set_terminate([] {
- std::cerr << "Expected Death. rbegin_rend";
- std::abort();
- });
- const auto expected = GetExpectedDeathString(terminateHandler);
- {
- int a[] = {1, 2, 3, 4};
- span<int> s = a;
- auto it = s.rbegin();
- auto first = it;
- EXPECT_TRUE(it == first);
- EXPECT_TRUE(*it == 4);
- auto beyond = s.rend();
- EXPECT_TRUE(it != beyond);
- #if (__cplusplus > 201402L)
- EXPECT_DEATH([[maybe_unused]] auto _ = *beyond, expected);
- #else
- EXPECT_DEATH(auto _ = *beyond, expected);
- #endif
- EXPECT_TRUE(beyond - first == 4);
- EXPECT_TRUE(first - first == 0);
- EXPECT_TRUE(beyond - beyond == 0);
- ++it;
- EXPECT_TRUE(it - s.rbegin() == 1);
- EXPECT_TRUE(*it == 3);
- *it = 22;
- EXPECT_TRUE(*it == 22);
- EXPECT_TRUE(beyond - it == 3);
- it = first;
- EXPECT_TRUE(it == first);
- while (it != s.rend())
- {
- *it = 5;
- ++it;
- }
- EXPECT_TRUE(it == beyond);
- EXPECT_TRUE(it - beyond == 0);
- for (const auto& n : s) { EXPECT_TRUE(n == 5); }
- }
- }
- TEST(span_test, as_bytes)
- {
- int a[] = {1, 2, 3, 4};
- {
- const span<const int> s = a;
- EXPECT_TRUE(s.size() == 4);
- const span<const byte> bs = as_bytes(s);
- EXPECT_TRUE(static_cast<const void*>(bs.data()) == static_cast<const void*>(s.data()));
- EXPECT_TRUE(bs.size() == s.size_bytes());
- }
- {
- span<int> s;
- const auto bs = as_bytes(s);
- EXPECT_TRUE(bs.size() == s.size());
- EXPECT_TRUE(bs.size() == 0);
- EXPECT_TRUE(bs.size_bytes() == 0);
- EXPECT_TRUE(static_cast<const void*>(bs.data()) == static_cast<const void*>(s.data()));
- EXPECT_TRUE(bs.data() == nullptr);
- }
- {
- span<int> s = a;
- const auto bs = as_bytes(s);
- EXPECT_TRUE(static_cast<const void*>(bs.data()) == static_cast<const void*>(s.data()));
- EXPECT_TRUE(bs.size() == s.size_bytes());
- }
- }
- TEST(span_test, as_writable_bytes)
- {
- int a[] = {1, 2, 3, 4};
- {
- #ifdef CONFIRM_COMPILATION_ERRORS
- // you should not be able to get writeable bytes for const objects
- span<const int> s = a;
- EXPECT_TRUE(s.size() == 4);
- span<const byte> bs = as_writable_bytes(s);
- EXPECT_TRUE(static_cast<void*>(bs.data()) == static_cast<void*>(s.data()));
- EXPECT_TRUE(bs.size() == s.size_bytes());
- #endif
- }
- {
- span<int> s;
- const auto bs = as_writable_bytes(s);
- EXPECT_TRUE(bs.size() == s.size());
- EXPECT_TRUE(bs.size() == 0);
- EXPECT_TRUE(bs.size_bytes() == 0);
- EXPECT_TRUE(static_cast<void*>(bs.data()) == static_cast<void*>(s.data()));
- EXPECT_TRUE(bs.data() == nullptr);
- }
- {
- span<int> s = a;
- const auto bs = as_writable_bytes(s);
- EXPECT_TRUE(static_cast<void*>(bs.data()) == static_cast<void*>(s.data()));
- EXPECT_TRUE(bs.size() == s.size_bytes());
- }
- }
- TEST(span_test, fixed_size_conversions)
- {
- const auto terminateHandler = std::set_terminate([] {
- std::cerr << "Expected Death. fixed_size_conversions";
- std::abort();
- });
- const auto expected = GetExpectedDeathString(terminateHandler);
- int arr[] = {1, 2, 3, 4};
- // converting to an span from an equal size array is ok
- span<int, 4> s4 = arr;
- EXPECT_TRUE(s4.size() == 4);
- // converting to dynamic_range is always ok
- {
- span<int> s = s4;
- EXPECT_TRUE(s.size() == s4.size());
- static_cast<void>(s);
- }
- // initialization or assignment to static span that REDUCES size is NOT ok
- #ifdef CONFIRM_COMPILATION_ERRORS
- {
- span<int, 2> s = arr;
- }
- {
- span<int, 2> s2 = s4;
- static_cast<void>(s2);
- }
- #endif
- // even when done dynamically
- {
- /*
- // this now results in a compile-time error, rather than runtime.
- // There is no suitable conversion from dynamic span to fixed span.
- span<int> s = arr;
- auto f = [&]() {
- const span<int, 2> s2 = s;
- static_cast<void>(s2);
- };
- EXPECT_DEATH(f(), expected);
- */
- }
- // but doing so explicitly is ok
- // you can convert statically
- {
- const span<int, 2> s2{&arr[0], 2};
- static_cast<void>(s2);
- }
- {
- const span<int, 1> s1 = s4.first<1>();
- static_cast<void>(s1);
- }
- /*
- // this is not a legal operation in std::span, so we are no longer supporting it
- // conversion from span<int, 4> to span<int, dynamic_extent> via call to `first`
- // then convert from span<int, dynamic_extent> to span<int, 1>
- // The dynamic to fixed extents are not supported in the standard
- // to make this work, span<int, 1> would need to be span<int>.
- {
- // NB: implicit conversion to span<int,1> from span<int>
- span<int, 1> s1 = s4.first(1);
- static_cast<void>(s1);
- }
- */
- // initialization or assignment to static span that requires size INCREASE is not ok.
- int arr2[2] = {1, 2};
- #ifdef CONFIRM_COMPILATION_ERRORS
- {
- span<int, 4> s3 = arr2;
- }
- {
- span<int, 2> s2 = arr2;
- span<int, 4> s4a = s2;
- }
- #endif
- {
- auto f = [&]() {
- const span<int, 4> _s4{arr2, 2};
- static_cast<void>(_s4);
- };
- EXPECT_DEATH(f(), expected);
- }
- /*
- // This no longer compiles. There is no suitable conversion from dynamic span to a fixed size
- span.
- // this should fail - we are trying to assign a small dynamic span to a fixed_size larger one
- span<int> av = arr2; auto f = [&]() {
- const span<int, 4> _s4 = av;
- static_cast<void>(_s4);
- };
- EXPECT_DEATH(f(), expected);
- */
- }
- TEST(span_test, interop_with_std_regex)
- {
- char lat[] = {'1', '2', '3', '4', '5', '6', 'E', 'F', 'G'};
- span<char> s = lat;
- const auto f_it = s.begin() + 7;
- std::match_results<span<char>::iterator> match;
- std::regex_match(s.begin(), s.end(), match, std::regex(".*"));
- EXPECT_TRUE(match.ready());
- EXPECT_FALSE(match.empty());
- EXPECT_TRUE(match[0].matched);
- EXPECT_TRUE(match[0].first == s.begin());
- EXPECT_TRUE(match[0].second == s.end());
- std::regex_search(s.begin(), s.end(), match, std::regex("F"));
- EXPECT_TRUE(match.ready());
- EXPECT_FALSE(match.empty());
- EXPECT_TRUE(match[0].matched);
- EXPECT_TRUE(match[0].first == f_it);
- EXPECT_TRUE(match[0].second == (f_it + 1));
- }
- TEST(span_test, default_constructible)
- {
- EXPECT_TRUE((std::is_default_constructible<span<int>>::value));
- EXPECT_TRUE((std::is_default_constructible<span<int, 0>>::value));
- EXPECT_FALSE((std::is_default_constructible<span<int, 42>>::value));
- }
- TEST(span_test, std_container_ctad)
- {
- #if (defined(__cpp_deduction_guides) && (__cpp_deduction_guides >= 201611L))
- // this test is just to verify that these compile
- {
- std::vector<int> v{1, 2, 3, 4};
- gsl::span sp{v};
- static_assert(std::is_same<decltype(sp), gsl::span<int>>::value);
- }
- {
- std::string str{"foo"};
- gsl::span sp{str};
- static_assert(std::is_same<decltype(sp), gsl::span<char>>::value);
- }
- #ifdef HAS_STRING_VIEW
- {
- std::string_view sv{"foo"};
- gsl::span sp{sv};
- static_assert(std::is_same<decltype(sp), gsl::span<const char>>::value);
- }
- #endif
- #endif
- }
- TEST(span_test, front_back)
- {
- int arr[5] = {1, 2, 3, 4, 5};
- span<int> s{arr};
- EXPECT_TRUE(s.front() == 1);
- EXPECT_TRUE(s.back() == 5);
- const auto terminateHandler = std::set_terminate([] {
- std::cerr << "Expected Death. front_back";
- std::abort();
- });
- const auto expected = GetExpectedDeathString(terminateHandler);
- span<int> s2;
- EXPECT_DEATH(s2.front(), expected);
- EXPECT_DEATH(s2.back(), expected);
- }
- #if defined(FORCE_STD_SPAN_TESTS) || defined(__cpp_lib_span) && __cpp_lib_span >= 202002L
- TEST(span_test, std_span)
- {
- // make sure std::span can be constructed from gsl::span
- int arr[5] = {1, 2, 3, 4, 5};
- gsl::span<int> gsl_span{arr};
- #if defined(__cpp_lib_ranges) || (defined(_MSVC_STL_VERSION) && defined(__cpp_lib_concepts))
- EXPECT_TRUE(std::to_address(gsl_span.begin()) == gsl_span.data());
- EXPECT_TRUE(std::to_address(gsl_span.end()) == gsl_span.data() + gsl_span.size());
- #endif // __cpp_lib_ranges
- std::span<int> std_span = gsl_span;
- EXPECT_TRUE(std_span.data() == gsl_span.data());
- EXPECT_TRUE(std_span.size() == gsl_span.size());
- }
- #endif // defined(FORCE_STD_SPAN_TESTS) || defined(__cpp_lib_span) && __cpp_lib_span >= 202002L
- #if defined(__cpp_lib_span) && defined(__cpp_lib_ranges)
- // This test covers the changes in PR #1100
- TEST(span_test, msvc_compile_error_PR1100)
- {
- int arr[]{1, 7, 2, 9};
- gsl::span sp{arr, std::size(arr)};
- std::ranges::sort(sp);
- for (const auto& e : sp) {
- (void)e;
- }
- }
- #endif // defined(__cpp_lib_span) && defined(__cpp_lib_ranges)
|