bswap_impl 中 std::index_sequence 和 void 转换的目的

Question

有多个问题这里和这里关于无效类型转换。

我的问题是，在

en.cppreference.com/w/cpp/language/fold

中进行 void cast (void)dummy_pack; 的目的是什么？是否明确指示 dummy_pack 的值被忽略并抑制未使用变量的编译器警告？如果它应该被忽略，为什么使用

dummy_pack 

和

std::index_sequence<dummy_pack...>

在

bswap_impl

?

#include <climits>
#include <concepts>
#include <cstdint>
#include <iostream>
#include <type_traits>
#include <utility>
#include <vector>
 
template<typename... Args>
void printer(Args&&... args)
{
    (std::cout << ... << args) << '\n';
}
 
template<typename T, typename... Args>
void push_back_vec(std::vector<T>& v, Args&&... args)
{
    static_assert((std::is_constructible_v<T, Args&&> && ...));
    (v.push_back(std::forward<Args>(args)), ...);
}
 
template<class T, std::size_t... dummy_pack>
constexpr T bswap_impl(T i, std::index_sequence<dummy_pack...>)
{
    T low_byte_mask = (unsigned char)-1;
    T ret{};
    ([&]
    {
        (void)dummy_pack;
        ret <<= CHAR_BIT;
        ret |= i & low_byte_mask;
        i >>= CHAR_BIT;
    }(), ...);
    return ret;
}
 
constexpr auto bswap(std::unsigned_integral auto i)
{
    return bswap_impl(i, std::make_index_sequence<sizeof(i)>{});
}
 
int main()
{
    printer(1, 2, 3, "abc");
 
    std::vector<int> v;
    push_back_vec(v, 6, 2, 45, 12);
    push_back_vec(v, 1, 2, 9);
    for (int i : v) std::cout << i << ' ';
 
    static_assert(bswap<std::uint16_t>(0x1234u) == 
                                       0x3412u);
    static_assert(bswap<std::uint64_t>(0x0123456789abcdefull) ==
                                       0xefcdab8967452301ULL);
}

Answer 1

The

(void)dummy_pack;

really 仅表示：“使用变量，但丢弃值”。但是看看会发生什么，如果语句从表达式中删除：

    ([&]
    {
        ret <<= CHAR_BIT;
        ret |= i & low_byte_mask;
        i >>= CHAR_BIT;
    }(), ...);

现在，表达式打算成为一个折叠表达式，但是，你瞧，里面的任何地方都没有要展开的包。因此，这是无效的。

因此，

(void)dummy_pack

的唯一目的就是为fold表达式提供一个可以扩展的pack；折叠表达式的其余部分只关心对捕获的局部变量的副作用。