Merge pull request #893 from pkesseli/tempfile-copy-move

Daniel Kroening · web-flow · commit 839394d4e303 · 2017-05-08T23:07:21.000+01:00
Deleted copy/added explicit move constructor.
diff --git a/src/util/tempfile.h b/src/util/tempfile.h
@@ -29,6 +29,14 @@ class temporary_filet
   {
   }
 
+  // Using the copy constructor would delete the file twice.
+  temporary_filet(const temporary_filet &)=delete;
+
+  temporary_filet(temporary_filet &&other) :
+      name(std::move(other.name))
+  {
+  }
+
   // get the name
   std::string operator()() const
   {

Original file line number	Diff line number	Diff line change
`@@ -29,6 +29,14 @@ class temporary_filet`
`29`	`29`	`{`
`30`	`30`	`}`
`31`	`31`
	`32`	`+ // Using the copy constructor would delete the file twice.`
	`33`	`+ temporary_filet(const temporary_filet &)=delete;`
	`34`	`+`
	`35`	`+ temporary_filet(temporary_filet &&other) :`
	`36`	`+ name(std::move(other.name))`
	`37`	`+ {`
	`38`	`+ }`
	`39`	`+`
`32`	`40`	`// get the name`
`33`	`41`	`std::string operator()() const`
`34`	`42`	`{`