Реализация оператора less для массивов с использованием выражений свертки ⇐ C++

[Anonymous]

Я экспериментирую с выражением сгиба в C++17 с последней версией clang++. Я попытался реализовать оператор less для массива, используя его, который я хочу использовать для строк фиксированного размера.

Вот к чему я пришел. Есть ли лучший способ сделать это, особенно избегая присвоения индекса в выражении?

Компилируем это с помощью "clang++ test_fold_expr_less.cpp -o test_fold_expr_less -std=c++" 1z", и результат здесь.

prompt$ ./test_fold_expr_less
=== less ===
0
1
0
0
1
0
0
0
0
1
1
1

#include
#include

std::uint64_t arr1[8] = {1, 7, 2, 4, 8, 9, 3, 6};
std::uint64_t arr2[8] = {1, 7, 2, 4, 8, 9, 3, 6};
std::uint64_t arr3[8] = {1, 7, 2, 5, 8, 9, 3, 6};
std::uint64_t arr4[8] = {1, 7, 2, 3, 8, 9, 3, 6};

struct less_t
{
template < typename T, std::size_t N, std::size_t... I >
bool impl(T const (& lhs)[N], T const (& rhs)[N], std::index_sequence < I... >) const
{
std::size_t i{0};
if (((i = I, (lhs < rhs) ? true : lhs != rhs) || ...))
return lhs < rhs;
else
return false;
}

template < typename T, std::size_t N >
bool operator () (T const (& lhs)[N], T const (& rhs)[N]) const
{
return impl(lhs, rhs, std::make_index_sequence < N >());
}
};

int main()
{
std::cout

Подробнее здесь: https://stackoverflow.com/questions/312 ... xpressions