Changeset 13b1b1d

Timestamp:

Mar 20, 2019, 2:16:10 PM (5 years ago)

Author:

tdelisle <tdelisle@…>

Branches:

ADT, arm-eh, ast-experimental, cleanup-dtors, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

571bf75

Parents:

aa22c60

Message:

C++ Format coroutine now "properly" destroys itself

File:

• doc/papers/concurrency/examples/Format.cpp (modified) (4 diffs)

doc/papers/concurrency/examples/Format.cpp

@@ -5 +5 @@
         struct promise_type {
                 char _value;
-                int g, b;
+                struct locals {
+                        int g, b;
+                } * _l;
 
                 fmt_cor get_return_object() {
@@ -16 +18 @@
                 void return_void() {}
                 void unhandled_exception() {}
+
+                auto yield_value(locals & l) {
+                        _l = &l;
+                        return suspend_never();
+                }
         };
 
@@ -41 +48 @@
 
         ~fmt_cor() {
-                if(_coroutine) { _coroutine.destroy(); }
+                if(_coroutine) {
+                        _coroutine.destroy();
+                        if (_coroutine.promise()._l->g != 0 | _coroutine.promise()._l->b != 0) {
+                                std::cout << "\n";
+                        }
+                }
         }
 
@@ -67 +79 @@
 
 fmt_cor Fmt() {
-        int g; // = co_await fmt_cor::g();
-        int b; // = co_await fmt_cor::b();
+        fmt_cor::promise_type::locals l;
+        co_yield l;
         for(;;) {
-                for(g = 0; g < 5; g++) {
-                        for(b = 0; b < 4; b++) {
+                for(l.g = 0; l.g < 5; l.g++) {
+                        for(l.b = 0; l.b < 4; l.b++) {
                                 std::cout << co_await fmt_cor::get();
                         }