mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-05 20:01:28 +08:00
Code Issues Packages Projects Releases Wiki Activity

type_traits: Implemenet is_polymorphic.

Browse Source 
2005-03-03  Paolo Carlini  <pcarlini@suse.de>

	* include/tr1/type_traits: Implemenet is_polymorphic.
	(is_empty): Minor tweaks.
	* testsuite/testsuite_tr1.h: Add test types.
	* testsuite/tr1/4_metaprogramming/type_properties/
	is_polymorphic/is_polymorphic.cc: New.
	* testsuite/tr1/4_metaprogramming/type_properties/
	is_polymorphic/typedefs.cc: Likewise.
	* testsuite/tr1/4_metaprogramming/composite_type_traits/
	is_union_or_class/is_union_or_class.cc: Add tests.

From-SVN: r95829
This commit is contained in:
Paolo Carlini 2005-03-03 13:52:20 +00:00
parent 2a60a1b116
commit 442dca704c
6 changed files with 159 additions and 25 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

54
libstdc++-v3/ChangeLog
View File

@ -1,29 +1,41 @@
2005-03-03 Paolo Carlini <pcarlini@suse.de>
* include/tr1/type_traits: Implemenet is_polymorphic.
(is_empty): Minor tweaks.
* testsuite/testsuite_tr1.h: Add test types.
* testsuite/tr1/4_metaprogramming/type_properties/
is_polymorphic/is_polymorphic.cc: New.
* testsuite/tr1/4_metaprogramming/type_properties/
is_polymorphic/typedefs.cc: Likewise.
* testsuite/tr1/4_metaprogramming/composite_type_traits/
is_union_or_class/is_union_or_class.cc: Add tests.
2005-03-02 Douglas Gregor <doug.gregor@gmail.com>
* include/tr1/functional (_Has_result_type): Cleanup.
(_Result_of_impl): Handle member data pointers correctly.
(reference_wrapper): Support invocation.
Move repetition code into new file include/tr1/repeat.h.
* include/tr1/functional_iterate.h (reference_wrapper): Support
invocation. Cleanup long lines.
* include/tr1/ref_wrap_iterate.h (reference_wrapper): Declare
invocation operators.
* include/tr1/repeat.h: Code repetition header.
* include/Makefile.am: Add ref_wrap_iterate.h, repeat.h
* include/Makefile.in: Add ref_wrap_iterate.h, repeat.h
* testsuite/tr1/3_function_objects/reference_wrapper/invoke.cc:
New test of reference_wrapper invocation.
* testsuite/tr1/3_function_objects/reference_wrapper/typedefs.cc:
New test of reference_wrapper typedefs and base classes.
* testsuite/tr1/3_function_objects/result_of.cc: Trivial cleanup
(e-mail address).
* include/tr1/functional (_Has_result_type): Cleanup.
(_Result_of_impl): Handle member data pointers correctly.
(reference_wrapper): Support invocation.
Move repetition code into new file include/tr1/repeat.h.
* include/tr1/functional_iterate.h (reference_wrapper): Support
invocation. Cleanup long lines.
* include/tr1/ref_wrap_iterate.h (reference_wrapper): Declare
invocation operators.
* include/tr1/repeat.h: Code repetition header.
* include/Makefile.am: Add ref_wrap_iterate.h, repeat.h.
* include/Makefile.in: Add ref_wrap_iterate.h, repeat.h.
* testsuite/tr1/3_function_objects/reference_wrapper/invoke.cc:
New test of reference_wrapper invocation.
* testsuite/tr1/3_function_objects/reference_wrapper/typedefs.cc:
New test of reference_wrapper typedefs and base classes.
* testsuite/tr1/3_function_objects/result_of.cc: Trivial cleanup
(e-mail address).
2005-03-02 Douglas Gregor <doug.gregor@gmail.com>
* include/tr1/function (result_of): New class template.
* include/tr1/functional/iterator.h: Implementation of TR1
result_of.
* testsuite/tr1/3_function_objects/result_of.cc: New test
* include/tr1/function (result_of): New class template.
* include/tr1/functional/iterator.h: Implementation of TR1
result_of.
* testsuite/tr1/3_function_objects/result_of.cc: New test
2005-03-01 Vladimir Merzliakov <wanderer@rsu.ru>

33
libstdc++-v3/include/tr1/type_traits
View File

