mirror of
https://github.com/microsoft/GSL.git
synced 2024-11-03 17:56:43 -05:00
689 lines
19 KiB
C++
689 lines
19 KiB
C++
///////////////////////////////////////////////////////////////////////////////
|
|
//
|
|
// 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 <UnitTest++/UnitTest++.h>
|
|
#include <string_span.h>
|
|
#include <vector>
|
|
#include <cstdlib>
|
|
|
|
using namespace std;
|
|
using namespace gsl;
|
|
|
|
|
|
SUITE(string_span_tests)
|
|
{
|
|
|
|
TEST(TestLiteralConstruction)
|
|
{
|
|
cwstring_span<> v = ensure_z(L"Hello");
|
|
|
|
CHECK(5 == v.length());
|
|
|
|
#ifdef CONFIRM_COMPILATION_ERRORS
|
|
wstring_span<> v2 = ensure0(L"Hello");
|
|
#endif
|
|
}
|
|
|
|
TEST(TestConstructFromStdString)
|
|
{
|
|
std::string s = "Hello there world";
|
|
cstring_span<> v = s;
|
|
CHECK(v.length() == static_cast<cstring_span<>::size_type>(s.length()));
|
|
}
|
|
|
|
TEST(TestConstructFromStdVector)
|
|
{
|
|
std::vector<char> vec(5, 'h');
|
|
string_span<> v = vec;
|
|
CHECK(v.length() == static_cast<string_span<>::size_type>(vec.size()));
|
|
}
|
|
|
|
TEST(TestStackArrayConstruction)
|
|
{
|
|
wchar_t stack_string[] = L"Hello";
|
|
|
|
{
|
|
cwstring_span<> v = ensure_z(stack_string);
|
|
CHECK(v.length() == 5);
|
|
}
|
|
|
|
{
|
|
cwstring_span<> v = stack_string;
|
|
CHECK(v.length() == 5);
|
|
}
|
|
|
|
{
|
|
wstring_span<> v = ensure_z(stack_string);
|
|
CHECK(v.length() == 5);
|
|
}
|
|
|
|
{
|
|
wstring_span<> v = stack_string;
|
|
CHECK(v.length() == 5);
|
|
}
|
|
}
|
|
|
|
TEST(TestConstructFromConstCharPointer)
|
|
{
|
|
const char* s = "Hello";
|
|
cstring_span<> v = ensure_z(s);
|
|
CHECK(v.length() == 5);
|
|
}
|
|
|
|
TEST(TestConversionToConst)
|
|
{
|
|
char stack_string[] = "Hello";
|
|
string_span<> v = ensure_z(stack_string);
|
|
cstring_span<> v2 = v;
|
|
CHECK(v.length() == v2.length());
|
|
}
|
|
|
|
TEST(TestConversionFromConst)
|
|
{
|
|
char stack_string[] = "Hello";
|
|
cstring_span<> v = ensure_z(stack_string);
|
|
(void)v;
|
|
#ifdef CONFIRM_COMPILATION_ERRORS
|
|
string_span<> v2 = v;
|
|
string_span<> v3 = "Hello";
|
|
#endif
|
|
}
|
|
|
|
TEST(TestToString)
|
|
{
|
|
auto s = gsl::to_string(cstring_span<>{});
|
|
CHECK(s.length() == 0);
|
|
|
|
char stack_string[] = "Hello";
|
|
cstring_span<> v = ensure_z(stack_string);
|
|
auto s2 = gsl::to_string(v);
|
|
CHECK(static_cast<cstring_span<>::size_type>(s2.length()) == v.length());
|
|
CHECK(s2.length() == 5);
|
|
}
|
|
|
|
TEST(EqualityAndImplicitConstructors)
|
|
{
|
|
{
|
|
cstring_span<> span = "Hello";
|
|
|
|
const char ar[] = { 'H', 'e', 'l', 'l', 'o' };
|
|
const char ar1[] = "Hello";
|
|
const char ar2[10] = "Hello";
|
|
const char* ptr = "Hello";
|
|
const std::string str = "Hello";
|
|
const std::vector<char> vec = { 'H', 'e', 'l', 'l', 'o' };
|
|
|
|
// comparison to literal
|
|
CHECK(span == cstring_span<>("Hello"));
|
|
|
|
// comparison to static array with no null termination
|
|
CHECK(span == cstring_span<>(ar));
|
|
|
|
// comparison to static array with null at the end
|
|
CHECK(span == cstring_span<>(ar1));
|
|
|
|
// comparison to static array with null in the middle
|
|
CHECK(span == cstring_span<>(ar2));
|
|
|
|
// comparison to null-terminated c string
|
|
CHECK(span == cstring_span<>(ptr, 5));
|
|
|
|
// comparison to string
|
|
CHECK(span == cstring_span<>(str));
|
|
|
|
// comparison to vector of charaters with no null termination
|
|
CHECK(span == cstring_span<>(vec));
|
|
|
|
// comparison of the original data to string
|
|
CHECK(span.data() == std::string("Hello"));
|
|
}
|
|
|
|
{
|
|
char ar[] = { 'H', 'e', 'l', 'l', 'o' };
|
|
|
|
string_span<> span = ar;
|
|
|
|
char ar1[] = "Hello";
|
|
char ar2[10] = "Hello";
|
|
char* ptr = ar;
|
|
std::string str = "Hello";
|
|
std::vector<char> vec = { 'H', 'e', 'l', 'l', 'o' };
|
|
|
|
// comparison to static array with no null termination
|
|
CHECK(span == string_span<>(ar));
|
|
|
|
// comparison to static array with null at the end
|
|
CHECK(span == string_span<>(ar1));
|
|
|
|
// comparison to static array with null in the middle
|
|
CHECK(span == string_span<>(ar2));
|
|
|
|
// comparison to null-terminated c string
|
|
CHECK(span == string_span<>(ptr, 5));
|
|
|
|
// comparison to string
|
|
CHECK(span == string_span<>(str));
|
|
|
|
// comparison to vector of charaters with no null termination
|
|
CHECK(span == string_span<>(vec));
|
|
}
|
|
|
|
#ifdef CONFIRM_COMPILATION_ERRORS
|
|
{
|
|
cstring_span<> span = "Hello";
|
|
|
|
CHECK(span == "Hello");
|
|
CHECK(span == ar);
|
|
CHECK(span == ar1);
|
|
CHECK(span == ar2);
|
|
CHECK(span == ptr);
|
|
CHECK(span == str);
|
|
CHECK(span == vec);
|
|
|
|
char _ar[] = { 'H', 'e', 'l', 'l', 'o' };
|
|
char _ar1[] = "Hello";
|
|
char _ar2[10] = "Hello";
|
|
char* _ptr = _ar1;
|
|
std::string _str = "Hello";
|
|
std::vector<char> _vec = { 'H', 'e', 'l', 'l', 'o' };
|
|
|
|
CHECK(span == _ar);
|
|
CHECK(span == _ar1);
|
|
CHECK(span == _ar2);
|
|
CHECK(span == _ptr);
|
|
CHECK(span == _str);
|
|
CHECK(span == _vec);
|
|
|
|
string_span<> _span{ _ptr };
|
|
|
|
CHECK(_span == _ar);
|
|
CHECK(_span == _ar1);
|
|
CHECK(_span == _ar2);
|
|
CHECK(_span == _ptr);
|
|
CHECK(_span == _str);
|
|
CHECK(_span == _vec);
|
|
|
|
CHECK(_span == "Hello");
|
|
CHECK(_span == ar);
|
|
CHECK(_span == ar1);
|
|
CHECK(_span == ar2);
|
|
CHECK(_span == ptr);
|
|
CHECK(_span == str);
|
|
CHECK(_span == vec);
|
|
}
|
|
#endif
|
|
|
|
{
|
|
std::vector<char> str1 = { 'H', 'e', 'l', 'l', 'o' };
|
|
cstring_span<> span1 = str1;
|
|
std::vector<char> str2 = std::move(str1);
|
|
cstring_span<> span2 = str2;
|
|
|
|
// comparison of spans from the same vector before and after move (ok)
|
|
CHECK(span1 == span2);
|
|
}
|
|
}
|
|
|
|
|
|
TEST(ComparisonAndImplicitConstructors)
|
|
{
|
|
{
|
|
cstring_span<> span = "Hello";
|
|
|
|
const char ar[] = { 'H', 'e', 'l', 'l', 'o' };
|
|
const char ar1[] = "Hello";
|
|
const char ar2[10] = "Hello";
|
|
const char* ptr = "Hello";
|
|
const std::string str = "Hello";
|
|
const std::vector<char> vec = { 'H', 'e', 'l', 'l', 'o' };
|
|
|
|
// comparison to literal
|
|
CHECK(span < cstring_span<>("Helloo"));
|
|
CHECK(span > cstring_span<>("Hell"));
|
|
|
|
// comparison to static array with no null termination
|
|
CHECK(span >= cstring_span<>(ar));
|
|
|
|
// comparison to static array with null at the end
|
|
CHECK(span <= cstring_span<>(ar1));
|
|
|
|
// comparison to static array with null in the middle
|
|
CHECK(span >= cstring_span<>(ar2));
|
|
|
|
// comparison to null-terminated c string
|
|
CHECK(span <= cstring_span<>(ptr, 5));
|
|
|
|
// comparison to string
|
|
CHECK(span >= cstring_span<>(str));
|
|
|
|
// comparison to vector of charaters with no null termination
|
|
CHECK(span <= cstring_span<>(vec));
|
|
}
|
|
|
|
{
|
|
char ar[] = { 'H', 'e', 'l', 'l', 'o' };
|
|
|
|
string_span<> span = ar;
|
|
|
|
char larr[] = "Hell";
|
|
char rarr[] = "Helloo";
|
|
|
|
char ar1[] = "Hello";
|
|
char ar2[10] = "Hello";
|
|
char* ptr = ar;
|
|
std::string str = "Hello";
|
|
std::vector<char> vec = { 'H', 'e', 'l', 'l', 'o' };
|
|
|
|
|
|
// comparison to static array with no null termination
|
|
CHECK(span <= string_span<>(ar));
|
|
CHECK(span < string_span<>(rarr));
|
|
CHECK(span > string_span<>(larr));
|
|
|
|
// comparison to static array with null at the end
|
|
CHECK(span >= string_span<>(ar1));
|
|
|
|
// comparison to static array with null in the middle
|
|
CHECK(span <= string_span<>(ar2));
|
|
|
|
// comparison to null-terminated c string
|
|
CHECK(span >= string_span<>(ptr, 5));
|
|
|
|
// comparison to string
|
|
CHECK(span <= string_span<>(str));
|
|
|
|
// comparison to vector of charaters with no null termination
|
|
CHECK(span >= string_span<>(vec));
|
|
}
|
|
}
|
|
TEST(EnzureRemoveZ)
|
|
{
|
|
// remove z from literals
|
|
{
|
|
cstring_span<> sp = "hello";
|
|
CHECK((sp.length() == 5));
|
|
}
|
|
|
|
// take the string as is
|
|
{
|
|
auto str = std::string("hello");
|
|
cstring_span<> sp = str;
|
|
CHECK((sp.length() == 5));
|
|
}
|
|
|
|
// ensure z on c strings
|
|
{
|
|
char* ptr = new char[3];
|
|
|
|
ptr[0] = 'a';
|
|
ptr[1] = 'b';
|
|
ptr[2] = '\0';
|
|
|
|
string_span<> span = ensure_z(ptr);
|
|
CHECK(span.length() == 2);
|
|
|
|
delete[] ptr;
|
|
}
|
|
}
|
|
|
|
TEST(Constructors)
|
|
{
|
|
// creating cstring_span
|
|
|
|
// from string temporary
|
|
#ifdef CONFIRM_COMPILATION_ERRORS
|
|
{
|
|
cstring_span<> span = std::string("Hello");
|
|
}
|
|
#endif
|
|
|
|
// from string literal
|
|
{
|
|
cstring_span<> span = "Hello";
|
|
CHECK(span.length() == 5);
|
|
}
|
|
|
|
// from const static array
|
|
{
|
|
const char ar[] = { 'H', 'e', 'l', 'l', 'o' };
|
|
cstring_span<> span = ar;
|
|
CHECK(span.length() == 5);
|
|
}
|
|
|
|
// from non-const static array
|
|
{
|
|
char ar[] = { 'H', 'e', 'l', 'l', 'o' };
|
|
cstring_span<> span = ar;
|
|
CHECK(span.length() == 5);
|
|
}
|
|
|
|
// from const ptr and length
|
|
{
|
|
const char* ptr = "Hello";
|
|
cstring_span<> span{ ptr, 5 };
|
|
CHECK(span.length() == 5);
|
|
}
|
|
|
|
// from non-const ptr and length
|
|
{
|
|
// does not compile with GCC (ISO standard does not allow converting string literals to char*)
|
|
#ifdef CONFIRM_COMPILATION_ERRORS
|
|
char* ptr = "Hello";
|
|
cstring_span<> span{ ptr, 5 };
|
|
CHECK(span.length() == 5);
|
|
#endif
|
|
}
|
|
|
|
// from const string
|
|
{
|
|
const std::string str = "Hello";
|
|
cstring_span<> span = str;
|
|
CHECK(span.length() == 5);
|
|
}
|
|
|
|
// from non-const string
|
|
{
|
|
std::string str = "Hello";
|
|
cstring_span<> span = str;
|
|
CHECK(span.length() == 5);
|
|
}
|
|
|
|
// from const vector
|
|
{
|
|
const std::vector<char> vec = { 'H', 'e', 'l', 'l', 'o' };
|
|
cstring_span<> span = vec;
|
|
CHECK(span.length() == 5);
|
|
}
|
|
|
|
// from non-const vector
|
|
{
|
|
std::vector<char> vec = { 'H', 'e', 'l', 'l', 'o' };
|
|
cstring_span<> span = vec;
|
|
CHECK(span.length() == 5);
|
|
}
|
|
|
|
// from const span
|
|
{
|
|
std::vector<char> vec = { 'H', 'e', 'l', 'l', 'o' };
|
|
const span<const char> inner = vec;
|
|
cstring_span<> span = inner;
|
|
CHECK(span.length() == 5);
|
|
}
|
|
|
|
// from non-const span
|
|
{
|
|
std::vector<char> vec = { 'H', 'e', 'l', 'l', 'o' };
|
|
span<char> inner = vec;
|
|
cstring_span<> span = inner;
|
|
CHECK(span.length() == 5);
|
|
}
|
|
|
|
// from const string_span
|
|
{
|
|
std::vector<char> vec = { 'H', 'e', 'l', 'l', 'o' };
|
|
cstring_span<> tmp = vec;
|
|
cstring_span<> span = tmp;
|
|
CHECK(span.length() == 5);
|
|
}
|
|
|
|
// from non-const string_span
|
|
{
|
|
std::vector<char> vec = { 'H', 'e', 'l', 'l', 'o' };
|
|
string_span<> tmp = vec;
|
|
cstring_span<> span = tmp;
|
|
CHECK(span.length() == 5);
|
|
}
|
|
|
|
// creating string_span
|
|
|
|
// from string literal
|
|
{
|
|
#ifdef CONFIRM_COMPILATION_ERRORS
|
|
string_span<> span = "Hello";
|
|
#endif
|
|
}
|
|
|
|
// from const static array
|
|
{
|
|
#ifdef CONFIRM_COMPILATION_ERRORS
|
|
const char ar[] = { 'H', 'e', 'l', 'l', 'o' };
|
|
string_span<> span = ar;
|
|
CHECK(span.length() == 5);
|
|
#endif
|
|
}
|
|
|
|
// from non-const static array
|
|
{
|
|
char ar[] = { 'H', 'e', 'l', 'l', 'o' };
|
|
string_span<> span = ar;
|
|
CHECK(span.length() == 5);
|
|
}
|
|
|
|
// from const ptr and length
|
|
{
|
|
#ifdef CONFIRM_COMPILATION_ERRORS
|
|
const char* ptr = "Hello";
|
|
string_span<> span{ ptr, 5 };
|
|
CHECK(span.length() == 5);
|
|
#endif
|
|
}
|
|
|
|
// from non-const ptr and length
|
|
{
|
|
char ar[] = { 'H', 'e', 'l', 'l', 'o' };
|
|
char* ptr = ar;
|
|
string_span<> span{ ptr, 5 };
|
|
CHECK(span.length() == 5);
|
|
}
|
|
|
|
// from const string
|
|
{
|
|
#ifdef CONFIRM_COMPILATION_ERRORS
|
|
const std::string str = "Hello";
|
|
string_span<> span = str;
|
|
CHECK(span.length() == 5);
|
|
#endif
|
|
}
|
|
|
|
// from non-const string
|
|
{
|
|
std::string str = "Hello";
|
|
string_span<> span = str;
|
|
CHECK(span.length() == 5);
|
|
}
|
|
|
|
// from const vector
|
|
{
|
|
#ifdef CONFIRM_COMPILATION_ERRORS
|
|
const std::vector<char> vec = { 'H', 'e', 'l', 'l', 'o' };
|
|
string_span<> span = vec;
|
|
CHECK(span.length() == 5);
|
|
#endif
|
|
}
|
|
|
|
// from non-const vector
|
|
{
|
|
std::vector<char> vec = { 'H', 'e', 'l', 'l', 'o' };
|
|
string_span<> span = vec;
|
|
CHECK(span.length() == 5);
|
|
}
|
|
|
|
// from const span
|
|
{
|
|
#ifdef CONFIRM_COMPILATION_ERRORS
|
|
std::vector<char> vec = { 'H', 'e', 'l', 'l', 'o' };
|
|
const span<const char> inner = vec;
|
|
string_span<> span = inner;
|
|
CHECK(span.length() == 5);
|
|
#endif
|
|
}
|
|
|
|
// from non-const span
|
|
{
|
|
std::vector<char> vec = { 'H', 'e', 'l', 'l', 'o' };
|
|
span<char> inner = vec;
|
|
string_span<> span = inner;
|
|
CHECK(span.length() == 5);
|
|
}
|
|
|
|
// from non-const span of non-const data from const vector
|
|
{
|
|
#ifdef CONFIRM_COMPILATION_ERRORS
|
|
const std::vector<char> vec = { 'H', 'e', 'l', 'l', 'o' };
|
|
const span<char> inner = vec;
|
|
string_span<> span = inner;
|
|
CHECK(span.length() == 5);
|
|
#endif
|
|
}
|
|
|
|
// from const string_span
|
|
{
|
|
#ifdef CONFIRM_COMPILATION_ERRORS
|
|
std::vector<char> vec = { 'H', 'e', 'l', 'l', 'o' };
|
|
cstring_span<> tmp = vec;
|
|
string_span<> span = tmp;
|
|
CHECK(span.length() == 5);
|
|
#endif
|
|
}
|
|
|
|
// from non-const string_span
|
|
{
|
|
std::vector<char> vec = { 'H', 'e', 'l', 'l', 'o' };
|
|
string_span<> tmp = vec;
|
|
string_span<> span = tmp;
|
|
CHECK(span.length() == 5);
|
|
}
|
|
|
|
// from non-const string_span from const vector
|
|
{
|
|
#ifdef CONFIRM_COMPILATION_ERRORS
|
|
const std::vector<char> vec = { 'H', 'e', 'l', 'l', 'o' };
|
|
string_span<> tmp = vec;
|
|
string_span<> span = tmp;
|
|
CHECK(span.length() == 5);
|
|
#endif
|
|
}
|
|
|
|
// from const string_span of non-const data
|
|
{
|
|
std::vector<char> vec = { 'H', 'e', 'l', 'l', 'o' };
|
|
const string_span<> tmp = vec;
|
|
string_span<> span = tmp;
|
|
CHECK(span.length() == 5);
|
|
}
|
|
}
|
|
|
|
template<typename T>
|
|
T move_wrapper(T&& t)
|
|
{
|
|
return std::move(t);
|
|
}
|
|
|
|
template <class T>
|
|
T create() { return T{}; }
|
|
|
|
template <class T>
|
|
void use(basic_string_span<T, gsl::dynamic_range> s) {}
|
|
|
|
TEST(MoveConstructors)
|
|
{
|
|
// move string_span
|
|
{
|
|
cstring_span<> span = "Hello";
|
|
auto span1 = std::move(span);
|
|
CHECK(span1.length() == 5);
|
|
}
|
|
{
|
|
cstring_span<> span = "Hello";
|
|
auto span1 = move_wrapper(std::move(span));
|
|
CHECK(span1.length() == 5);
|
|
}
|
|
{
|
|
cstring_span<> span = "Hello";
|
|
auto span1 = move_wrapper(std::move(span));
|
|
CHECK(span1.length() == 5);
|
|
}
|
|
|
|
// move span
|
|
{
|
|
span<const char> span = ensure_z("Hello");
|
|
cstring_span<> span1 = std::move(span);
|
|
CHECK(span1.length() == 5);
|
|
}
|
|
{
|
|
span<const char> span = ensure_z("Hello");
|
|
cstring_span<> span2 = move_wrapper(std::move(span));
|
|
CHECK(span2.length() == 5);
|
|
}
|
|
|
|
// move string
|
|
{
|
|
#ifdef CONFIRM_COMPILATION_ERRORS
|
|
std::string str = "Hello";
|
|
string_span<> span = std::move(str);
|
|
CHECK(span.length() == 5);
|
|
#endif
|
|
}
|
|
{
|
|
#ifdef CONFIRM_COMPILATION_ERRORS
|
|
std::string str = "Hello";
|
|
string_span<> span = move_wrapper<std::string>(std::move(str));
|
|
CHECK(span.length() == 5);
|
|
#endif
|
|
}
|
|
{
|
|
#ifdef CONFIRM_COMPILATION_ERRORS
|
|
use<char>(create<string>());
|
|
#endif
|
|
}
|
|
|
|
// move container
|
|
{
|
|
#ifdef CONFIRM_COMPILATION_ERRORS
|
|
std::vector<char> vec = { 'H', 'e', 'l', 'l', 'o' };
|
|
string_span<> span = std::move(vec);
|
|
CHECK(span.length() == 5);
|
|
#endif
|
|
}
|
|
{
|
|
#ifdef CONFIRM_COMPILATION_ERRORS
|
|
std::vector<char> vec = { 'H', 'e', 'l', 'l', 'o' };
|
|
string_span<> span = move_wrapper<std::vector<char>>(std::move(vec));
|
|
CHECK(span.length() == 5);
|
|
#endif
|
|
}
|
|
{
|
|
#ifdef CONFIRM_COMPILATION_ERRORS
|
|
use<char>(create<std::vector<char>>());
|
|
#endif
|
|
}
|
|
}
|
|
|
|
TEST(Conversion)
|
|
{
|
|
#ifdef CONFIRM_COMPPILATION_ERRORS
|
|
cstring_span<> span = "Hello";
|
|
cwstring_span<> wspan{ span };
|
|
CHECK(wspan.length() == 5);
|
|
#endif
|
|
}
|
|
}
|
|
|
|
int main(int, const char *[])
|
|
{
|
|
return UnitTest::RunAllTests();
|
|
}
|