base: make Volatile_object noncopyable

Unfortunately, the volatile object does not inherit the noncopyable
attribute of the enclosed object. By making all volatile objects
noncopyable, we prevent the accidental copying of a noncopyable object
wrapped in a volatile object.
This commit is contained in:
Norman Feske 2016-11-04 19:58:32 +01:00 committed by Christian Helmuth
parent b8e98f2355
commit 0e0f830a14

View File

@ -16,6 +16,7 @@
#include <util/construct_at.h>
#include <base/stdint.h>
#include <util/noncopyable.h>
namespace Genode {
template<typename> class Volatile_object;
@ -35,7 +36,7 @@ namespace Genode {
* \param MT type
*/
template <typename MT>
class Genode::Volatile_object
class Genode::Volatile_object : Noncopyable
{
private: