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

21:59пожаловаться #1

2020 June 24

I

Парни, а есть ли способ опционального инстанциирования класса в compile-time?
Мне нужно инстанциировать класс Average внутри одного TU, чтобы в других TU можно было писать extern template class Average для типов int32_t, int64_t, uint32_t, uint64_t и size_t.
Основная проблема в том, что size_t может быть одним из тех типов, а может и не быть ни одним из них (на разных платформах, в т.ч. и мобильных, на разных тулчейнах).
Вот первая попытка https://godbolt.org/z/rZ7H4c добавить stub-instantiation Average<void> и использовать его только в случае столкновения с одним из тех *_t типов.
Но тут происходит бяка c clang'ом, который ругается, что класс инстанциируется дважды. Подавление warningов не вариант решения.
Было бы здорово, в случае collision'а просто не иметь template class Average<SizeOrVoid>;, типа как-нибудь enable_if'нуть его хитро. У кого-нибудь есть идеи?

template <typename T>
class Average
{
public:
T x;
};

template <>
class Average
{
};

using SizeT = std::size_t;

constexpr bool isSizeSigned = std::is_signed::value;
using CollidingInt32 = std::conditional_t<isSizeSigned, int32_t, uint32_t>;
using CollidingInt64 = std::conditional_t<isSizeSigned, int64_t, uint64_t>;

using NotCollidingInt32 = std::conditional_t<isSizeSigned, uint32_t, int32_t>;
using NotCollidingInt64 = std::conditional_t<isSizeSigned, uint64_t, int64_t>;

constexpr bool collisionWithUint32 = std::is_same<CollidingInt32, SizeT>::value;
constexpr bool collisionWithUint64 = std::is_same<CollidingInt64, SizeT>::value;
using SizeOrCollidingInt32 = std::conditional_t<collisionWithUint32, SizeT, CollidingInt32>;
using SizeOrCollidingInt64 = std::conditional_t<collisionWithUint64, SizeT, CollidingInt64>;
using SizeOrVoid = std::conditional_t<collisionWithUint32 || collisionWithUint64, void, SizeT>;

template class Average;
template class Average;
template class Average;
template class Average;…

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

AB

Парни, а есть ли способ опционального инстанциирования класса в compile-time?
Мне нужно инстанциировать класс Average внутри одного TU, чтобы в других TU можно было писать extern template class Average для типов int32_t, int64_t, uint32_t, uint64_t и size_t.
Основная проблема в том, что size_t может быть одним из тех типов, а может и не быть ни одним из них (на разных платформах, в т.ч. и мобильных, на разных тулчейнах).
Вот первая попытка https://godbolt.org/z/rZ7H4c добавить stub-instantiation Average<void> и использовать его только в случае столкновения с одним из тех *_t типов.
Но тут происходит бяка c clang'ом, который ругается, что класс инстанциируется дважды. Подавление warningов не вариант решения.
Было бы здорово, в случае collision'а просто не иметь template class Average<SizeOrVoid>;, типа как-нибудь enable_if'нуть его хитро. У кого-нибудь есть идеи?

template <typename T>
class Average
{
public:
T x;
};

template <>
class Average
{
};

using SizeT = std::size_t;

constexpr bool isSizeSigned = std::is_signed::value;
using CollidingInt32 = std::conditional_t<isSizeSigned, int32_t, uint32_t>;
using CollidingInt64 = std::conditional_t<isSizeSigned, int64_t, uint64_t>;

using NotCollidingInt32 = std::conditional_t<isSizeSigned, uint32_t, int32_t>;
using NotCollidingInt64 = std::conditional_t<isSizeSigned, uint64_t, int64_t>;

constexpr bool collisionWithUint32 = std::is_same<CollidingInt32, SizeT>::value;
constexpr bool collisionWithUint64 = std::is_same<CollidingInt64, SizeT>::value;
using SizeOrCollidingInt32 = std::conditional_t<collisionWithUint32, SizeT, CollidingInt32>;
using SizeOrCollidingInt64 = std::conditional_t<collisionWithUint64, SizeT, CollidingInt64>;
using SizeOrVoid = std::conditional_t<collisionWithUint32 || collisionWithUint64, void, SizeT>;

template class Average;
template class Average;
template class Average;
template class Average;…

Нужно на этапе препроцессора достать размер size_t

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

AB

И обернуть макросом

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

IZ

Ilia Zviagin in pro.cxx

Парни, а есть ли способ опционального инстанциирования класса в compile-time?
Мне нужно инстанциировать класс Average внутри одного TU, чтобы в других TU можно было писать extern template class Average для типов int32_t, int64_t, uint32_t, uint64_t и size_t.
Основная проблема в том, что size_t может быть одним из тех типов, а может и не быть ни одним из них (на разных платформах, в т.ч. и мобильных, на разных тулчейнах).
Вот первая попытка https://godbolt.org/z/rZ7H4c добавить stub-instantiation Average<void> и использовать его только в случае столкновения с одним из тех *_t типов.
Но тут происходит бяка c clang'ом, который ругается, что класс инстанциируется дважды. Подавление warningов не вариант решения.
Было бы здорово, в случае collision'а просто не иметь template class Average<SizeOrVoid>;, типа как-нибудь enable_if'нуть его хитро. У кого-нибудь есть идеи?

