返回初始化列表机制

Question

涉及什么机制，如果返回类型，可以从初始化列表中构造，我没有指定我返回的类型，如：

std::array<int, 3> make_array()
{
  return { 1, 2, 3 };
}

代替

std::array<int, 3> make_array()
{
  return std::array<int, 3>{ 1, 2, 3 };
}

如果我在没有指定类型的情况下返回初始化列表，是否涉及任何性能损失？ 我实际上是返回一个数组，转换为std::array吗？

Answer 1

不涉及性能处罚。 返回值的构造等价于

std::array<int, 3> x = { 1, 2, 3 };

甚至没有涉及std::array实例的单个副本或移动。

Answer 2

该机制只是一个构造函数：

struct X {};

struct Y {
    Y(X);
};

Y f() {
    X x;
    return x;
}