generic-library/cxx
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Add test to ensure that iterator_traits<NotAnIterator> doesn't have a value type

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/libcxx/trunk@224295 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Marshall Clow 2014-12-16 00:30:07 +00:00
parent e3e7054f48
commit ab3c50593c
1 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
test/iterators/iterator.primitives/iterator.traits/empty.pass.cpp
View File

@ -20,7 +20,19 @@ struct not_an_iterator
{ {
}; };
template <class _Tp>
struct has_value_type
{
private:
struct two {char lx; char lxx;};
template <class _Up> static two test(...);
template <class _Up> static char test(typename _Up::value_type* = 0);
public:
static const bool value = sizeof(test<_Tp>(0)) == 1;
};
int main() int main()
{ {
typedef std::iterator_traits<not_an_iterator> It; typedef std::iterator_traits<not_an_iterator> It;
static_assert(!(has_value_type<It>::value), "");
} }