如何检查两个元组的所有成员是否都不相同？

jpo38 发表于 Dev

109

jpo38

std::tuple<...>::operator!=如果两个比较元组中的至少一个成员不同，则返回true 。

如果两个比较元组的所有成员都不相同，我将需要一个返回true的函数：

template <class... Args>
bool areAllMembersDifferent( const std::tuple<Args...>& left, const std::tuple<Args...>& right )
{
    bool allDiff = true;

    // iterate through the tuples are set allDiff to false if one member's is different than other's

    return allDiff;
}

受到我在网上发现的启发，我编写了此代码（改编了一个打印元组内容的函数）：

template <std::size_t N, std::size_t, class = make_index_sequence<N>>
struct CheckTupleLoop;

template <std::size_t N, std::size_t J, std::size_t... Is>
struct CheckTupleLoop<N, J, index_sequence<Is...>> {
    template <class Tup>
    int operator()(bool& allDiff, const Tup &left,const Tup &right) {
        if ( std::get<J>(left) == std::get<J>(right) )
            allDiff = false;
        return 0;
    }
};

template <class... Args>
bool areAllMembersDifferent( const std::tuple<Args...>& left, const std::tuple<Args...>& right )
{
    bool allDiff = true;
    CheckTupleLoop<sizeof...(Args)>{}(allDiff,left,right);
    return allDiff;
}

但这显然是不正确的，因为编译器报告我 Error C2955 'CheckTupleLoop': use of class template requires template argument list

bool areAllMembersDifferentC ++ 11中的任何一种实现都是可以接受的（无论是否使用我的首次尝试方法）。

贾罗德42

您可以使用以下内容：

namespace detail
{

template <std::size_t ... Is, typename Tuple>
bool areAllMembersDifferent(std::index_sequence<Is...>,
                            const Tuple& left,
                            const Tuple& right)
{
    bool res = true;

    const int dummy[] = {0, (res &= std::get<Is>(left) != std::get<Is>(right), 0)...};
    static_cast<void>(dummy); // Avoid warning for unused variable
    return res;
}

}

template <typename Tuple>
bool areAllMembersDifferent(const Tuple&left, const Tuple& right)
{
    return detail::areAllMembersDifferent(
        std::make_index_sequence<std::tuple_size<Tuple>::value>(), left, right);
}

演示版

std::make_index_sequence容易找到c ++ 11的实现（即C ++ 14）

在C ++ 17中，您甚至可以将helper函数简化为：

namespace detail
{

template <std::size_t ... Is, typename Tuple>
bool areAllMembersDifferent(std::index_sequence<Is...>,
                            const Tuple& left,
                            const Tuple& right)
{
    return (std::get<Is>(left) != std::get<Is>(right) && ...);
}

}

本文收集自互联网，转载请注明来源。

如有侵权，请联系 [email protected] 删除。