63 lines · cpp
1// RUN: %clang_cc1 -std=c++11 %s -verify2// expected-no-diagnostics3 4// C++98 [class.copy]p10 / C++11 [class.copy]p18.5 6// The implicitly-declared copy assignment operator for a class X will have the form7// X& X::operator=(const X&)8// if [every direct subobject] has a copy assignment operator whose first parameter is9// of type 'const volatile[opt] T &' or 'T'. Otherwise, it will have the form10// X &X::operator=(X&)11 12struct ConstCopy {13 ConstCopy &operator=(const ConstCopy &);14};15 16struct NonConstCopy {17 NonConstCopy &operator=(NonConstCopy &);18};19 20struct DeletedConstCopy {21 DeletedConstCopy &operator=(const DeletedConstCopy &) = delete;22};23 24struct DeletedNonConstCopy {25 DeletedNonConstCopy &operator=(DeletedNonConstCopy &) = delete;26};27 28struct ImplicitlyDeletedConstCopy {29 ImplicitlyDeletedConstCopy &operator=(ImplicitlyDeletedConstCopy &&);30};31 32struct ByValueCopy {33 ByValueCopy &operator=(ByValueCopy);34};35 36struct AmbiguousConstCopy {37 AmbiguousConstCopy &operator=(const AmbiguousConstCopy&);38 AmbiguousConstCopy &operator=(AmbiguousConstCopy);39};40 41 42struct A : ConstCopy {};43struct B : NonConstCopy { ConstCopy a; };44struct C : ConstCopy { NonConstCopy a; };45struct D : DeletedConstCopy {};46struct E : DeletedNonConstCopy {};47struct F { ImplicitlyDeletedConstCopy a; };48struct G : virtual B {};49struct H : ByValueCopy {};50struct I : AmbiguousConstCopy {};51 52struct Test {53 friend A &A::operator=(const A &);54 friend B &B::operator=(B &);55 friend C &C::operator=(C &);56 friend D &D::operator=(const D &);57 friend E &E::operator=(E &);58 friend F &F::operator=(const F &);59 friend G &G::operator=(G &);60 friend H &H::operator=(const H &);61 friend I &I::operator=(const I &);62};63