代码之家 › 专栏 › 技术社区 › Alexey

将unique\u ptr<Object>返回为unique\u ptr<const Object>

unique-ptr constants return c++11 c++

Alexey · 技术社区 · 8 年前

我有这样一种方法:

std::unique_ptr<const Stats> Table::GetStats() const {
  std::unique_ptr<Stats> result;
  // ...
  // Prepare stats. Under some conditions an exception may be thrown.
  // ...
  return result;
}

问题是它无法编译:

错误:无法将–std::unique\u ptr–levalue绑定到–std::unique\u ptr&&–掼

我可以使用以下旁路进行编译:

return std::unique_ptr<const Stats>(result.release());

但这似乎有点过分。我不明白,从C++的角度来看,第一段代码有什么问题?还有更优雅的解决方案吗?

1 回复 | 直到 7 年前

songyuanyao 7 年前

您的代码应该可以正常工作,因为在 return statement :

(重点矿山)

(自C++11以来)

If表达式是左值表达式以及复制的条件省略满足或将满足,除非表达式命名为函数参数,然后重载解析以选择构造函数要用于初始化返回值,请执行两次: 首先,好像表达式是右值表达式 (因此可以选择引用const的move构造函数或copy构造函数), 如果没有合适的转换可用,则重载分辨率为第二次执行,使用左值表达式(因此它可以选择引用非常量的复制构造函数)。

即使函数返回类型不同,上述规则也适用从表达式的类型(复制省略需要相同的类型)

也就是说,即使 result 是左值,首先将其视为右值,然后 constructor 将被选中,它可以转换 std::unique_ptr<Stats> 到 std::unique_ptr<const Stats> 。

template< class U, class E >
unique_ptr( unique_ptr<U, E>&& u ) noexcept;

似乎是gcc4。9.2不这样做(即首先将表达式视为右值表达式); gcc 9 一切正常。

像 @RichardHodges commented ,您可以使用 std::move 作为 workaround 。

推荐文章

Setu · 如何将元素从std::map移动到std::vector

1 年前

Konvt · 标准库中异常构造函数参数类型问题

1 年前

timmy george · 当类具有非constexpr std::array时,如何将std::array.size()用作模板参数

1 年前

bourne · 关于操作员超载的澄清

1 年前

eden sson · 使用std::thread和native_handle()设置线程关联掩码

1 年前

Xiyang Liu · 基于用户定义的输入类型类别的C++功能调度(C++11/14友好)

1 年前

John · 为什么在调用std::string::begin()时代码崩溃?

2 年前

Aidan Pastonyck · 错误:对以数组和函数指针为参数的函数的“未定义引用”

2 年前

John · 当稍后用C++11定义相关数据时,如何使用decltype?

2 年前

AnthonyML · std::binary_search和带unique_ptr数组的lower_bound

2 年前