5

When I use a unique_ptr as the return type, I receive compiler error C2280:

'caf::detail::tuple_vals<std::unique_ptr<A,std::default_delete<_Ty>>>::tuple_vals(const caf::detail::tuple_vals<std::unique_ptr<_Ty,std::default_delete<_Ty>>> &)': attempting to reference a deleted function  include\caf\detail\tuple_vals.hpp   102

Here's some example code that illustrates the issue (modified from one of the C++ Actor Framework examples):

#include <iostream>
#include "caf/all.hpp"

using namespace caf;
using namespace std;

class A
{
public:
    int a;

    A(int a)
    {
        this->a = a;
    }
};

using a_type = typed_actor<replies_to<int>::with<unique_ptr<A>>>;

a_type::behavior_type a_behavior(a_type::pointer self)
{
    return
    {
        [self](const int& a) -> unique_ptr<A>
        {
            return make_unique<A>(5);
        }
    };
}

void tester(event_based_actor* self, const a_type& testee)
{
    self->link_to(testee);
    // will be invoked if we receive an unexpected response message
    self->on_sync_failure(
        [=]
        {
            aout(self) << "AUT (actor under test) failed" << endl;
            self->quit(exit_reason::user_shutdown);
        });
    self->sync_send(testee, 5).then(
        [=](unique_ptr<A> a)
        {
            if(a->a == 5)
            {
                aout(self) << "AUT success" << endl;
            }

            self->send_exit(testee, exit_reason::user_shutdown);
        }
    );
}
4

2 回答 2

5

CAF 要求消息中的每种类型都是常规的。这意味着它必须提供一个复制构造函数,而std::unique_ptr它没有。因此编译器抱怨。

消息具有写时复制实现。您可以廉价地复制一条消息,因为它只会在内部增加引用计数。您可以随时对消息元素执行 const 访问。仅当消息的引用计数大于 1并且您请求非常量访问时,写入时复制的“写入”部分才会启动。此时,运行时调用包含类型的复制构造函数来创建新消息。

如果 CAF 将无条件地执行此复制,而与引用计数无关,那么将无法有效地支持数据流编程,其中参与者接收消息、修改其内容并转发到下一个阶段。

将消息视为指针容器:包含的元素在空闲存储中分配。在消息中存储指针通常是设计缺陷。双重包装也给分配器带来了不必要的压力。

由于您可以灵活地对消息进行切片,因此您无需创建单个消息,然后就可以在各种上下文中使用包含的值。

于 2015-11-12T02:38:49.137 回答
2

是的,C++ Actor Framework 确实允许在返回消息中使用智能指针,但不允许以unique_ptr.

C++ Actor Framework 实现当前会复制消息并取消引用unique_ptr,从而导致编译器错误。

而不是使用unique_ptr,而是使用shared_ptr。修改问题的示例代码时,引用计数将为 2。我还使用自定义删除功能来验证内存是否按预期释放,尽管创建了第二个share_ptr.

于 2015-11-10T21:44:21.903 回答