boostorg/container
1
0
Fork 1
mirror of https://github.com/boostorg/container.git synced 2025-08-01 05:24:31 +02:00
Code Issues Packages Projects Releases Wiki Activity

- Add asserts to detect self-move bugs.

Browse Source 
- Fix return type in life_count::check functions
This commit is contained in:
Ion Gaztañaga
2022-08-24 14:32:46 +02:00
parent d98c21fc33
commit 8372576905
1 changed files with 25 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

36
test/movable_int.hpp
View File

@@ -54,10 +54,16 @@ class movable_int
movable_int(BOOST_RV_REF(movable_int) mmi)
: m_int(mmi.m_int)
{ mmi.m_int = 0; ++count; }
{
BOOST_ASSERT(&mmi != this);
mmi.m_int = 0; ++count;
}
movable_int & operator= (BOOST_RV_REF(movable_int) mmi)
{ this->m_int = mmi.m_int; mmi.m_int = 0; return *this; }
{
BOOST_ASSERT(&mmi != this);
this->m_int = mmi.m_int; mmi.m_int = 0; return *this;
}
movable_int & operator= (int i)
{ this->m_int = i; BOOST_ASSERT(this->m_int != INT_MIN); return *this; }
@@ -152,11 +158,17 @@ class movable_and_copyable_int
movable_and_copyable_int(const movable_and_copyable_int& mmi)
: m_int(mmi.m_int)
{ ++count; }
{
BOOST_ASSERT(&mmi != this);
++count;
}
movable_and_copyable_int(BOOST_RV_REF(movable_and_copyable_int) mmi)
: m_int(mmi.m_int)
{ mmi.m_int = 0; ++count; }
{
BOOST_ASSERT(&mmi != this);
mmi.m_int = 0; ++count;
}
~movable_and_copyable_int()
{
@@ -170,7 +182,10 @@ class movable_and_copyable_int
{ this->m_int = mi.m_int; return *this; }
movable_and_copyable_int & operator= (BOOST_RV_REF(movable_and_copyable_int) mmi)
{ this->m_int = mmi.m_int; mmi.m_int = 0; return *this; }
{
BOOST_ASSERT(&mmi != this);
this->m_int = mmi.m_int; mmi.m_int = 0; return *this;
}
movable_and_copyable_int & operator= (int i)
{ this->m_int = i; BOOST_ASSERT(this->m_int != INT_MIN); return *this; }
@@ -396,38 +411,37 @@ unsigned int non_copymovable_int::count = 0;
template<class T>
struct life_count
{
static unsigned check(unsigned) { return true; }
static bool check(unsigned) { return true; }
};
template<>
struct life_count< movable_int >
{
static unsigned check(unsigned c)
static bool check(unsigned c)
{ return c == movable_int::count; }
};
template<>
struct life_count< copyable_int >
{
static unsigned check(unsigned c)
static bool check(unsigned c)
{ return c == copyable_int::count; }
};
template<>
struct life_count< movable_and_copyable_int >
{
static unsigned check(unsigned c)
static bool check(unsigned c)
{ return c == movable_and_copyable_int::count; }
};
template<>
struct life_count< non_copymovable_int >
{
static unsigned check(unsigned c)
static bool check(unsigned c)
{ return c == non_copymovable_int::count; }
};
} //namespace test {
} //namespace container {
} //namespace boost {