1b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//===----------------------------------------------------------------------===// 2b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// 3b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// The LLVM Compiler Infrastructure 4b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// 5b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// This file is dual licensed under the MIT and the University of Illinois Open 6b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// Source Licenses. See LICENSE.TXT for details. 7b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// 8b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner//===----------------------------------------------------------------------===// 9b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 10b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// type_traits 11b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 12b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// template <class T, class... Args> 13b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner// struct is_nothrow_constructible; 14b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 15b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner#include <type_traits> 16b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 17ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turnertemplate <class T> 18ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turnervoid test_is_nothrow_constructible() 19ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner{ 20ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner static_assert(( std::is_nothrow_constructible<T>::value), ""); 21ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner} 22ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner 23ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turnertemplate <class T, class A0> 24ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turnervoid test_is_nothrow_constructible() 25ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner{ 26ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner static_assert(( std::is_nothrow_constructible<T, A0>::value), ""); 27ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner} 28ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner 29ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turnertemplate <class T> 30ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turnervoid test_is_not_nothrow_constructible() 31ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner{ 32ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner static_assert((!std::is_nothrow_constructible<T>::value), ""); 33ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner} 34ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner 35ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turnertemplate <class T, class A0> 36ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turnervoid test_is_not_nothrow_constructible() 37ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner{ 38ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner static_assert((!std::is_nothrow_constructible<T, A0>::value), ""); 39ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner} 40ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner 41ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turnertemplate <class T, class A0, class A1> 42ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turnervoid test_is_not_nothrow_constructible() 43ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner{ 44ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner static_assert((!std::is_nothrow_constructible<T, A0, A1>::value), ""); 45ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner} 46ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner 47b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerclass Empty 48b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{ 49b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner}; 50b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 51b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerclass NotEmpty 52b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{ 53b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner virtual ~NotEmpty(); 54b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner}; 55b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 56b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerunion Union {}; 57b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 58b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerstruct bit_zero 59b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{ 60b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner int : 0; 61b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner}; 62b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 63b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerclass Abstract 64b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{ 65b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner virtual ~Abstract() = 0; 66b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner}; 67b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 68b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerstruct A 69b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{ 70b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner A(const A&); 71b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner}; 72b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner 73b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turnerint main() 74b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner{ 75ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner test_is_nothrow_constructible<int> (); 76ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner test_is_nothrow_constructible<int, const int&> (); 77ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner test_is_nothrow_constructible<Empty> (); 78ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner test_is_nothrow_constructible<Empty, const Empty&> (); 79ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner 80ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner test_is_not_nothrow_constructible<A, int> (); 81ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner test_is_not_nothrow_constructible<A, int, double> (); 82ad46d2248426e810edc5878c7cb086b7093f3cf5David 'Digit' Turner test_is_not_nothrow_constructible<A> (); 83b9a36c36f4b257de79bd656aefa7bfde40cedb0fDavid 'Digit' Turner} 84