C++可变参数模板迭代向量和比较元素

Question

我有一个可变的类模板

template <size_t ...T>
struct Foo 
{
   std::vector<size_t> t;

   bool IsEqual()
   {
     //??
   }

};

我想用它们:

Foo<1,2,3,4> foo;
foo.data = {1,2,3,4};
foo.IsEqual();

IsEqual如果元素与模板参数的顺序相同,我如何实现迭代和比较向量的每个元素并返回false/true？

Answer 1

使用索引序列技巧:

bool IsEqual()
{
    return t.size() == sizeof...(T) &&
        IsEqual(std::make_index_sequence<sizeof...(T)>{});
}

有:

template <size_t... Is>
bool IsEqual(std::index_sequence<Is...> ) {
    bool valid = true;
    using expander = int[];
    expander{0,
        (valid = valid && t[Is] == T,
        0)...
    };

    return valid;
}    

甚至可以通过利用以下事实来在一个函数中执行此操作:初始化子句中的每个值计算和副作用在下一个之前按顺序排序:

bool IsEqual()
{
    if (t.size() == sizeof...(T)) {
        auto it = t.begin();
        bool valid = true;

        using expander = int[];
        expander{0,
            (valid = valid && *it++ == T,
            0)...
        };

        return valid;
    }
    else {
        return false;
    }
}