cppinsights.io 在这里是错误的，它不会产生与原始代码具有相同语义的代码。return {{}, {}}调用复制构造函数的原因是std::tuple奇怪的构造函数和重载解析的组合。这里有两个重要的构造函数：

tuple( const Types&... args ); // (2)
template< class... UTypes >
tuple( UTypes&&... args ); // (3)

在这两个return-语句中，都返回了prvalues，使（3）成为一个更好的匹配，因为转换序列更短（没有添加const）。如果可能的话，将选择这个完美的转发重载，并调用移动构造函数。
但是，这对于{{}, {}}是不可能的，因为Utypes包中的类型不能从{}推断。通常，只能在可以推断类型的上下文中使用这些大括号表达式。例如：

void take_int(int);
void take_any(auto);
int main() {
    take_int({}); // OK, value initialization of an int
    take_any({}); // ill-formed, cannot infer type from {}
}

因此，{{}, {}}将使用第一个构造函数，这涉及到复制构造。我们可以像这样重现这个问题：

template <typename ...Ts>
struct tuple {
    tuple(const Ts&...);
    template <typename ...Us>
    tuple(Us&&...);
};
struct MyStruct {
    MyStruct() = default;
    MyStruct(const MyStruct&);
    MyStruct(MyStruct&&) noexcept;
};
tuple<MyStruct, MyStruct> foo() {
    return {MyStruct{}, MyStruct{}};
}
tuple<MyStruct, MyStruct> bar() {
    return {{}, {}};
}

此代码编译为：

foo():
    # ...
    call tuple<MyStruct, MyStruct>::tuple<MyStruct, MyStruct>(MyStruct&&, MyStruct&&)@PLT
    # ...
    ret
bar():
    # ...
    call tuple<MyStruct, MyStruct>::tuple(MyStruct const&, MyStruct const&)@PLT
    # ...
    ret

• 参见live example on Compiler Explorer *

您提供的代码正在使用MyStruct示例初始化元组。foo和bar函数之间的行为差异与元组的初始化方式有关。
在foo函数中，使用MyStruct{}创建MyStruct的示例，并使用这些示例创建元组。在这里，示例是右值，所以调用了move构造函数。
在bar函数中，您使用了brace-elision直接在元组中构造MyStruct示例。然而，由于语言规范中的一个特殊性，移动构造函数并不一定会被使用，尽管您可能期望它会被使用。该标准允许在某些情况下执行优化（称为复制省略），以删除不必要的复制或移动操作。此优化发生在foo中。在bar中，元素从花括号初始化列表的相应元素复制初始化。
这种差异可能是由于不同的编译器如何优化对象的创建，并且可能在所有编译器或给定编译器内的所有设置之间不一致。
使用不同的编译器设置或同一编译器的不同版本，可能会看到不同的结果。例如，您可能会发现，打开优化（-O2或-O3）后，编译器能够省略bar和foo中的复制或移动。
然而，这个例子很好地展示了C的规则有时会以微妙的方式影响性能和行为。如果需要确保不进行任何复制，那么在初始化元组时显式使用std::move可能是最安全的。
请注意，根据C17，编译器需要在可能的情况下省略副本，但这并不意味着它们总是这样做，在某些情况下（如bar函数），它们可能无法做到。这是一种实施质量的问题。