std::tie 是否允许隐式转换？

Question

在 c++11 中，是否允许使用 std::tie 进行隐式转换？

以下代码可以编译并运行，但我不确定幕后究竟发生了什么，或者这是否安全。

std::tuple<float,float> foo() { return std::make_tuple(0,0); }

double a, b;
std::tie(a,b) = foo(); // a and b are doubles but foo() returns floats

Answer 1

使用元组的移动赋值运算符的模板版本会发生什么

template< class... UTypes >
tuple& operator=(tuple<UTypes...>&& other );

它使用自己的移动分配语义一一移动分配单个元组成员。如果相应的成员是隐式可转换的 - 它们会被隐式转换。

这基本上是 std::pair 中类似功能的自然扩展，我们已经享受了很长时间了。