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

он раньше был

14:24пожаловаться #1

OB

так вот двоякое исполнение это обычный constexpr

тогда почему ты упомянул consteval? чем оно отличается от constexpr?

14:25пожаловаться #2

EP

consteval будет честный на компиляции, constexpr не гарантируется

14:26пожаловаться #3

EP

ты про честный упомянул

14:26пожаловаться #4

EP

С сожалением об отсутствии в C++ полноценного static if или…

https://habr.com/ru/post/449122/ что-то поменялось с 2019?

Хабр

… как наполнить шаблонный класс разным содержимым в зависимости от значений параметров шаблона? Когда-то, уже довольно давно, язык D начали делать как "правильны...

а по поводу этой статьи, разное содержимое классов можно делать так
https://godbolt.org/z/q9EKzE91d

14:26пожаловаться #5

OB

ты про честный упомянул

посчитать заранее это вообще незначительная часть ctfe

14:26пожаловаться #6

EP

а по поводу этой статьи, разное содержимое классов можно делать так
https://godbolt.org/z/q9EKzE91d

возможно автор не знал либо тут есть ограничения

14:27пожаловаться #7

OB

а по поводу этой статьи, разное содержимое классов можно делать так
https://godbolt.org/z/q9EKzE91d

ограниченно по функциональности на первый взгляд оч сильно

14:27пожаловаться #8

EP

ограниченно по функциональности на первый взгляд оч сильно

ну там уже надо смотреть, я такое почти не использовал

14:28пожаловаться #9

OB

возможно автор не знал либо тут есть ограничения

вот так не сделать точно))

struct Foo(T) {
  static if (T.stringof.length > 3) T val;
  else string noval;
}

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

OB

вот так не сделать точно))

struct Foo(T) {
  static if (T.stringof.length > 3) T val;
  else string noval;
}

хотя эт просто демонстрация гибкости, а не реальный пример

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

DH

Dark Hole in dlang.ru

вот так не сделать точно))

struct Foo(T) {
  static if (T.stringof.length > 3) T val;
  else string noval;
}

(я сомневаюсь что это кому-то понадобится)

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

OB

Dark Hole

(я сомневаюсь что это кому-то понадобится)

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

14:32пожаловаться #13

EP

вот так не сделать точно))

struct Foo(T) {
  static if (T.stringof.length > 3) T val;
  else string noval;
}

надо подумать

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

OB

при этом я могу на D любые проверки написать на нормальном D, сконструировать нужные поля с нужными именами

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

DH

Dark Hole in dlang.ru

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

Вот somefunc.length ещё может пригодиться

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

EP

вот так не сделать точно))

struct Foo(T) {
  static if (T.stringof.length > 3) T val;
  else string noval;
}

тут ведь проверяется длина имени типа?

14:42пожаловаться #17

OB

тут ведь проверяется длина имени типа?

да

14:42пожаловаться #18

OB

https://godbolt.org/z/n3oehvGPT

при этом я могу на D любые проверки написать на нормальном D, сконструировать нужные поля с нужными именами

godbolt.org

Compiler Explorer - D (ldc 1.24.0)

import std;

struct Foo
{
int a;
string b;
}

struct Point
{
float x, y, z;
}

struct NF(T)
{
static foreach (i, f; T.tupleof)
mixin(q{Nullable!(typeof(f)) } ~ __traits(identifier, T.tupleof[i]) ~ ";");
}

void printNF(X)(auto ref const X val) if (is(X : NF!Y, Y))
{
static if (is(X : NF!Y, Y))
writefln!"original type: %s"(Y.stringof);

foreach (i, f; val.tupleof)
writefln!"%s: %s"(__traits(identifier, val.tupleof[i]), f.isNull ? "null" : f.get.to!string);
}

void main()
{
auto nfPoint = NF!Point();
nfPoint.y = 3.14;

auto nfFoo = NF!Foo();
nfFoo.a = 42;

printNF(nfPoint);
printNF(nfFoo);
}

14:42пожаловаться #19

OB

https://godbolt.org/z/n3oehvGPT

godbolt.org

Compiler Explorer - D (ldc 1.24.0)

import std;

struct Foo
{
int a;
string b;
}

struct Point
{
float x, y, z;
}

struct NF(T)
{
static foreach (i, f; T.tupleof)
mixin(q{Nullable!(typeof(f)) } ~ __traits(identifier, T.tupleof[i]) ~ ";");
}

void printNF(X)(auto ref const X val) if (is(X : NF!Y, Y))
{
static if (is(X : NF!Y, Y))
writefln!"original type: %s"(Y.stringof);

foreach (i, f; val.tupleof)
writefln!"%s: %s"(__traits(identifier, val.tupleof[i]), f.isNull ? "null" : f.get.to!string);
}

void main()
{
auto nfPoint = NF!Point();
nfPoint.y = 3.14;

auto nfFoo = NF!Foo();
nfFoo.a = 42;

printNF(nfPoint);
printNF(nfFoo);
}

здесь NF берёт тип (кстати можно ещё добавить проверку if (is(T == struct))), проходится по полям и делает поля с тем же именем, но уже Nullable типа