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

там все операции это ++, -, +

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

KO

они все приземляют результат либо на тот же самый домен, либо на ssize_t

21:47пожаловаться #2

KO

важно чтобы по коду одно нельзя было перепутать index_t и term_t

21:49пожаловаться #3

KO

по сумме плюсов и минусов получается что using index_t = tagged_int<struct index_t_tag>; наименшее зло

21:50пожаловаться #4

CD

Konstantin Osipov

короче, если конкретно, это log sequence number и epoch number - логическое время и номер записи в журнале

хм... вообще в std::chrono такое решили)

21:51пожаловаться #5

AK

Alexey Kuznetsov in pro.cxx

crtp и в операторах возвращать наследника, если вам нужны операторы

21:51пожаловаться #6

CD

я вот немного втыкаю, почему не работает вот так

21:51пожаловаться #7

CD

https://godbolt.org/z/1jsvjo

godbolt.org

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

enum class coord { x, y, z };

template <auto Scope>
struct dimension {
enum class myint: int {};
};

template <auto Scope>
using myint = typename dimension<Scope>::myint;

template <auto Scope>
myint<Scope> operator + (myint<Scope> lhs, myint<Scope> rhs) {
return myint<Scope>{static_cast<int>(lhs) + static_cast<int>(rhs)};
}

int main() {
myint<coord::x> a{3};
myint<coord::x> b{42};
myint<coord::x> c = a + b;
}

21:51пожаловаться #8

KO

http://www.boost.org/doc/libs/1_61_0/libs/serialization/doc/strong_typedef.html

21:52пожаловаться #9

KO

вот что нашёл

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

CD

https://godbolt.org/z/nvPqM8

Konstantin Osipov

вот что нашёл

godbolt.org

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

namespace dimension {
namespace coord {
enum class x_t: int {};
enum class y_t: int {};
enum class z_t: int {};

struct namespace_tag{};
namespace_tag get_namespace(auto);

template <typename T>
T operator + (T x, T y) {
return T{ static_cast<int>(x) + static_cast<int>(y) };
}
}
};

int main() {
dimension::coord::x_t x{3};
dimension::coord::x_t y{4};
auto z = x + y;
}

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

CD

так-то вот так можно

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

KO

а зачем вот это:

21:58пожаловаться #13

KO

struct namespace_tag{};
namespace_tag get_namespace(auto);

21:58пожаловаться #14

CD

https://godbolt.org/z/5hz7rd

Konstantin Osipov

struct namespace_tag{};
namespace_tag get_namespace(auto);

godbolt.org

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

namespace dimension {
namespace coord {
enum class x_t: int {};
enum class y_t: int {};
enum class z_t: int {};

struct namespace_tag{};
namespace_tag get_namespace(auto);

template <typename T>
T operator + (T x, T y) requires(requires{
{ get_namespace(x) } -> std::same_as<namespace_tag>;
}) {
return T{ static_cast<int>(x) + static_cast<int>(y) };
}
}
};

int main() {
dimension::coord::x_t x{3};
dimension::coord::x_t y{4};
auto z = x + y;
}

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

CD

чтобы вот так сделать

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

CD

там еще немного докрутить напильником, страшно в int кастовать

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

KO

космос

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

CD

Constantine Drozdov

там еще немного докрутить напильником, страшно в int кастовать

так что надо наверное в underlying_type или проверочку вписать

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

KO

я так понимаю чтобы добавить ещё один сильный тип достаточно его даже у себя объявить, главное в нужном namespace?