1//===----------------------------------------------------------------------===// 2// 3// The LLVM Compiler Infrastructure 4// 5// This file is dual licensed under the MIT and the University of Illinois Open 6// Source Licenses. See LICENSE.TXT for details. 7// 8//===----------------------------------------------------------------------===// 9 10// <memory> 11 12// template <class Alloc> 13// struct allocator_traits 14// { 15// typedef Alloc::pointer | value_type* pointer; 16// ... 17// }; 18 19#include <memory> 20#include <type_traits> 21 22template <class T> 23struct Ptr {}; 24 25template <class T> 26struct A 27{ 28 typedef T value_type; 29 typedef Ptr<T> pointer; 30}; 31 32template <class T> 33struct B 34{ 35 typedef T value_type; 36}; 37 38int main() 39{ 40 static_assert((std::is_same<std::allocator_traits<A<char> >::pointer, Ptr<char> >::value), ""); 41 static_assert((std::is_same<std::allocator_traits<B<char> >::pointer, char*>::value), ""); 42} 43