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

parrot.ru

Рейтинг популярных групп и каналов

В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

pro.cxx

3920 membersпожаловаться на группу

2020 August 16

VF

Vitaly Farmov in pro.cxx

ну, кстати, сейчас подумаю, решает ли шаблонная лямбда эту задачу.
А был бы шаблонизирован - не было бы ошибки компиляции. Которая была, и я убил на неё полдня.

можно просто написать auto в аргументе лямбды, вот тебе и шаблон, но без шаблона

источник

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

VF

Vitaly Farmov in pro.cxx

В реальном коде это было внутри лямбды, которая коллбэк, что-то типа визитора, и эта лямбда вызывалась с совершенно разными типами, из которых мне нужно было отпилить то, что мне не интересно и компилиться не должно. Шаблонизировать этот контекст можно только искусственным раздуванием кода.

https://godbolt.org/z/c7bedf

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

struct IntMember {
const int value = 1;
};

struct ArrayMember {
const std::vector<int> array;
};

template <bool IsArray>
struct Poly final : public std::conditional_t<IsArray, ArrayMember, IntMember>
{
static constexpr bool isArray() noexcept { return IsArray; };
};

int some_func(auto callback)
{
Poly<true> a;
Poly<false> i;
return callback(a, i);
}

constexpr auto process = [](const auto& first, const auto& second)
{
if constexpr (first.isArray() && second.isArray())
return first.array == second.array;
else if constexpr (!first.isArray() && !second.isArray())
return first.i == second.i;
else
return -1;
};

