Телеграмм чат группы ProCxx страница 14565

2020 April 20

G

GoodBye in pro.cxx

Artöm Bakri Al-Sarmini

Не могу придумать решения. auto как в плюсах не хватает

Получается, что не решена только одна проблема, это передача типа

источник

10:26пожаловаться #1

AB

Artöm Bakri Al-Sarmini in pro.cxx

Да. Си не позволяет типами жонглировать

источник

10:27пожаловаться #2

G

GoodBye in pro.cxx

Artöm Bakri Al-Sarmini

Да. Си не позволяет типами жонглировать

Ну значит время костылей)))

#define WRITE_INT(T) _WRITE_INT(int16_t, IS_SIGNED(T), int64_t, MIN_OF(int16_t), MAX_OF(int16_t))

#define WRITE_UINT(T) _WRITE_INT(int16_t, IS_SIGNED(T), uint64_t, MIN_OF(int16_t), MAX_OF(int16_t))

источник

10:28пожаловаться #3

AB

Artöm Bakri Al-Sarmini in pro.cxx

Об этом я думал. Если такое решение устраивает, надо так

источник

10:28пожаловаться #4

G

GoodBye in pro.cxx

Artöm Bakri Al-Sarmini

Об этом я думал. Если такое решение устраивает, надо так

Ну другого нет

источник

10:29пожаловаться #5

I

Ivan in pro.cxx

Чуваки, а кто хорошо шарит в метапрограмминге? Я что-то немного застрял и мне нужна ваша экспертная помощь :)
Мне требуется в compile-time проверить есть ли дубликаты в std::array (ограничен C++1y) но как-то не компиляется даже...
https://godbolt.org/z/uVYMYT

godbolt.org

Compiler Explorer - C++ (x86-64 gcc 7.2)

