std::tuple-like 的命名要求？ [复制]

Question

我正在为std::tuple 制作一个通用哈希算法，并意识到我也可以让它适用于std::pair 和std::array，因为这三个类实现了std::tuple_size 和std::get。这在任何地方都“标准化”了吗？是否有一个“std::allocator_traits”但对于 std::tuple-like 类而不是 std::allocator-like 类？

目前我这样做是为了检查一个类是否“类似元组”：

#include <type_traits>
#include <cstddef>
#include <utility>
#include <tuple>

namespace is_tuple {
    namespace detail {
        // T* exists for incomplete types, but not sizeof(T)
        template<class T, ::std::size_t = sizeof(T)>
        ::std::true_type is_complete_type_impl(T*);

        ::std::false_type is_complete_type_impl(...);

        template<class T>
        struct is_complete_type : decltype(
            is_complete_type_impl(::std::declval<T*>())
        ) {};
    }

    template<class T>
    struct is_tuple : detail::is_complete_type<::std::tuple_size<T>>::type {};
}

这可能有一些误报（虽然我不认为它有）

这些是我对“类元组”类型、T 类型和称为t 的T 类型对象的“要求”：

1. std::tuple_size<T> 是一个完整的类型
2. std::tuple_size<T>::value 是 static constexpr const std::size_t（称为 N）
3. std::get<I>(t) 为 [0, N) 中的所有 I 返回非 void

（这是否正确完整？我也实现了检查std::get，但代码太长，无法发布）

此外，除了专门化 std::tuple_size<T> （可能是 iterator_tag 之类的东西）之外，是否有更好的方法来指定类型是否是“类元组”

Answer 1

这在任何地方都“标准化”了吗？

如果您指的是哈希算法，那么（就像很多事情一样）boost 中已经有一个完整的解决方案。

boost 当然，可以说更加标准化并且肯定更便携比 c++ 标准本身的各种实现。¹

#include <boost/functional/hash.hpp>
#include <tuple>
#include <utility>
#include <array>
#include <string>
#include <iostream>

template<class T>
std::size_t hashit(T const& x)
{
    using x_type = std::decay_t<T>;
    return boost::hash<x_type>()(x);
}

template<class T>
std::size_t hashit2(T const& x)
{
    using boost::hash_value;
    return hash_value(x);
}

int main()
{
    using namespace std::literals;

    std::cout << hashit(std::make_tuple(1, 2, 5, "foo"s)) << '\n';
    std::cout << hashit2(std::make_tuple(1, 2, 5, "foo"s)) << '\n';

    std::cout << '\n';

    std::cout << hashit(std::make_pair(1.0, 2.0)) << '\n';
    std::cout << hashit2(std::make_pair(1.0, 2.0)) << '\n';

    std::cout << '\n';

    std::cout << hashit(std::array<int, 3>{4, 5, 6}) << '\n';
    std::cout << hashit2(std::array<int, 3>{4, 5, 6}) << '\n';
}

¹ 这将被许多人视为一个有争议的声明。尽管如此，它在经验上是正确的。