forked from mirror/libcxx
You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
50 lines
1.2 KiB
C++
50 lines
1.2 KiB
C++
//===----------------------------------------------------------------------===//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file is dual licensed under the MIT and the University of Illinois Open
|
|
// Source Licenses. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
// REQUIRES: c++98 || c++03
|
|
|
|
// <utility>
|
|
|
|
// template <class T1, class T2> struct pair
|
|
|
|
// pair& operator=(pair const& p);
|
|
|
|
#include <utility>
|
|
#include <memory>
|
|
#include <cassert>
|
|
|
|
struct NonAssignable {
|
|
NonAssignable() {}
|
|
private:
|
|
NonAssignable& operator=(NonAssignable const&);
|
|
};
|
|
|
|
struct Incomplete;
|
|
extern Incomplete inc_obj;
|
|
|
|
int main()
|
|
{
|
|
{
|
|
// Test that we don't constrain the assignment operator in C++03 mode.
|
|
// Since we don't have access control SFINAE having pair evaluate SFINAE
|
|
// may cause a hard error.
|
|
typedef std::pair<int, NonAssignable> P;
|
|
static_assert(std::is_copy_assignable<P>::value, "");
|
|
}
|
|
{
|
|
typedef std::pair<int, Incomplete&> P;
|
|
static_assert(std::is_copy_assignable<P>::value, "");
|
|
P p(42, inc_obj);
|
|
assert(&p.second == &inc_obj);
|
|
}
|
|
}
|
|
|
|
struct Incomplete {};
|
|
Incomplete inc_obj;
|