@ -285,19 +285,19 @@ namespace tr1
{ };
// N.B. Without compiler support we cannot tell union from class types,
// and is_empty doesn't work at all with the former.
// and is_empty and is_polymorphic don't work at all with the former.
template<typename _Tp, bool = !__is_union_or_class<_Tp>::value>
struct __is_empty_helper
{
private:
template<typename>
struct __ebo_1 { };
struct __first { };
template<typename _Up>
struct __ebo_2
struct __second
: public _Up { };
public:
static const bool __value = sizeof(__ebo_1<_Tp>) == sizeof(__ebo_2<_Tp>);
static const bool __value = sizeof(__first<_Tp>) == sizeof(__second<_Tp>);
};
template<typename _Tp>
@ -309,6 +309,31 @@ namespace tr1
: public integral_constant<bool, __is_empty_helper<_Tp>::__value>
{ };
template<typename _Tp, bool = !__is_union_or_class<_Tp>::value>
struct __is_polymorphic_helper
{
private:
template<typename _Up>
struct __first
: public _Up { };
template<typename _Up>
struct __second
: public _Up
{ virtual void __dummy(); };
public:
static const bool __value = sizeof(__first<_Tp>) == sizeof(__second<_Tp>);
};
template<typename _Tp>
struct __is_polymorphic_helper<_Tp, true>
{ static const bool __value = false; };
template<typename _Tp>
struct is_polymorphic
: public integral_constant<bool, __is_polymorphic_helper<_Tp>::__value>
{ };
// Exploit the resolution DR core/337.
template<typename _Tp, bool = !is_object<_Tp>::value>
struct __is_abstract_helper

5
libstdc++-v3/testsuite/testsuite_tr1.h
View File

@ -123,6 +123,11 @@ namespace __gnu_test
class AbstractClass
{ virtual void rotate(int) = 0; };
class PolymorphicClass
{ virtual void rotate(int); };
class DerivedPolymorphic : public PolymorphicClass { };
union UnionType { };

2
libstdc++-v3/testsuite/tr1/4_metaprogramming/composite_type_traits/is_union_or_class/is_union_or_class.cc
View File

@ -36,6 +36,8 @@ void test01()
VERIFY( (test_category<__is_union_or_class, DerivedType>(true)) );
VERIFY( (test_category<__is_union_or_class, ConvType>(true)) );
VERIFY( (test_category<__is_union_or_class, AbstractClass>(true)) );
VERIFY( (test_category<__is_union_or_class, PolymorphicClass>(true)) );
VERIFY( (test_category<__is_union_or_class, DerivedPolymorphic>(true)) );
// Negative tests.
VERIFY( (test_category<__is_union_or_class, void>(false)) );

54
libstdc++-v3/testsuite/tr1/4_metaprogramming/type_properties/is_polymorphic/is_polymorphic.cc Normal file
View File

@ -0,0 +1,54 @@
// 2005-03-03 Paolo Carlini <pcarlini@suse.de>
//
// Copyright (C) 2005 Free Software Foundation, Inc.
//
// This file is part of the GNU ISO C++ Library. This library is free
// software; you can redistribute it and/or modify it under the
// terms of the GNU General Public License as published by the
// Free Software Foundation; either version 2, or (at your option)
// any later version.
//
// This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.
//
// You should have received a copy of the GNU General Public License along
// with this library; see the file COPYING. If not, write to the Free
// Software Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307,
// USA.
// 4.5.3 Type properties
#include <tr1/type_traits>
#include <iostream>
#include <testsuite_hooks.h>
#include <testsuite_tr1.h>
void test01()
{
bool test __attribute__((unused)) = true;
using std::tr1::is_polymorphic;
using namespace __gnu_test;
// Positive tests.
VERIFY( (test_category<is_polymorphic, PolymorphicClass>(true)) );
VERIFY( (test_category<is_polymorphic, DerivedPolymorphic>(true)) );
VERIFY( (test_category<is_polymorphic, AbstractClass>(true)) );
VERIFY( (test_category<is_polymorphic, std::iostream>(true)) );
VERIFY( (test_category<is_polymorphic, std::streambuf>(true)) );
// Negative tests.
VERIFY( (test_category<is_polymorphic, void>(false)) );
VERIFY( (test_category<is_polymorphic, int (int)>(false)) );
VERIFY( (test_category<is_polymorphic, int&>(false)) );
VERIFY( (test_category<is_polymorphic, EnumType>(false)) );
VERIFY( (test_category<is_polymorphic, ClassType>(false)) );
VERIFY( (test_category<is_polymorphic, DerivedType>(false)) );
}
int main()
{
test01();
return 0;
}

36
libstdc++-v3/testsuite/tr1/4_metaprogramming/type_properties/is_polymorphic/typedefs.cc Normal file
View File

@ -0,0 +1,36 @@
// 2005-03-03 Paolo Carlini <pcarlini@suse.de>
//
// Copyright (C) 2005 Free Software Foundation, Inc.
//
// This file is part of the GNU ISO C++ Library. This library is free
// software; you can redistribute it and/or modify it under the
// terms of the GNU General Public License as published by the
// Free Software Foundation; either version 2, or (at your option)
// any later version.
//
// This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.
//
// You should have received a copy of the GNU General Public License along
// with this library; see the file COPYING. If not, write to the Free
// Software Foundation, 59 Temple Place - Suite 330, Boston, MA 02111-1307,
// USA.
//
// NB: This file is for testing tr1/type_traits with NO OTHER INCLUDES.
#include <tr1/type_traits>
// { dg-do compile }
void test01()
{
// Check for required typedefs
typedef std::tr1::is_polymorphic<int> test_type;
typedef test_type::value_type value_type;
typedef test_type::type type;
typedef test_type::type::value_type type_value_type;
typedef test_type::type::type type_type;
}