const交换（）函数的目的是什么？

Question

在实现自定义的元组（此处）时，我发现有一个wiredswap（）函数，它接受常量参数（cppreference）：

template< class... Types >
constexpr void swap( const std::tuple<Types...>& lhs,
                     const std::tuple<Types...>& rhs ) noexcept(/* see below */);

和一个const限定的swap（）成员函数（cppreference）：

constexpr void swap( const tuple& other ) noexcept(/* see below */) const;

const意味着对象是只读的，但是要交换两个对象，它必须修改对象，这违反了const-ness。

那么，const swap（）函数的用途是什么？

Answer 1

例如，考虑一个类似指针的类型，它可以在不修改指针的情况下交换指针的值：

#include <type_traits>
#include <iostream>

struct foo {
    int * x;
};

void swap(const foo& a, const foo& b){
    std::swap(*a.x,*b.x);
};

int main(){
    int a = 42;
    int b = 3;

    foo f1{&a};
    foo f2{&b};

    swap(f1,f2);

    std::cout << "foo is const swappable: " << std::is_swappable_v<const foo> << "\n";
    std::cout << *f1.x << "\n";
    std::cout << *f2.x << "\n";

}

参考资料中的注释：

也就是说：只有当元组中的类型可以被常量交换时，才能常量交换元组。

Answer 2

你错过了关于过载何时可用的脚注：

仅当std:：可交换时，此重载才参与重载解析

如果你有一个类型const_swappable，这样交换（constconst_swappable

Answer 3

这是在“zip”提案P2321中引入的，最初在“C 23系列计划”P2214中描述。

P2321

>

交换常量元组和常量对。一旦引用的元组被设置为常量可赋值，就可以为引用的常量元组调用默认的std:：swap。然而，这种三步互换做了错误的事情：

int i = 1, j = 2;
const auto t1 = std::tie(i), t2 = std::tie(j);

// If std::swap(t1, t2); called the default triple-move std::swap then
// this would do
auto tmp = std::move(t1);
t1 = std::move(t2);
t2 = std::move(tmp);

// i == 2, j == 2

因此，本文建议为常量元组和常量对添加swap重载，以正确执行元素交换。

P2214解释了为什么zip的实现需要const可赋值性。它源于赋值操作符没有被引用限定。