template <class... Types, class Alloc> struct uses_allocator<tuple<Types...>, Alloc> : true_type { };
Requires: Alloc должен быть Allocator.
[ Note: Специализация этого признака сообщает другим компонентам библиотеки, которые tuple могут быть созданы с помощью распределителя, даже если у него нет вложенного allocator_type. ] — end note