template <typename T>
class Average
{
public:
T x;
};

template <>
class Average
{
};

using SizeT = std::size_t;

constexpr bool isSizeSigned = std::is_signed::value;
using CollidingInt32 = std::conditional_t<isSizeSigned, int32_t, uint32_t>;
using CollidingInt64 = std::conditional_t<isSizeSigned, int64_t, uint64_t>;

using NotCollidingInt32 = std::conditional_t<isSizeSigned, uint32_t, int32_t>;
using NotCollidingInt64 = std::conditional_t<isSizeSigned, uint64_t, int64_t>;

constexpr bool collisionWithUint32 = std::is_same<CollidingInt32, SizeT>::value;
constexpr bool collisionWithUint64 = std::is_same<CollidingInt64, SizeT>::value;
using SizeOrCollidingInt32 = std::conditional_t<collisionWithUint32, SizeT, CollidingInt32>;
using SizeOrCollidingInt64 = std::conditional_t<collisionWithUint64, SizeT, CollidingInt64>;
using SizeOrVoid = std::conditional_t<collisionWithUint32 || collisionWithUint64, void, SizeT>;

template class Average;
template class Average;
template class Average;
template class Average;…

Опционально инстанциировать класс ==просто опционально компилировать часть кода.

Есть, #if и if constexpr

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

AB

Ilia Zviagin

Опционально инстанциировать класс ==просто опционально компилировать часть кода.

Есть, #if и if constexpr

if constexpr не подойдет тут

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

I

Нужно на этапе препроцессора достать размер size_t

Не думаю, что там одним размером можно обойтись. Там могут быть встроенные intrinsic типы с хитрым alignment'ом, так что extern template class обломается

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

I

В случае size_t

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

AB

Еще идея есть, сек

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

IZ

Ilia Zviagin in pro.cxx

if constexpr не подойдет тут

Почему?

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

I

Ilia Zviagin

Почему?

if constexpr умеет быть на namespace level?

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

AB

struct size_t_tag;
template <>
class Average<size_t_tag> {};

// uint32_t и прочее
template class Average<std::conditional_t<is_one_of_v<size_t, uint32_t, прочие_типы...>, size_t_tag, size_t>;

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

AB

Ilia Zviagin

Почему?

Потому что явное инстанцирование происхохдит вне скоупа функции

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

AB

struct size_t_tag;
template <>
class Average<size_t_tag> {};

// uint32_t и прочее
template class Average<std::conditional_t<is_one_of_v<size_t, uint32_t, прочие_типы...>, size_t_tag, size_t>;

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

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

AB

Парни, а есть ли способ опционального инстанциирования класса в compile-time?
Мне нужно инстанциировать класс Average внутри одного TU, чтобы в других TU можно было писать extern template class Average для типов int32_t, int64_t, uint32_t, uint64_t и size_t.
Основная проблема в том, что size_t может быть одним из тех типов, а может и не быть ни одним из них (на разных платформах, в т.ч. и мобильных, на разных тулчейнах).
Вот первая попытка https://godbolt.org/z/rZ7H4c добавить stub-instantiation Average<void> и использовать его только в случае столкновения с одним из тех *_t типов.
Но тут происходит бяка c clang'ом, который ругается, что класс инстанциируется дважды. Подавление warningов не вариант решения.
Было бы здорово, в случае collision'а просто не иметь template class Average<SizeOrVoid>;, типа как-нибудь enable_if'нуть его хитро. У кого-нибудь есть идеи?

template <typename T>
class Average
{
public:
T x;
};

template <>
class Average
{
};

using SizeT = std::size_t;

constexpr bool isSizeSigned = std::is_signed::value;
using CollidingInt32 = std::conditional_t<isSizeSigned, int32_t, uint32_t>;
using CollidingInt64 = std::conditional_t<isSizeSigned, int64_t, uint64_t>;

using NotCollidingInt32 = std::conditional_t<isSizeSigned, uint32_t, int32_t>;
using NotCollidingInt64 = std::conditional_t<isSizeSigned, uint64_t, int64_t>;

constexpr bool collisionWithUint32 = std::is_same<CollidingInt32, SizeT>::value;
constexpr bool collisionWithUint64 = std::is_same<CollidingInt64, SizeT>::value;
using SizeOrCollidingInt32 = std::conditional_t<collisionWithUint32, SizeT, CollidingInt32>;
using SizeOrCollidingInt64 = std::conditional_t<collisionWithUint64, SizeT, CollidingInt64>;
using SizeOrVoid = std::conditional_t<collisionWithUint32 || collisionWithUint64, void, SizeT>;

template class Average;
template class Average;
template class Average;
template class Average;…

enable_if в явном инстанцировании типа это хард еррор, не поможет

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

I

struct size_t_tag;
template <>
class Average<size_t_tag> {};

// uint32_t и прочее
template class Average<std::conditional_t<is_one_of_v<size_t, uint32_t, прочие_типы...>, size_t_tag, size_t>;

is_one_of это же из 17 стандарта((

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

AB

is_one_of это же из 17 стандарта((

Нет такого в стд

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

AB