问swap()会导致未定义的行为吗？

EN

我正在尝试从C++11: utility.swap了解std::swap上的条件。模板定义为

template <typename T> void swap(T &, T &)

(加上一些noexcept细节)，并且具有“交换存储在两个位置的值”的效果。

下面的程序有明确的定义吗？

#include <utility>

int main()
{
    int m, n;
    std::swap(m, n);
}

如果我自己编写交换代码(即int tmp = m; m = n; n = tmp;)，它将具有未定义的行为，因为它将尝试在未初始化的对象上进行左值到右值的转换。但是标准的std::swap函数似乎没有任何强加于它的条件，也不能从规范中推导出存在任何左值到右值，从而UB。

该标准是否要求std::swap在未初始化的对象上执行一些定义良好的魔术？

为了阐明这一点，请考虑函数void f(int & n) { n = 25; }，它从不具有未定义的行为(因为它不从n读取)。