microsoft
/
STL
зеркало из https://github.com/microsoft/STL.git
1
0
Форкнуть 0
Код Задачи Пакеты Проекты Релизы Вики Активность

Add test coverage for GH-1603 (default_initializable) (#1604)

This commit is contained in:
Casey Carter 2021-02-12 14:49:31 -08:00 коммит произвёл GitHub
Родитель 481d1bdea2
Коммит 396f901d58
Не найден ключ, соответствующий данной подписи
Идентификатор ключа GPG: 4AEE18F83AFDEB23
1 изменённых файлов: 23 добавлений и 12 удалений
Показать статистику Скачать Patch файл Скачать Diff файл Показать все файлы Свернуть все файлы

35
tests/std/tests/P0898R3_concepts/test.cpp
Просмотреть файл

@ -150,6 +150,10 @@ struct ExplicitDefault {
explicit ExplicitDefault() = default;
};
struct AggregatesExplicitDefault {
ExplicitDefault meow;
};
struct DeletedDefault {
DeletedDefault() = delete;
};
@ -1488,17 +1492,17 @@ namespace test_default_initializable {
using std::default_initializable, std::initializer_list;
STATIC_ASSERT(default_initializable<int>);
#if defined(__clang__) || defined(__EDG__) // TRANSITION, VSO-1084668
#if defined(__clang__) || defined(__EDG__) // TRANSITION, DevCom-952724
STATIC_ASSERT(!default_initializable<int const>);
#else // ^^^ no workaround / workaround vvv
#else // ^^^ no workaround / assert bug so we'll notice when it's fixed vvv
STATIC_ASSERT(default_initializable<int const>);
#endif // TRANSITION, VSO-1084668
#endif // TRANSITION, DevCom-952724
STATIC_ASSERT(default_initializable<int volatile>);
#if defined(__clang__) || defined(__EDG__) // TRANSITION, VSO-1084668
#if defined(__clang__) || defined(__EDG__) // TRANSITION, DevCom-952724
STATIC_ASSERT(!default_initializable<int const volatile>);
#else // ^^^ no workaround / workaround vvv
#else // ^^^ no workaround / assert bug so we'll notice when it's fixed vvv
STATIC_ASSERT(default_initializable<int const volatile>);
#endif // TRANSITION, VSO-1084668
#endif // TRANSITION, DevCom-952724
STATIC_ASSERT(default_initializable<double>);
STATIC_ASSERT(!default_initializable<void>);
@ -1511,11 +1515,11 @@ namespace test_default_initializable {
STATIC_ASSERT(!default_initializable<int[]>);
STATIC_ASSERT(!default_initializable<char[]>);
STATIC_ASSERT(!default_initializable<char[][3]>);
#if defined(__clang__) || defined(__EDG__) // TRANSITION, VSO-1084668
#if defined(__clang__) || defined(__EDG__) // TRANSITION, DevCom-952724
STATIC_ASSERT(!default_initializable<int const[2]>);
#else // ^^^ no workaround / workaround vvv
#else // ^^^ no workaround / assert bug so we'll notice when it's fixed vvv
STATIC_ASSERT(default_initializable<int const[2]>);
#endif // TRANSITION, VSO-1084668
#endif // TRANSITION, DevCom-952724
STATIC_ASSERT(!default_initializable<int&>);
STATIC_ASSERT(!default_initializable<int const&>);
@ -1559,11 +1563,18 @@ namespace test_default_initializable {
int x;
};
STATIC_ASSERT(default_initializable<S>);
#if defined(__clang__) || defined(__EDG__) // TRANSITION, VSO-1084668
#if defined(__clang__) || defined(__EDG__) // TRANSITION, DevCom-952724
STATIC_ASSERT(!default_initializable<S const>);
#else // ^^^ no workaround / workaround vvv
#else // ^^^ no workaround / assert bug so we'll notice when it's fixed vvv
STATIC_ASSERT(default_initializable<S const>);
#endif // TRANSITION, VSO-1084668
#endif // TRANSITION, DevCom-952724
// Also test GH-1603 "default_initializable accepts types that are not default-initializable"
#if defined(__clang__) || defined(__EDG__) // TRANSITION, DevCom-1326684
STATIC_ASSERT(!default_initializable<AggregatesExplicitDefault>);
#else // ^^^ no workaround / assert bug so we'll notice when it's fixed vvv
STATIC_ASSERT(default_initializable<AggregatesExplicitDefault>);
#endif // TRANSITION, DevCom-1326684
} // namespace test_default_initializable
namespace test_move_constructible {