int main()
{
return some_func([](const auto& first, const auto& second) // or use process lambda instead
{
if constexpr (first.isArray() && second.isArray())
return first.array == second.array;
else if constexpr (!first.isArray() && !second.isArray())
return first.i == second.i;
else
…

источник

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

VF

Vitaly Farmov in pro.cxx

https://godbolt.org/z/c7bedf

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

struct IntMember {
const int value = 1;
};

struct ArrayMember {
const std::vector<int> array;
};

template <bool IsArray>
struct Poly final : public std::conditional_t<IsArray, ArrayMember, IntMember>
{
static constexpr bool isArray() noexcept { return IsArray; };
};

int some_func(auto callback)
{
Poly<true> a;
Poly<false> i;
return callback(a, i);
}

constexpr auto process = [](const auto& first, const auto& second)
{
if constexpr (first.isArray() && second.isArray())
return first.array == second.array;
else if constexpr (!first.isArray() && !second.isArray())
return first.i == second.i;
else
return -1;
};

int main()
{
return some_func([](const auto& first, const auto& second) // or use process lambda instead
{
if constexpr (first.isArray() && second.isArray())
return first.array == second.array;
else if constexpr (!first.isArray() && !second.isArray())
return first.i == second.i;
else
…

Кстати, clang ни в какую не хочет такое сжевывать
https://godbolt.org/z/3MefPn

Compiler Explorer - C++

struct IntMember {
const int value = 1;
};

struct ArrayMember {
const std::array<int, 2> array{0,};
};

template <bool IsArray>
struct Poly final : public std::conditional_t<IsArray, ArrayMember, IntMember>
{
static constexpr bool isArray() noexcept { return IsArray; };
};

template <class T>
constexpr int some_func(T callback)
{
Poly<true> a;
Poly<false> i;
return callback(a, i);
}

constexpr auto process = [](const auto& first, const auto& second)
{
if constexpr (first.isArray() && second.isArray())
return first.array == second.array;
else if constexpr (!first.isArray() && !second.isArray())
return first.i == second.i;
else
return -1;
};

int main()
{
return some_func(process);
}

источник

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

A

Alex in pro.cxx

можно просто написать auto в аргументе лямбды, вот тебе и шаблон, но без шаблона

Она и была auto

источник

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

O

Ofee in pro.cxx

Кстати, clang ни в какую не хочет такое сжевывать
https://godbolt.org/z/3MefPn

Compiler Explorer - C++

struct IntMember {
const int value = 1;
};

struct ArrayMember {
const std::array<int, 2> array{0,};
};

template <bool IsArray>
struct Poly final : public std::conditional_t<IsArray, ArrayMember, IntMember>
{
static constexpr bool isArray() noexcept { return IsArray; };
};

template <class T>
constexpr int some_func(T callback)
{
Poly<true> a;
Poly<false> i;
return callback(a, i);
}

constexpr auto process = [](const auto& first, const auto& second)
{
if constexpr (first.isArray() && second.isArray())
return first.array == second.array;
else if constexpr (!first.isArray() && !second.isArray())
return first.i == second.i;
else
return -1;
};

int main()
{
return some_func(process);
}

Потому что параметры constexpr-функций не являются constexpr-переменными, нужно, наверное, так: std::remove_cvref_t<decltype(first)>::isArray()

источник

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

A

Alex in pro.cxx

Потому что параметры constexpr-функций не являются constexpr-переменными, нужно, наверное, так: std::remove_cvref_t<decltype(first)>::isArray()

Не являются, но по желанию левой пятки компилятора могут успешно использоваться в constexpr контексте, а могут и нет. Кстати, если кто-то объяснит, по какому закону это решается, буду признателен.

источник

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

O

Ofee in pro.cxx

Не являются, но по желанию левой пятки компилятора могут успешно использоваться в constexpr контексте, а могут и нет. Кстати, если кто-то объяснит, по какому закону это решается, буду признателен.

Мне кажется, это лишь свобода компиляторов в трактовке стандарта, я бы не полагался на то, что это возможно

источник

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

A

Alex in pro.cxx

У меня накопилось много строк когда, которые на это полагаются и компилятся всеми тремя компиляторами. Но да, сопливо.

источник

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

VF

Vitaly Farmov in pro.cxx

Потому что параметры constexpr-функций не являются constexpr-переменными, нужно, наверное, так: std::remove_cvref_t<decltype(first)>::isArray()

ну да, так логичнее, а то текущая имплементация больше про концепты, наверное

источник

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

AT

Alexander T in pro.cxx

https://godbolt.org/z/c7bedf

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

struct IntMember {
const int value = 1;
};

struct ArrayMember {
const std::vector<int> array;
};

template <bool IsArray>
struct Poly final : public std::conditional_t<IsArray, ArrayMember, IntMember>
{
static constexpr bool isArray() noexcept { return IsArray; };
};

int some_func(auto callback)
{
Poly<true> a;
Poly<false> i;
return callback(a, i);
}

constexpr auto process = [](const auto& first, const auto& second)
{
if constexpr (first.isArray() && second.isArray())
return first.array == second.array;
else if constexpr (!first.isArray() && !second.isArray())
return first.i == second.i;
else
return -1;
};

int main()
{
return some_func([](const auto& first, const auto& second) // or use process lambda instead
{
if constexpr (first.isArray() && second.isArray())
return first.array == second.array;
else if constexpr (!first.isArray() && !second.isArray())
return first.i == second.i;
else
…

Да, и не должна, потому что constexpr должен протащиться по всей цепочке. Если добавить в Poly и в лямбду constexpr, то взлетает:
https://godbolt.org/z/1sd7ob
Правда, почему-то не может сожрать аргументы-ссылки, выглядит реально как баг. Если заменить на значения, то работает.

Compiler Explorer - C++

struct IntMember {
const int value = 1;
};

struct ArrayMember {
const std::array<int, 2> array{0,};
};

template <bool IsArray>
struct Poly final : public std::conditional_t<IsArray, ArrayMember, IntMember>
{
static constexpr bool isArray() noexcept { return IsArray; };
};

template <class T>
constexpr int some_func(T callback)
{
constexpr Poly<true> a;
constexpr Poly<false> i;
return callback(a, i);
}

constexpr auto process = [](const auto first, const auto second) constexpr
{
if constexpr (first.isArray() && second.isArray())
return first.array == second.array;
else if constexpr (!first.isArray() && !second.isArray())
return first.i == second.i;
else
return -1;
};

int main()
{
constexpr auto res = some_func(process);
return res;
}

источник

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

A

Alex in pro.cxx

а ссылки вообще должны работать в constexpr контексте?

источник

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

AT

Alexander T in pro.cxx

https://en.cppreference.com/w/cpp/language/constexpr
Reference variables can be declared constexpr (their initializers have to be reference constant expressions):
Что-то новенькое для меня 🤔

источник

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

AT

Alexander T in pro.cxx

Серьёзно, это получается, constexpr-функция не может иметь в сигнатуре ссылочные аргументы что ли?

источник

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

VF

Vitaly Farmov in pro.cxx

Alexander T

Да, и не должна, потому что constexpr должен протащиться по всей цепочке. Если добавить в Poly и в лямбду constexpr, то взлетает:
https://godbolt.org/z/1sd7ob
Правда, почему-то не может сожрать аргументы-ссылки, выглядит реально как баг. Если заменить на значения, то работает.

Compiler Explorer - C++

struct IntMember {
const int value = 1;
};

struct ArrayMember {
const std::array<int, 2> array{0,};
};

template <bool IsArray>
struct Poly final : public std::conditional_t<IsArray, ArrayMember, IntMember>
{
static constexpr bool isArray() noexcept { return IsArray; };
};

template <class T>
constexpr int some_func(T callback)
{
constexpr Poly<true> a;
constexpr Poly<false> i;
return callback(a, i);
}

constexpr auto process = [](const auto first, const auto second) constexpr
{
if constexpr (first.isArray() && second.isArray())
return first.array == second.array;
else if constexpr (!first.isArray() && !second.isArray())
return first.i == second.i;
else
return -1;
};

int main()
{
constexpr auto res = some_func(process);
return res;
}

Так а разве у Poly не должен в contexpr контексте быть вызван constexpr конструктор без явного указания constexpr? Я где-то читал про это в стандарте, но найти не могу

источник

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

VF

Vitaly Farmov in pro.cxx

Alexander T

Да, и не должна, потому что constexpr должен протащиться по всей цепочке. Если добавить в Poly и в лямбду constexpr, то взлетает:
https://godbolt.org/z/1sd7ob
Правда, почему-то не может сожрать аргументы-ссылки, выглядит реально как баг. Если заменить на значения, то работает.

Compiler Explorer - C++

struct IntMember {
const int value = 1;
};

struct ArrayMember {
const std::array<int, 2> array{0,};
};

template <bool IsArray>
struct Poly final : public std::conditional_t<IsArray, ArrayMember, IntMember>
{
static constexpr bool isArray() noexcept { return IsArray; };
};

template <class T>
constexpr int some_func(T callback)
{
constexpr Poly<true> a;
constexpr Poly<false> i;
return callback(a, i);
}

constexpr auto process = [](const auto first, const auto second) constexpr
{
if constexpr (first.isArray() && second.isArray())
return first.array == second.array;
else if constexpr (!first.isArray() && !second.isArray())
return first.i == second.i;
else
return -1;
};

int main()
{
constexpr auto res = some_func(process);
return res;
}

потому что все работает, даже если просто убрать ссылочные типы: https://godbolt.org/z/seGePP

Compiler Explorer - C++

struct IntMember {
const int value = 1;
};

struct ArrayMember {
const std::array<int, 2> array{0,};
};

template <bool IsArray>
struct Poly final : public std::conditional_t<IsArray, ArrayMember, IntMember>
{
static constexpr bool isArray() noexcept { return IsArray; };
};

template <class T>
constexpr int some_func(T callback)
{
Poly<true> a;
Poly<false> i;
return callback(a, i);
}

constexpr auto process = [](const auto first, const auto second)
{
if constexpr (first.isArray() && second.isArray())
return first.array == second.array;
else if constexpr (!first.isArray() && !second.isArray())
return first.i == second.i;
else
return -1;
};

int main()
{
return some_func(process);
}

источник

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

A

Alex in pro.cxx

Так а разве у Poly не должен в contexpr контексте быть вызван constexpr конструктор без явного указания constexpr? Я где-то читал про это в стандарте, но найти не могу

Я не встречал такого, что constexpr атрибут конструктора может выводиться автоматом, есть такое правило для noexcept. Да и не может std::vector быть constexpr, по-моему (в С++17 точно не мог).

источник

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

VF

Vitaly Farmov in pro.cxx

Я не встречал такого, что constexpr атрибут конструктора может выводиться автоматом, есть такое правило для noexcept. Да и не может std::vector быть constexpr, по-моему (в С++17 точно не мог).

А я там на array заменил)

источник

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

A

Alex in pro.cxx

А, тогда всё возможно)
я считаю, что даже если статический метод вызывается на инстансе (с использованием нестатического синтаксиса), это не должно ни на что влиять. Но стандарт может быть другого мнения.

источник

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

VF

Vitaly Farmov in pro.cxx

Я не встречал такого, что constexpr атрибут конструктора может выводиться автоматом, есть такое правило для noexcept. Да и не может std::vector быть constexpr, по-моему (в С++17 точно не мог).

Интересно, что GCC с c++17 такое компилит (с вектором вместо эррэя), единственный:
https://godbolt.org/z/qbTT6c

Compiler Explorer - C++

struct IntMember {
const int value = 1;
};

struct ArrayMember {
const std::vector<int> array{0};
};

template <bool IsArray>
struct Poly final : public std::conditional_t<IsArray, ArrayMember, IntMember>
{
static constexpr bool isArray() noexcept { return IsArray; };
};

template <class T>
constexpr int some_func(T callback)
{
Poly<true> a;
Poly<false> i;
return callback(a, i);
}

constexpr auto process = [](const auto first, const auto second)
{
if constexpr (first.isArray() && second.isArray())
return first.array == second.array;
else if constexpr (!first.isArray() && !second.isArray())
return first.i == second.i;
else
return -1;
};

int main()
{
return some_func(process);
}

источник

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

A

Alex in pro.cxx

Видимо, они ещё тогда поддержали constexpr для вектора, что, наверное, не запрещено стандартом

источник

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