This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug c++/52683] assignment operator not detected
- From: "abominable-snowman at yandex dot ru" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Fri, 23 Mar 2012 13:54:23 +0000
- Subject: [Bug c++/52683] assignment operator not detected
- Auto-submitted: auto-generated
- References: <bug-52683-4@http.gcc.gnu.org/bugzilla/>
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52683
--- Comment #3 from Petr Ovtchenkov <abominable-snowman at yandex dot ru> 2012-03-23 13:54:23 UTC ---
> W::operator= is an overloaded function, operator=(const W&) and operator=(W&&)
>
> decltype cannot work, because an overload set is not a type
I'm agree. But if you remove all tests with is_assignable2, still remains
problem with int:
...
struct QQ
{
int v;
};
...
static_assert( is_assignable<int,int>::value, "not assignable" ); // <----
fail!
static_assert( is_assignable<int&,int&&>::value, "not assignable" ); // pass
...
static_assert( is_assignable<WW,WW>::value, "not assignable" ); // pass
...
static_assert( is_assignable<QQ,QQ>::value, "not assignable" ); // <---- pass!
static_assert( is_assignable<QQ&,QQ&&>::value, "not assignable" ); // pass