Marc Glisse <marc.glisse@normalesup.org>
PR libstdc++/45549
* include/bits/cpp_type_traits.h (__is_iterator_helper): Rename to
__has_iterator_category.
(__is_iterator): Adjust.
* include/bits/stl_iterator_base_types.h (__iterator_traits): Add
in C++0x mode, use the latter.
(iterator_traits): In C++0x mode, derive from the latter.
* include/bits/stl_iterator_base_funcs.h (next, prev): Remove
enable_if on the return type.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@163977
138bc75d-0d04-0410-961f-
82ee72b054a4
2010-09-07 Paolo Carlini <paolo.carlini@oracle.com>
+ Marc Glisse <marc.glisse@normalesup.org>
+
+ PR libstdc++/45549
+ * include/bits/cpp_type_traits.h (__is_iterator_helper): Rename to
+ __has_iterator_category.
+ (__is_iterator): Adjust.
+ * include/bits/stl_iterator_base_types.h (__iterator_traits): Add
+ in C++0x mode, use the latter.
+ (iterator_traits): In C++0x mode, derive from the latter.
+ * include/bits/stl_iterator_base_funcs.h (next, prev): Remove
+ enable_if on the return type.
+
+2010-09-07 Paolo Carlini <paolo.carlini@oracle.com>
PR libstdc++/45398
* include/std/atomic (atomic<_TP*>::store): Define.
#endif
template<typename _Tp>
- class __is_iterator_helper
+ class __has_iterator_category
{
typedef char __one;
typedef struct { char __arr[2]; } __two;
static __two __test(...);
public:
- static const bool __value = (sizeof(__test<_Tp>(0)) == 1
- || __is_pointer<_Tp>::__value);
+ static const bool __value = sizeof(__test<_Tp>(0)) == 1;
};
template<typename _Tp>
struct __is_iterator
{
- enum { __value = __is_iterator_helper<_Tp>::__value };
+ enum { __value = (__has_iterator_category<_Tp>::__value
+ || __is_pointer<_Tp>::__value) };
typedef typename __truth_type<__value>::__type __type;
};
std::__advance(__i, __d, std::__iterator_category(__i));
}
-_GLIBCXX_END_NAMESPACE
-
#ifdef __GXX_EXPERIMENTAL_CXX0X__
-#include <ext/type_traits.h> // For __enable_if and __is_iterator
-
-_GLIBCXX_BEGIN_NAMESPACE(std)
-
template<typename _ForwardIterator>
- inline typename
- __gnu_cxx::__enable_if<__is_iterator<_ForwardIterator>::__value,
- _ForwardIterator>::__type
+ inline _ForwardIterator
next(_ForwardIterator __x, typename
iterator_traits<_ForwardIterator>::difference_type __n = 1)
{
}
template<typename _BidirectionalIterator>
- inline typename
- __gnu_cxx::__enable_if<__is_iterator<_BidirectionalIterator>::__value,
- _BidirectionalIterator>::__type
+ inline _BidirectionalIterator
prev(_BidirectionalIterator __x, typename
iterator_traits<_BidirectionalIterator>::difference_type __n = 1)
{
return __x;
}
-_GLIBCXX_END_NAMESPACE
-
#endif // __GXX_EXPERIMENTAL_CXX0X__
+_GLIBCXX_END_NAMESPACE
+
#endif /* _STL_ITERATOR_BASE_FUNCS_H */
#include <bits/c++config.h>
+#ifdef __GXX_EXPERIMENTAL_CXX0X__
+# include <bits/cpp_type_traits.h> // For __has_iterator_category
+#endif
+
_GLIBCXX_BEGIN_NAMESPACE(std)
/**
* argument. Specialized versions for pointers and pointers-to-const
* provide tighter, more correct semantics.
*/
+#ifdef __GXX_EXPERIMENTAL_CXX0X__
+ template<typename _Iterator,
+ bool = __has_iterator_category<_Iterator>::__value>
+ struct __iterator_traits { };
+
+ template<typename _Iterator>
+ struct __iterator_traits<_Iterator, true>
+ {
+ typedef typename _Iterator::iterator_category iterator_category;
+ typedef typename _Iterator::value_type value_type;
+ typedef typename _Iterator::difference_type difference_type;
+ typedef typename _Iterator::pointer pointer;
+ typedef typename _Iterator::reference reference;
+ };
+
+ template<typename _Iterator>
+ struct iterator_traits
+ : public __iterator_traits<_Iterator> { };
+#else
template<typename _Iterator>
struct iterator_traits
{
typedef typename _Iterator::pointer pointer;
typedef typename _Iterator::reference reference;
};
+#endif
/// Partial specialization for pointer types.
template<typename _Tp>