US 98, US 99

git-svn-id: https://llvm.org/svn/llvm-project/libcxx/trunk@111542 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Howard Hinnant 2010-08-19 18:59:38 +00:00
parent e92c3d74ce
commit 3c1ffbabc1
3 changed files with 81 additions and 21 deletions

View File

@ -72,6 +72,7 @@ public:
const unspecified ignore;
template <class... T> tuple<V...> make_tuple(T&&...);
template <class... T> tuple<ATypes...> forward_as_tuple(T&&...);
template <class... T> tuple<T&...> tie(T&...);
template <class... T, class... U> tuple<T..., U...> tuple_cat(const tuple<T...>&, const tuple<U...>&);
template <class... T, class... U> tuple<T..., U...> tuple_cat(tuple<T...>&&, const tuple<U...>&);
@ -621,6 +622,14 @@ make_tuple(_Tp&&... __t)
return tuple<typename __make_tuple_return<_Tp>::type...>(_STD::forward<_Tp>(__t)...);
}
template <class... _Tp>
inline
tuple<_Tp&&...>
forward_as_tuple(_Tp&&... __t)
{
return tuple<_Tp&&...>(_STD::forward<_Tp>(__t)...);
}
template <size_t _I>
struct __tuple_equal
{

View File

@ -0,0 +1,72 @@
//===----------------------------------------------------------------------===//
//
// The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
// <tuple>
// template<class... Types>
// tuple<Types&&...> forward_as_tuple(Types&&... t);
#include <tuple>
#include <cassert>
template <class Tuple>
void
test0(const Tuple& t)
{
static_assert(std::tuple_size<Tuple>::value == 0, "");
}
template <class Tuple>
void
test1a(const Tuple& t)
{
static_assert(std::tuple_size<Tuple>::value == 1, "");
static_assert(std::is_same<typename std::tuple_element<0, Tuple>::type, int&&>::value, "");
assert(std::get<0>(t) == 1);
}
template <class Tuple>
void
test1b(const Tuple& t)
{
static_assert(std::tuple_size<Tuple>::value == 1, "");
static_assert(std::is_same<typename std::tuple_element<0, Tuple>::type, int&>::value, "");
assert(std::get<0>(t) == 2);
}
template <class Tuple>
void
test2a(const Tuple& t)
{
static_assert(std::tuple_size<Tuple>::value == 2, "");
static_assert(std::is_same<typename std::tuple_element<0, Tuple>::type, double&>::value, "");
static_assert(std::is_same<typename std::tuple_element<1, Tuple>::type, char&>::value, "");
assert(std::get<0>(t) == 2.5);
assert(std::get<1>(t) == 'a');
}
int main()
{
{
test0(std::forward_as_tuple());
}
{
test1a(std::forward_as_tuple(1));
}
{
int i = 2;
test1b(std::forward_as_tuple(i));
}
{
double i = 2.5;
char c = 'a';
test2a(std::forward_as_tuple(i, c));
}
}

View File

@ -1,21 +0,0 @@
//===----------------------------------------------------------------------===//
//
// The LLVM Compiler Infrastructure
//
// This file is distributed under the University of Illinois Open Source
// License. See LICENSE.TXT for details.
//
//===----------------------------------------------------------------------===//
// <tuple>
// template<class... Types>
// tuple<ATypes...> pack_arguments(Types&&... t);
#include <tuple>
int main()
{
#error pack_arguments not implemented
}