template<typename T1, typename T2, size_t Size>
struct Container
{

template<typename T>

static constexpr std::enable_if_t<std::is_pod::value, bool>

HasDuplicates(const std::array<T, Size>& array)

{

for (size_t i = 1; i < Size; ++i)

{

for (size_t j = 0; j < i; ++j)

{

if (array[i] == array[j])

{

return true;

}

}

}

return false;

}

template<typename ... Ts>

static constexpr std::enable_if_t<std::is_pod::value && std::is_pod::value, void>

CheckDuplicates(Ts ... args)

{

constexpr std::array<T1, Size> array1{{std::get(args)...}};

static_assert(!HasDuplicates(array1), "Duplicates in the 1st field");

constexpr std::array<T2, Size> array2{{std::get(args)...}};

static_assert(!HasDuplicates(array2), "Duplicates in the 2nd field");

}

template<typename ... Ts>

static constexpr std::enable_if_t<std::is_pod::value && !std::is_pod::value, void>

CheckDuplicates(Ts ... args)

{

constexpr std::array<T1, Size> array1{{std::get(args)...}};

static_assert(!HasDuplicates(array1)…

источник

12:05пожаловаться #6

АК

Александр Караев in pro.cxx

Ivan

Чуваки, а кто хорошо шарит в метапрограмминге? Я что-то немного застрял и мне нужна ваша экспертная помощь :)
Мне требуется в compile-time проверить есть ли дубликаты в std::array (ограничен C++1y) но как-то не компиляется даже...
https://godbolt.org/z/uVYMYT

godbolt.org

Compiler Explorer - C++ (x86-64 gcc 7.2)

template<typename T1, typename T2, size_t Size>
struct Container
{

template<typename T>

static constexpr std::enable_if_t<std::is_pod::value, bool>

HasDuplicates(const std::array<T, Size>& array)

{

for (size_t i = 1; i < Size; ++i)

{

for (size_t j = 0; j < i; ++j)

{

if (array[i] == array[j])

{

return true;

}

}

}

return false;

}

template<typename ... Ts>

static constexpr std::enable_if_t<std::is_pod::value && std::is_pod::value, void>

CheckDuplicates(Ts ... args)

{

constexpr std::array<T1, Size> array1{{std::get(args)...}};

static_assert(!HasDuplicates(array1), "Duplicates in the 1st field");

constexpr std::array<T2, Size> array2{{std::get(args)...}};

static_assert(!HasDuplicates(array2), "Duplicates in the 2nd field");

}

template<typename ... Ts>

static constexpr std::enable_if_t<std::is_pod::value && !std::is_pod::value, void>

CheckDuplicates(Ts ... args)

{

constexpr std::array<T1, Size> array1{{std::get(args)...}};

static_assert(!HasDuplicates(array1)…

смешались в кучу кони, люди..
тут проверки и на размер контейнера (с нечитаемыми конструкторами) смешаны с проверкой дубликатов. что нужно? у std::array<T, N> проверить наличие дублей? HasDuplicates должна работать, но я бы вынес её из класса и сделал шаблонной по T, N (сейчас там фиксирован Size)

источник

12:09пожаловаться #7

I

Ivan in pro.cxx

Александр Караев

смешались в кучу кони, люди..
тут проверки и на размер контейнера (с нечитаемыми конструкторами) смешаны с проверкой дубликатов. что нужно? у std::array<T, N> проверить наличие дублей? HasDuplicates должна работать, но я бы вынес её из класса и сделал шаблонной по T, N (сейчас там фиксирован Size)

Я не о код ревью спрашивал, а осуществимо ли такое или нет вообще. И если да, могли бы указать в чём ошибка? Это пока что draft.

источник

12:10пожаловаться #8

АК

Александр Караев in pro.cxx

Ivan

Я не о код ревью спрашивал, а осуществимо ли такое или нет вообще. И если да, могли бы указать в чём ошибка? Это пока что draft.

обычно, когда просят помощи, показывают минимальный пример, а не кидают кучу кода

источник

12:11пожаловаться #9

АК

Александр Караев in pro.cxx

Ivan

Я не о код ревью спрашивал, а осуществимо ли такое или нет вообще. И если да, могли бы указать в чём ошибка? Это пока что draft.

https://godbolt.org/z/dk9BCb

источник

12:12пожаловаться #10

I

Ivan in pro.cxx

Если бы мне был доступен C++17 , это было бы намного короче, благодаря if constexpr. Так что, сорри))

источник

12:12пожаловаться #11

I

Ivan in pro.cxx

Александр Караев

https://godbolt.org/z/dk9BCb

Благодарю! Только это не полный пример, у меня массив из двух полей, и приходится по каждому отдельную проверку вызывать, конструируя по каждому отдельный массив и компилер начинает ругаться на std::get что он яко бы не constexpr(

источник

12:16пожаловаться #12

АК

Александр Караев in pro.cxx

Ivan

Благодарю! Только это не полный пример, у меня массив из двух полей, и приходится по каждому отдельную проверку вызывать, конструируя по каждому отдельный массив и компилер начинает ругаться на std::get что он яко бы не constexpr(

Не понимаю проблему. Задача "проверить массив на дубликаты" решена. Если ошибки остались, значит задача другая и её нужно сформулировать

источник

12:17пожаловаться #13

I

Ivan in pro.cxx

Александр Караев

Не понимаю проблему. Задача "проверить массив на дубликаты" решена. Если ошибки остались, значит задача другая и её нужно сформулировать

Вот другая часть и называется "эксперты по метапрограммингу, подскажите, как пофиксить проверку по двум полям, и если поле не может быть проверено в compile-time (пока что !std::is_pod<...>), не проверять поле совсем.

источник

12:20пожаловаться #14

АК

Александр Караев in pro.cxx

Ivan

Вот другая часть и называется "эксперты по метапрограммингу, подскажите, как пофиксить проверку по двум полям, и если поле не может быть проверено в compile-time (пока что !std::is_pod<...>), не проверять поле совсем.

constexpr std::array<T2, Size> array2{{std::get<1>(args)...}}; внутри тела функции - невалидный код
args - не constexpr

источник

12:22пожаловаться #15

I

Ivan in pro.cxx

Александр Караев

constexpr std::array<T2, Size> array2{{std::get<1>(args)...}}; внутри тела функции - невалидный код
args - не constexpr

:( То есть, это невозможно в таких обстоятельствах?

источник

12:24пожаловаться #16

АК

Александр Караев in pro.cxx

Ivan

:( То есть, это невозможно в таких обстоятельствах?

я бы предложил бросать исключение, тогда при конструировании constexpr Container будет эффект аналогичный static_assert'у

источник

12:24пожаловаться #17

АК

Александр Караев in pro.cxx

/* non-constexpr! */ std::array<T2, Size> array2{{std::get<1>(args)...}};

if (HasDuplicates(array2)) throw "Duplicates in the 2nd field");

источник

12:25пожаловаться #18

I

Ivan in pro.cxx

о_О но это уже рантайм

источник

12:25пожаловаться #19

АК

Александр Караев in pro.cxx

не-а

источник

12:26пожаловаться #20